LEADER 02893oam  2200673I  450 
001 9910827879603321
005 20240131144518.0
010   $a1-135-86539-6
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(OCoLC)822561677
035   $a(FINmELB)ELB135530
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
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   $a9910827879603321
996   $aGodel's proof$921209
997   $aUNINA