Philosophia Mathematica 14 (2):262-264 (2006)
This short book has two main purposes. The first is to explain Kurt Gödel's first and second incompleteness theorems in informal terms accessible to a layperson, or at least a non-logician. The author claims that, to follow this part of the book, a reader need only be familiar with the mathematics taught in secondary school. I am not sure if this is sufficient. A grasp of the incompleteness theorems, even at the level of ‘the big picture’, might require some experience with the rigor of mathematical proof. Moreover, since the incompleteness theorems concern formal deductive systems, it would help for a potential reader of this book to have some familiarity with at least elementary logic.There are, of course, a number of informal expositions of the incompleteness theorems. I do not see the need to engage in a comparative study. The second, and more important, goal of the present book is to discuss some alleged consequences of the incompleteness theorems and, in particular, to debunk thoroughly claims in philosophy, religion, and literary criticism that are supposed to be established, or at least bolstered, by incompleteness. The execution of this part of the book is masterly. The arguments are clear and compelling.The book has eight chapters, each between eight and twenty-eight pages. The opening chapter gives a very brief account of the incompleteness theorems and a sketch of Gödel's life and work. Chapter 2 gives the main overview of the incompleteness theorems, plus …
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Sacks Density Theorem and Σ2-Bounding.Marcia J. Groszek, Michael E. Mytilinaios & Theodore A. Slaman - 1996 - Journal of Symbolic Logic 61 (2):450 - 467.
Epistemology and Education: An Incomplete Guide to the Social-Epistemological Issues.Harvey Siegel - 2004 - Episteme 1 (2):129-137.
Inexhaustibility: A Non-Exhaustive Treatment.Torkel Franzen - 2003 - Association for Symbolic Logic.
Visual Imagery and Geometric Enthymeme: The Example of Euclid I.Keith K. Niall - 2002 - Behavioral and Brain Sciences 25 (2):202-203.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Implication of Incomplete Markets for Corporate Social Responsibility and Competitive Strategy.Sylvia Maxfield - 2006 - Proceedings of the International Association for Business and Society 17:133-138.
Applications of Vaught Sentences and the Covering Theorem.Victor Harnik & Michael Makkai - 1976 - Journal of Symbolic Logic 41 (1):171-187.
A Short Guide to Gödel's Second Incompleteness Theorem.Joan Bagaria - 2003 - Teorema: International Journal of Philosophy 22 (3):5-15.
A Theory of Irrationality as a `Reasonable' Response to an Incomplete Specification.Robyn M. Dawes - 2000 - Synthese 122 (1-2):133 - 163.
Added to index2010-08-24
Total downloads27 ( #188,178 of 2,163,699 )
Recent downloads (6 months)3 ( #129,191 of 2,163,699 )
How can I increase my downloads?