LEADER 00671nam0-22002651i-450- 001 990002812810403321 005 20060718120846.0 035 $a000281281 035 $aFED01000281281 035 $a(Aleph)000281281FED01 035 $a000281281 100 $a20030910d1930----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001yy 200 1 $aSocietà per azioni$fC. Baldi 210 $aTorino$cFratelli Bocca$d1930 700 1$aBaldi,$bCesare$03042 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002812810403321 952 $a1-48-TB$bTB$fECA 959 $aECA 996 $aSocietà per azioni$9419230 997 $aUNINA LEADER 00971nam--2200361---450- 001 990001794360203316 005 20040625174619.0 035 $a000179436 035 $aUSA01000179436 035 $a(ALEPH)000179436USA01 035 $a000179436 100 $a20040625d1967----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aSalvatore Quasimodo$fPietro Mazzamuto 210 $a[Palermo]$cPalumbo$dstampa 1967 215 $a89 p.$d25 cm 225 2 $aBiblioteca di cultua moderna 410 0$12001$aBiblioteca di cultua moderna 454 1$12001 461 1$1001-------$12001 600 1 $aQuasimodo,$bSalvatore 676 $a851.912 700 1$aMAZZAMUTO,$bPietro$0171960 801 0$aIT$bsalbc$gISBD 912 $a990001794360203316 951 $aPAP 202$bL.M.$cPAP 959 $aBK 969 $aUMA 979 $aSIAV5$b10$c20040625$lUSA01$h1746 996 $aSalvatore Quasimodo$9700966 997 $aUNISA LEADER 02829oam 2200649I 450 001 9910452538503321 005 20200520144314.0 010 $a0-203-71522-5 010 $a1-283-88476-3 010 $a1-135-86532-9 024 7 $a10.4324/9780203715222 035 $a(CKB)2550000000710245 035 $a(EBL)1099249 035 $a(OCoLC)823724991 035 $a(SSID)ssj0000811019 035 $a(PQKBManifestationID)11456348 035 $a(PQKBTitleCode)TC0000811019 035 $a(PQKBWorkID)10834352 035 $a(PQKB)11282776 035 $a(MiAaPQ)EBC1099249 035 $a(Au-PeEL)EBL1099249 035 $a(CaPaEBR)ebr10639100 035 $a(CaONFJC)MIL419726 035 $a(OCoLC)900416168 035 $a(EXLCZ)992550000000710245 100 $a20180331d2005 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGodel's proof /$fby Ernest Nagel and James R. Newman 205 $a3rd ed. 210 1$aLondon ;$aNew York :$cRoutledge,$d2005. 215 $a1 online resource (105 p.) 225 1 $aRoutledge classics 225 0$aRoutledge classics 300 $aFirst published 1958 by Routledge. 311 $a1-138-83465-3 311 $a0-415-35528-1 320 $aIncludes bibliographical references and index. 327 $aGo?del's Proof; Copyright; Contents; Acknowledgments; 1 Introduction; 2 The Problem of Consistency; 3 Absolute Proofs of Consistency; 4 The Systematic Codification of Formal Logic; 5 An Example of a Successful Absolute Proof of Consistency; 6 The Idea of Mapping and its Use in Mathematics; 7 Go?del's Proofs; A Go?del numbering; B The arithmetization of meta-mathematics; C The heart of Go?del's argument; 8 Concluding Reflections; Notes; Brief Bibliography; Index 330 $a'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields 410 0$aRoutledge Classics 606 $aGo?del's theorem 608 $aElectronic books. 615 0$aGo?del's theorem. 676 $a511.3 700 $aNagel$b Ernest$f1901-1985.,$012057 701 $aNewman$b James Roy$f1907-1966.$026295 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910452538503321 996 $aGodel's proof$921209 997 $aUNINA