3 ms·
> 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
by 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...