| |
| |
| Preface | |
| |
| |
| |
| Introduction | |
| |
| |
| |
| The Incompleteness Theorem | |
| |
| |
| |
| Godel's Life and Work | |
| |
| |
| |
| The Rest of the Book | |
| |
| |
| |
| The Incompleteness Theorem: An Overview | |
| |
| |
| |
| Arithmetic | |
| |
| |
| |
| The First Incompleteness Theorem | |
| |
| |
| |
| Some Limitations of the First Incompleteness Theorem | |
| |
| |
| |
| The First Incompleteness Theorem and Mathematical Truth | |
| |
| |
| |
| The First Incompleteness Theorem and Hilbert's Non Ignorabimus | |
| |
| |
| |
| The Second Incompleteness Theorem | |
| |
| |
| |
| Proving the Incompleteness Theorem | |
| |
| |
| |
| A "Postmodern Condition"? | |
| |
| |
| |
| Mind vs. Computer | |
| |
| |
| |
| Some Later Developments | |
| |
| |
| |
| Computability, Formal Systems, and Incompleteness | |
| |
| |
| |
| Strings of Symbols | |
| |
| |
| |
| Computable Enumerability and Decidability | |
| |
| |
| |
| Undecidable Sets | |
| |
| |
| |
| Computability and the First Incompleteness Theorem | |
| |
| |
| |
| Incompleteness Everywhere | |
| |
| |
| |
| The Incompleteness Theorem Outside Mathematics | |
| |
| |
| |
| "Human Thought" and the Incompleteness Theorem | |
| |
| |
| |
| Generalized Godel Sentences | |
| |
| |
| |
| Incompleteness and the TOE | |
| |
| |
| |
| Theological Applications | |
| |
| |
| |
| Skepticism and Confidence | |
| |
| |
| |
| The Second Incompleteness Theorem | |
| |
| |
| |
| Skepticism | |
| |
| |
| |
| Consistency Proofs | |
| |
| |
| |
| Inexhaustibility | |
| |
| |
| |
| Godel, Minds, and Computers | |
| |
| |
| |
| Godel and the UTM | |
| |
| |
| |
| Penrose's "Second Argument" | |
| |
| |
| |
| Inexhaustibility Revisited | |
| |
| |
| |
| Understanding One's Own Mind | |
| |
| |
| |
| Godel's Completeness Theorem | |
| |
| |
| |
| The Theorem | |
| |
| |
| |
| PA as a First-Order Theory | |
| |
| |
| |
| Incompleteness and Nonstandard Models | |
| |
| |
| |
| Incompleteness, Complexity, and Infinity | |
| |
| |
| |
| Incompleteness and Complexity | |
| |
| |
| |
| Incompleteness and Randomness | |
| |
| |
| |
| Incompleteness and Infinity | |
| |
| |
| |
| Appendix | |
| |
| |
| |
| The Language of Elementary Arithmetic | |
| |
| |
| |
| The First Incompleteness Theorem | |
| |
| |
| |
| Goldbach-Like Statements | |
| |
| |
| References | |
| |
| |
| Index | |