| Record ID | marc_records_scriblio_net/part13.dat:141374761:1538 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part13.dat:141374761:1538?format=raw |
LEADER: 01538cam 2200265 a 4500
001 2001044481
003 DLC
005 20050204201053.0
008 010730s2001 nyua b 001 0 eng
010 $a 2001044481
020 $a0814758169 (acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.65$b.N34 2001
082 00 $a511.3$221
100 1 $aNagel, Ernest,$d1901-
245 10 $aGödel's proof /$cby Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.
250 $aRev. ed.
260 $aNew York :$bNew York University Press,$cc2001.
300 $axxiii, 129 p. :$bill. ;$c21 cm.
504 $aIncludes bibliographical references (p. 125) and index.
505 8 $aMachine 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.
650 0 $aGödel's theorem.
700 1 $aNewman, James Roy,$d1907-1966.
700 1 $aHofstadter, Douglas R.,$d1945-
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/fy022/2001044481.html