An Introduction to Godel'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