𝔖 Scriptorium
✦   LIBER   ✦

📁

An Introduction to Gödel's Theorems (2nd ed.)

✍ Scribed by Smith, Peter


Publisher
Cambridge University Press
Year
2013
Tongue
English
Leaves
406
Series
Cambridge Introductions to Philosophy
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Peter Smith examines Gödel's Theorems, how they were established and why they matter.

Concludes with the Church-Turing Thesis


📜 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