7 ms·
That's a flawed analogy. Mathematicians do use 'higher level languages', that's precisely why most of them don't care about HoTT vs set theory. Just like a web
by boyobo 6y ago
That's a flawed analogy. Mathematicians do use 'higher level languages', that's precisely why most of them don't care about HoTT vs set theory. Just like a web dev usually does not care about the instruction set of the processor.
- voxl 6y agoIts not flawed because the correct analogy is: pen and paper Turing machines versus Python.