search for books and compare prices
Tables of Contents for Godel's Proof
Chapter/Section Title
Page #
Page Count
Foreword to the New Edition
ix
Acknowledgments
xxiii
Introduction
1
6
The Problem of Consistency
7
18
Absolute Proofs of Consistency
25
12
The Systematic Codification of Formal Logic
37
8
An Example of a Successful Absolute Proof of Consistency
45
12
The Idea of Mapping and Its Use in Mathematics
57
11
Godel's Proofs
68
41
Godel numbering
68
12
The arithmetization of meta-mathematics
80
12
The heart of Godel's argument
92
17
Concluding Reflections
109
5
Appendix: Notes
114
11
Brief Bibliography
125
2
Index
127