Kurt Gödel
Kurt Gödel was an Austrian logician, mathematician, and philosopher, best known for his incompleteness theorems, which have had a profound impact on the philosophy of mathematics and the understanding of the limitations of formal systems.
Books
This list of books are ONLY the books that have been ranked on the lists that are aggregated on this site. This is not a comprehensive list of all books by this author.
-
1. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems
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
