4 ms·
That is not even remotely what Goedel did. He showed some inherent limitations to all mathematical formalisation, not that they were useless.
by carnitine 5y ago
That is not even remotely what Goedel did. He showed some inherent limitations to all mathematical formalisation, not that they were useless.
- LudwigNagasena 5y agoYeah, that’s true, he also showed that the PM project was futile. That’s why no one uses it nowadays, unlike ZFC.
- drdeca 5y agoWhat are the goals of the project of Principia Mathematica which you are claiming he showed were futile?
- LudwigNagasena 5y agoThey are stated in its introduction.