| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910960705403321 |
|
|
Autore |
Franzén Torkel |
|
|
Titolo |
Godel's theorem : an incomplete guide to its use and abuse / / Torkel Franzen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Wellesley, MA, : A K Peters, c2005 |
|
|
|
|
|
|
|
ISBN |
|
1-000-28651-7 |
1-56881-500-X |
1-4398-7692-4 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Gödel's theorem |
Incompleteness theorems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |