LEADER 02116nam 22005534a 450 001 9910960705403321 005 20251116230834.0 010 $a1-000-28651-7 010 $a1-56881-500-X 010 $a1-4398-7692-4 035 $a(CKB)1000000000522191 035 $a(SSID)ssj0000279964 035 $a(PQKBManifestationID)11234815 035 $a(PQKBTitleCode)TC0000279964 035 $a(PQKBWorkID)10268238 035 $a(PQKB)10767280 035 $a(Au-PeEL)EBL3059479 035 $a(CaPaEBR)ebr10158323 035 $a(OCoLC)922955571 035 $a(MiAaPQ)EBC3059479 035 $a(EXLCZ)991000000000522191 100 $a20050310d2005 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGodel's theorem $ean incomplete guide to its use and abuse /$fTorkel Franzen 205 $a1st ed. 210 $aWellesley, MA $cA K Peters$dc2005 215 $ax, 172 p 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a1-56881-238-8 320 $aIncludes bibliographical references (p. 165-167) and index. 327 $a5050 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Go?del, minds, and computers -- 7. Go?del's completeness theorem -- 8. Incompleteness, complexity, and infinity 330 $a"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. 606 $aGo?del's theorem 606 $aIncompleteness theorems 615 0$aGo?del's theorem. 615 0$aIncompleteness theorems. 676 $a511.3 700 $aFranze?n$b Torkel$01861169 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910960705403321 996 $aGodel's theorem$94467254 997 $aUNINA