01845nam 22005294a 450 991045440390332120200520144314.01-56881-500-X1-4398-7692-4(CKB)1000000000522191(SSID)ssj0000279964(PQKBManifestationID)11234815(PQKBTitleCode)TC0000279964(PQKBWorkID)10268238(PQKB)10767280(MiAaPQ)EBC3059479(Au-PeEL)EBL3059479(CaPaEBR)ebr10158323(OCoLC)922955571(EXLCZ)99100000000052219120050310d2005 uy 0engurcn|||||||||txtccrGödel's theorem[electronic resource] an incomplete guide to its use and abuse /Torkel FranzénWellesley, MA A K Petersc2005x, 172 pBibliographic Level Mode of Issuance: Monograph1-56881-238-8 Includes bibliographical references (p. 165-167) and index.5050 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Gödel, minds, and computers -- 7. Gödel's completeness theorem -- 8. Incompleteness, complexity, and infinityGödel's theoremIncompleteness theoremsElectronic books.Gödel's theorem.Incompleteness theorems.511.3Franzén Torkel982549MiAaPQMiAaPQMiAaPQBOOK9910454403903321Gödel's theorem2242413UNINA