4 ms·
You might be interested in Kurt Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do, nor can any such system. I do
by pngwen 2mo ago
You might be interested in Kurt Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do, nor can any such system.
I do teach PM when I teach theory of computation, but largely to tell the story of how we discovered the limits to computation.
- lioeters 2mo ago> Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do Perhaps it's this one: On Formally Undecidable Propositions of Principia Mathematica and Related Systems https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems https://en.wikipedia.org/wiki/On_Formally_Undecidable_Propos... - PDF: https://monoskop.org/images/9/93/Kurt_G%C3%B6del_On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems_1992.pdf https://monoskop.org/images/9/93/Kurt_G%C3%B6del_On_Formally...