MARC record from Internet Archive

LEADER: 04214cam 2200637 a 4500
001 ocm47805077
003 OCoLC
005 20211025143136.0
008 010730s2001 nyua b 001 0 eng
010 $a 2001044481
040 $aDLC$beng$cDLC$dUKM$dBAKER$dNLGGC$dBTCTA$dLVB$dYDXCP$dORX$dOUJ$dBKL$dUKMGB$dCNCGM$dBDX$dOCLCF$dOCLCQ$dVYL$dIL4J6
015 $aGBA277877$2bnb
016 7 $a007413039$2Uk
019 $a227931027$a974745893$a1022749333$a1114741745$a1201587427$a1201837104
020 $a0814758169$q(acid-free paper)
020 $a9780814758168$q(acid-free paper)
020 $a9780814758373
020 $a0814758371
035 $a(OCoLC)47805077$z(OCoLC)227931027$z(OCoLC)974745893$z(OCoLC)1022749333$z(OCoLC)1114741745$z(OCoLC)1201587427$z(OCoLC)1201837104
050 00 $aQA9.65$b.N34 2001
082 00 $a511.3$221
084 $a31.02$2bcl
100 1 $aNagel, Ernest,$d1901-1985.
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,$c©2001.
300 $axxiii, 129 pages :$billustrations ;$c21 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references (page 125) and index.
505 0 $aThe problem of consistency -- Absolute proofs of consistency -- The systematic codification of formal logic -- An example of a successful absolute proof of consistency -- The idea of mapping and its use in mathematics -- Gödel's proofs -- A Gödel numbering -- The arithmetization of meta-mathematics -- The heart of Gödel's argument -- Concluding reflections -- Appendix: Notes -- Brief bibliography -- Index.
520 1 $a"In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able to understand the young scholar's complex proof, and the full importance of this work was largely overlooked for many years. Godel was at last recognized by his peers and presented with the first Albert Einstein Award in 1951 for achievement in the natural sciences - the highest honor of its kind in the United States. The award committee, which included Albert Einstein and J. Robert Oppenheimer, described his work as "one of the greatest contributions to the sciences in recent times."" "In Godel's Proof, Ernest Nagel and James Newman provide a readable and non-technical explanation for both scholars and non-specialists of the main ideas and broad implications of Godel's discovery. First published in 1958 and in print continuously in ten languages, this highly popular, seminal work offers every educated person with an interest in mathematics, logic, and philosophy the opportunity to understand a previously difficult and inaccessible subject."--Jacket.
650 0 $aGödel's theorem.
650 6 $aGödel, Théorème de.
650 7 $aGödel's theorem.$2fast$0(OCoLC)fst00949806
650 7 $aGödel's theorem.$2nli
700 1 $aNewman, James R.$q(James Roy),$d1907-1966.
700 1 $aHofstadter, Douglas R.,$d1945-
856 41 $3Table of contents$uhttp://catdir.loc.gov/catdir/toc/fy022/2001044481.html
856 42 $3Contributor biographical information$uhttp://catdir.loc.gov/catdir/enhancements/fy0734/2001044481-b.html
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0807/2001044481-d.html
938 $aBaker & Taylor$bBKTY$c19.95$d14.96$i0814758169$n0003764171$sactive
938 $aBrodart$bBROD$n57363129$c$16.95
938 $aBaker and Taylor$bBTCP$n2001044481
938 $aYBP Library Services$bYANK$n1783515
029 1 $aAU@$b000022930460
029 1 $aAU@$b000024210563
029 1 $aAU@$b000024754009
029 1 $aNLGGC$b246546344
029 1 $aNZ1$b6456226
029 1 $aUNITY$b096909633
029 1 $aZWZ$b145758559
029 1 $aAU@$b000046936940
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 446 OTHER HOLDINGS