Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzen gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Godel

Mathematical logic --- Philosophy of science --- Gödel's theorem --- Gödel's theorem. --- Incompleteness theorems. --- Gödel's theorem --- Incompleteness theorems --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Theorems, Incompleteness --- Constructive mathematics --- Proof theory --- Foundations --- Logique mathématique --- Gödel, Kurt F., 1906 --- -Logique mathématique --- Logique mathematique --- Theorie de la preuve --- -Gödel's theorem. --- -Gödel's theorem --- Gödel, Kurt F., 1906-