3 ms·
No I don't believe any axioms and theorems should be infinitely long. If they were then there would not be enough time for us to understand them, or even read t
by galaxyLogic 4y ago
No I don't believe any axioms and theorems should be infinitely long. If they were then there would not be enough time for us to understand them, or even read them through. Theorems which nobody can understand would not be useful for anything.
- zzzzzzzza 4y agothat's cuz we are computationally equivalent to a turing machine.