𝔖 Scriptorium
✦   LIBER   ✦

📁

An Introduction to Gödel's Theorems

✍ Scribed by Peter Smith


Publisher
Cambridge University Press
Year
2007
Tongue
English
Leaves
376
Series
Cambridge Introductions to Philosophy
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


An Introduction to Gödel's Theorems
✍ Peter Smith 📂 Library 📅 2013 🏛 Cambridge University Press 🌐 English

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

An Introduction to Gödel's Theorems (2nd
✍ Smith, Peter 📂 Library 📅 2013 🏛 Cambridge University Press 🌐 English

Peter Smith examines Gödel's Theorems, how they were established and why they matter. Concludes with the Church-Turing Thesis