TY  - BOOK
AU  - Nagel,Ernest
AU  - Newman,James R.
AU  - Hofstadter,Douglas R.
TI  - Gödel's proof 
SN  - 9780814758168
AV  - QA9.65 .N34 2001
PY  - 2001///
CY  - New York, N.Y.
PB  - New York University Press
KW  - Gödel's theorem
N1  - Includes bibliographical references 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
UR  - http://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=100421&site=ehost-live&scope=site
ER  -