There's Something about Gödel: The Complete Guide to the Incompleteness Theorem

Berto’s highly readable and lucid guide introduces students and the interested reader to Gödel’s celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from Gödel's arguments.

• Offers a clear understanding of this difficult subject by presenting each of the key steps of the Theorem in separate chapters
• Discusses interpretations of the Theorem made by celebrated contemporary thinkers
• Sheds light on the wider extra-mathematical and philosophical implications of Godel’s theories
• Written in an accessible, non-technical style

Content:
Chapter 1 Foundations and Paradoxes (pages 3–38):
Chapter 2 Hilbert (pages 39–53):
Chapter 3 Godelization, or Say It with Numbers! (pages 54–70):
Chapter 4 Bits of Recursive Arithmetic … (pages 71–78):
Chapter 5 …And How It Is Represented in Typographical Number Theory (pages 79–85):
Chapter 6 “I Am Not Provable” (pages 86–101):
Chapter 7 The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2 (pages 102–127):
Chapter 8 Bourgeois Mathematicians! The Postmodern Interpretations (pages 131–145):
Chapter 9 A Footnote to Plato (pages 146–161):
Chapter 10 Mathematical Faith (pages 162–173):
Chapter 11 Mind versus Computer: Godel and Artificial Intelligence (pages 174–188):
Chapter 12 Godel versus Wittgenstein and the Paraconsistent Interpretation (pages 189–213):