Gödel's Proof by Ernest Nagel
An Introduction to Mathematical Logic and the Philosophy of Mathematics
This book provides a clear and accessible exploration of Kurt Gödel's groundbreaking incompleteness theorems, which revolutionized the understanding of mathematical logic and the limits of formal systems. It delves into the implications of Gödel's work, demonstrating how it showed that within any sufficiently complex axiomatic system, there are propositions that cannot be proven or disproven using the system's own rules. The text breaks down the complex ideas into understandable concepts, making it an invaluable resource for those interested in the philosophical and mathematical significance of Gödel's findings.
Purchase from
Bookshop.org
- Published
- 1958
- Nationality
- American
- Length
- Very Short
- Pages
- 120-150
- Original Language
- English
- Avg User Rating
-
(4.0)
- Alternate Titles
- None
This book is not currently on any lists.