Beschreibung:
"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not.
Preface, 1. Introduction, 2. The Incompleteness Theorem: An Overview, 3. Computability, Formal Systems, and Incompleteness, 4. Incompleteness Everywhere, 5. Skepticism and Confidence, 6. Gödel, Minds, and Computers, 7. Gödel's Completeness Theorem, 8. Incompleteness, Complexity, and Infinity, Appendix, References, Index