LEADER 01845nam  22005294a 450 
001 9910454403903321
005 20200520144314.0
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(MiAaPQ)EBC3059479
035   $a(Au-PeEL)EBL3059479
035   $a(CaPaEBR)ebr10158323
035   $a(OCoLC)922955571
035   $a(EXLCZ)991000000000522191
100   $a20050310d2005      uy             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aGo?del's theorem$b[electronic resource] $ean incomplete guide to its use and abuse /$fTorkel Franze?n
210   $aWellesley, MA $cA K Peters$dc2005
215   $ax, 172 p
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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
606   $aGo?del's theorem
606   $aIncompleteness theorems
608   $aElectronic books.
615  0$aGo?del's theorem.
615  0$aIncompleteness theorems.
676   $a511.3
700   $aFranze?n$b Torkel$0982549
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910454403903321
996   $aGo?del's theorem$92242413
997   $aUNINA