Berto F. There's Something about Goedel: The Complete Guide to the Incompleteness Theorem

Wiley-Blackwell, 2009. — xx, 234 p. — ISBN 978-1-4051-9766-3, 978-1-4051-9767-0.Berto’s highly readable and lucid guide introduces students and the interested reader to Godel’s celebrated Incompleteness Theorem, and discusses some of the most famous – and infamous – claims arising from Godel'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.Prologue
Part I. The Gödelian Symphony
Foundations and Paradoxes
Hilbert
Godelization, or Say It with Numbers!
Bits of Recursive Arithmetic …
…And How It Is Represented in Typographical Number Theory
“I Am Not Provable”
The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2
Part II. The World after Gödel
Bourgeois Mathematicians! The Postmodern Interpretations
A Footnote to Plato
Mathematical Faith
Mind versus Computer: Godel and Artificial Intelligence
Godel versus Wittgenstein and the Paraconsistent InterpretationEpilogue
References
IndexTrue PDF