Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Gödel's theorem: an incomplete guide to its use and abuse/ Torkel Franzén.
Publication details: Wellesley, Mass.: A K Peters, c2005.Description: x, 172 p.; 23 cmISBN:- 1568812388
- 9781568812380
- 511.3 F837g
- 31.10
Contents:
The incompleteness theorem: an overview -- Computability, formal systems, and incompleteness -- Incompleteness everywhere -- Skepticism and confidence -- Gödel, minds, and computers -- Gödel's completeness theorem -- Incompleteness, complexity, and infini.
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F837g 2005 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000636053 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
| No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available |
|
No cover image available No cover image available |
|
No cover image available No cover image available | ||
| 511.3 F812c 1972 IMPA Cours de logique mathématique, Tome 2: Théorie des modèles/ | 511.3 F828f 1936 IMPA La fin de la physique mécaniste/ | 511.3 F828t 1934 IMPA Théorie de la connaissance et physique moderne/ | 511.3 F837g 2005 IMPA Gödel's theorem: an incomplete guide to its use and abuse/ | 511.3 F851m 1955 IMPA Les mathématiques et le concret/ | 511.3 F858 1970 IMPA Frege and Gödel; two fundamental texts in mathematical logic/ | 511.3 F858b 1964 IMPA Begriffsschrift und andere Aufsätze/ |
Includes bibliographical references (p. 165-167) and index.
The incompleteness theorem: an overview -- Computability, formal systems, and incompleteness -- Incompleteness everywhere -- Skepticism and confidence -- Gödel, minds, and computers -- Gödel's completeness theorem -- Incompleteness, complexity, and infini.
There are no comments on this title.