̂Gōdel's proof /
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
New York :
New York University Press,
c2001.
|
| Edition: | Αναθ. εκδ. |
| Subjects: |
Table of Contents:
- Machine generated contents note: Foreword to the New Edition by Douglas R Hofstadter ix
- Acknowledgments xxiii
- i Introduction I
- II The Problem of Consistency 7
- inI Absolute Proofs of Consistency 25
- iv The Systematic Codification of Formal Logic 37
- v An Example of a Successful Absolute Proof of
- Consistency 45
- vI The Idea of Mapping and Its Use in Mathematics 57
- vii G6del's Proofs 68
- A Godel numbering 68
- B The arithmetization of meta-mathematics 80
- c The heart of Godel's argument 92
- vIII Concluding Reflections 109
- Appendix: Notes 114
- Brief Bibliography 125
- Index 127.