Gödel's proof /
Nagel, Ernest, 1901-1985.
Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter. - Rev. ed. - New York : New York University Press, c2001. - xxiii, 129 p. : ill. ; 21 cm.
Includes bibliographical references (p. 125) and index.
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.
0814758169 (acidfree paper)
2001044481
Gödel's theorem.
QA9.65 / .N34 2001
511.3
Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter. - Rev. ed. - New York : New York University Press, c2001. - xxiii, 129 p. : ill. ; 21 cm.
Includes bibliographical references (p. 125) and index.
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.
0814758169 (acidfree paper)
2001044481
Gödel's theorem.
QA9.65 / .N34 2001
511.3