Gödel's theorem: an incomplete guide to its use and abuse/
Franzén, Torkel.
Gödel's theorem: an incomplete guide to its use and abuse/ Torkel Franzén. - Wellesley, Mass.: A K Peters, c2005. - x, 172 p.; 23 cm.
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.
1568812388 9781568812380
2005045868
Godel's theorem.
Incompleteness theorems.
Theorema van Godel.
Godel, théoreme de.
Théorèmes d'incompletude.
511.3 / F837g
Gödel's theorem: an incomplete guide to its use and abuse/ Torkel Franzén. - Wellesley, Mass.: A K Peters, c2005. - x, 172 p.; 23 cm.
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.
1568812388 9781568812380
2005045868
Godel's theorem.
Incompleteness theorems.
Theorema van Godel.
Godel, théoreme de.
Théorèmes d'incompletude.
511.3 / F837g