An Introduction to Gödel's Theorems
✍ Peter Smith
📂 Library
📅 2007
🏛 Cambridge University Press
🌐 English
✍ Scribed by Peter Smith
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also
Peter Smith examines Gödel's Theorems, how they were established and why they matter. Concludes with the Church-Turing Thesis