Hacker News new | ask | show | jobs
by voxl 2068 days ago
Its not flawed because the correct analogy is: pen and paper Turing machines versus Python.
1 comments
boyobo 2068 days ago
Now I'm not sure what your point is. Are you suggesting that HoTT is to python as ZFC is to turing machine tape?
link
zrkrlc 2068 days ago
Nitpick, but I think what you meant to say what "HoTT is to ZFC as Python is to Turing machine tape". Hope it helps.
link