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 |
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.