7 ms·
You can derive all other math from any Turing complete system. Category theory is no more powerful than that.
by Retra 9y ago
You can derive all other math from any Turing complete system. Category theory is no more powerful than that.
- tathougies 9y agoGiven that turing complete systems are not total, you can actually derive anything, including falsehood, from them. The point being that a general 'turing complete' system is about as useful to use as the basis of mathematics as a banana. Category theory is not a great basis for mathematics, but at least it's not inconsistent.