3 ms·Its not flawed because the correct analogy is: pen and paper Turing machines versus Python.by voxl 6y agoIts not flawed because the correct analogy is: pen and paper Turing machines versus Python.boyobo 6y agoNow I'm not sure what your point is. Are you suggesting that HoTT is to python as ZFC is to turing machine tape?zrkrlc 6y agoNitpick, but I think what you meant to say what "HoTT is to ZFC as Python is to Turing machine tape". Hope it helps.