Nagel, Ernest,  1901-1985. <br/><br/>
Gödel's proof   [electronic resource] / 
by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter. 
 - Rev. ed. 
 - New York, N.Y. :  New York University Press,  c2001. 
 - 1 online resource.    
<br/><br/>Includes bibliographical references and index. 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9780814758168 9780585480329 (electronic bk.)  
<br/><br/><label>LCCN: </label>2001044481 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Gödel's theorem.
<br/><br/><label>LC Class. No.: </label>QA9.65  / .N34 2001