Godel's theorem : an incomplete guide to its use and abuse / / Torkel Franzen
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Franzén Torkel
|
| Titolo: |
Godel's theorem : an incomplete guide to its use and abuse / / Torkel Franzen
|
| Pubblicazione: | Wellesley, MA, : A K Peters, c2005 |
| Edizione: | 1st ed. |
| Descrizione fisica: | x, 172 p |
| Disciplina: | 511.3 |
| Soggetto topico: | Gödel's theorem |
| Incompleteness theorems | |
| 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 |
| Sommario/riassunto: | "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. |
| Titolo autorizzato: | Godel's theorem |
| ISBN: | 1-000-28651-7 |
| 1-56881-500-X | |
| 1-4398-7692-4 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910960705403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |