On Formally Undecidable Propositions Of Principia Mathematica And Related Systems by Kurt Gödel
A Translation of Gödel's Classic Paper with a Complete Introduction and Commentary
This groundbreaking work introduces the incompleteness theorems, which demonstrate that within any sufficiently powerful formal mathematical system, there are propositions that cannot be proven or disproven using the system's own rules. It challenges the notion of mathematical completeness and consistency, revealing inherent limitations in formal systems like Principia Mathematica. The text delves into the implications of these findings, reshaping the understanding of mathematical logic and the foundations of mathematics by showing that no system can be both complete and consistent, thus altering the landscape of mathematical philosophy.
Purchase from
Bookshop.org
- Published
- 1931
- Nationality
- Austrian
- Length
- Very Short
- Pages
- 60-80
- Original Language
- German
- Avg User Rating
- No ratings yet
- Alternate Titles
- None
This book is not currently on any lists.