Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén

• Record Nr.: UNINA9910454403903321
• Autore: Franzén Torkel
• Pubbl/distr/stampa: Wellesley, MA, : A K Peters, c2005
• ISBN: 1-56881-500-X; 1-4398-7692-4
• Descrizione fisica: x, 172 p
• Disciplina: 511.3
• Soggetti: Gödel's theorem; Incompleteness theorems; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references (p. 165-167) and index.
• Nota di contenuto: 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