Table of Contents

Preface, 1. Introduction, 2. The Incompleteness Theorem: An Overview, 3. Computability, Formal Systems, and Incompleteness, 4. Incompleteness Everywhere, 5. Skepticism and Confidence, 6. Gödel, Minds, and Computers, 7. Gödel’s Completeness Theorem, 8. Incompleteness, Complexity, and Infinity, Appendix, References, Index

About the Author

A philosopher by training (PhD, University of Stockholm), Torkel Franzen has for the past twenty years been active working in computer science (at the Swedish Institute of Computer Science). He is the author of a number of books, among them Inexhaustibility: A Non-Exhaustive Treatment.

Reviews

" "Franzen's book is accessible, well written, and often funny..." -Richard Zach, History and Philosophy of Logic, July 2005 "Ich mochte allen meinen Lesern ... ein Buch ans Herz legen, und zwar "das Neue" von Torkel Franzen: Godel's Theorem - An Incomplete Guide to Its Use and Abuse..." -Altpapier, October 2005 "If the reader is serious about understanding the scope and limitations of Godel's theorems, this book will serve them well." -Don Vestal, MAA Online, November 2005 "... This is an excellent book, carefully considered and well-written. It will be read by layman and expert alike with pleasure and profit." -Peter A. Fillmore, CMS Notes, Volume 37 No. 8, December 2005 "... a welcome tourist's guide not only to the correct but also to many incorrect interpretations of the theorems, both in their immediate contexts and in wider circumstances." -I. Grattan-Guinness, LMS, February 2007 "This is a marvelous book. It is both highly competent and yet enjoyably readable. ... At last there is available a book that one can wholeheartedly recommend for anyone interested in Godel's incompleteness theorem--one of the most exciting and wide-ranging achievements of scientific thought ever." -Panu Raatikainen, Notices of the AMS, February 2007 "This is a marvelous book. It is both highly competent and yet enjoyably readable. ... At last there is available a book that one can wholeheartedly recommend for anyone interested in Godel's incompleteness theorem--one of the most exciting and wide-ranging achievements of scientific thought ever." -Panu Raatikainen, Notices of the AMS, March 2007 "... an extraordinary addition to the literature. ... The book is ideal reading for people with a basic logical background, be they computer scientists, philosophers, mathematicians, physicists, cognitive psychologists, or engineers ... and a real desire to understand quite deeply one of the intellectual gems of the 20th century." -Wilfried Sieg, Mathematiacl Reviews, March 2007 "... lively and a pleasure to read ... provides remarkably sharp formulations of the usual confusions. There is no doubt that readers of this journal should recommend this book to any friends or colleagues who ask about the ramifications of incompleteness." -Stewart Shapiro, Philosophia Mathematica, June 2006 "Dawson's biography of GA odel is provocative and interesting on several fronts, and is highly recommended to anyone with an interest in logic, the foundations of mathematics or the history of mathematics." -Samuel R. Buss Buss, December 1998 "This book presents an exceptional exposition of Godel's incompleteness theorems for non-specialists ... a valuable addition to the literature." -EMS, March 2006 "The book explains fully, without using any technical logical apparatus, Godel's two theorems about the incompleteness of any formal system which includes elementary arithmetic ... It is a great success in the way that the proofs of the theorems, while not given in full, are outlined in sufficient detail to make a discussion of the different versions that have been given worthwhile. I do not think there is any non-specialist exposition comparable for clarity and thoroughness." -Clive Kilmister, The Mathematical Gazette, March 2007 "Franzen touches upon contemporary issues in logic that otherwise only rarely find their way into books of an introductory character like this one." -The Review of Modern Logic, March 2007 "Torkel Franzen's "Goedel's Theorem" is a wonderful book, destined to become a classic ... In "Goedel's Theorem," Torkel Franzen does a superb job of explaining clearly and carefully what the incompleteness theorem says and its implications as well as skewering much of the nonsense that has been written about it. ... However, while "Goedel's Theorem" should be accessible to a general audience, "Inexhaustibility" may be rather rough going for a reader who has not seriously studied mathematical logic." -Mathematics and Comupter Science, March 2008"