00718nam a2200217 i 450099100037745970753620020506125810.0991015s1917 it ||| | ita b10691492-39ule_instEXGIL144497ExLBiblioteca InterfacoltàitaNiccodemi, Dario192033Il titanoMilano :Treves,1917172 p. ;18 cm..b1069149202-04-1428-06-02991000377459707536LE002 Fondo Giudici A 10591LE002G-2481le002-E0.00-no 00000.i1078562028-06-02Titano532482UNISALENTOle00201-01-99ma -itait 3102116nam 22005534a 450 991096070540332120251116230834.01-000-28651-71-56881-500-X1-4398-7692-4(CKB)1000000000522191(SSID)ssj0000279964(PQKBManifestationID)11234815(PQKBTitleCode)TC0000279964(PQKBWorkID)10268238(PQKB)10767280(Au-PeEL)EBL3059479(CaPaEBR)ebr10158323(OCoLC)922955571(MiAaPQ)EBC3059479(EXLCZ)99100000000052219120050310d2005 uy 0engurcn|||||||||txtccrGodel's theorem an incomplete guide to its use and abuse /Torkel Franzen1st ed.Wellesley, 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 infinity"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.Gödel's theoremIncompleteness theoremsGödel's theorem.Incompleteness theorems.511.3Franzén Torkel1861169MiAaPQMiAaPQMiAaPQBOOK9910960705403321Godel's theorem4467254UNINA