02893oam 2200673I 450 991077945560332120230617000614.01-135-86539-60-203-71522-51-283-88476-31-135-86532-910.4324/9780203715222 (CKB)2550000000710245(EBL)1099249(OCoLC)823724991(SSID)ssj0000811019(PQKBManifestationID)11456348(PQKBTitleCode)TC0000811019(PQKBWorkID)10834352(PQKB)11282776(MiAaPQ)EBC1099249(Au-PeEL)EBL1099249(CaPaEBR)ebr10639100(CaONFJC)MIL419726(OCoLC)900416168(OCoLC)822561677(FINmELB)ELB135530(EXLCZ)99255000000071024520180331d2005 uy 0engur|n|---|||||txtccrGodel's proof /by Ernest Nagel and James R. Newman3rd ed.London ;New York :Routledge,2005.1 online resource (105 p.)Routledge classicsRoutledge classicsFirst published 1958 by Routledge.1-138-83465-3 0-415-35528-1 Includes bibliographical references and index.Gö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'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 fieldsRoutledge ClassicsGödel's theoremGödel's theorem.511.3Nagel Ernest1901-1985.,12057Newman James Roy1907-1966.26295MiAaPQMiAaPQMiAaPQBOOK9910779455603321Godel's proof21209UNINA