3 ms·
Gödel and Turing already showed that logical systems need to be bootstrapped by axioms they cannot encompass. This is trivial, not insightful.
by namaria 3y ago
Gödel and Turing already showed that logical systems need to be bootstrapped by axioms they cannot encompass. This is trivial, not insightful.
- foldr 3y agoThat's not exactly what the incompleteness theorem entails. I pointed out that the statement is not 'meaningless'. You now argue that it's trivial. That entails that it at least means something, so I don't think we disagree in a relevant way.