"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén 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 Gödel
Godel's Theorem: An Incomplete Guide to Its Use and Abuse
and over one million other books are available for Amazon Kindle. Learn more
 |
| ||||||||||||||||||
 Sell Back Your Copy for $3.20
No matter where you bought them, get up to 70% back when you sell your books at Amazon.com.
Used Price$14.80
Trade-in Price$3.20
Price after
Trade-in$11.60 |
Book Description
Frequently Bought Together
Editorial Reviews
Review
" ""Franzén's book is accessible, well written, and often funny..."" -Richard Zach, History and Philosophy of Logic, July 2005
""Ich möchte allen meinen Lesern . . . ein Buch ans Herz legen, und zwar ""das Neue"" von Torkel Franzén: Gödel'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 Gödel'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 Gödel’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 Gödel’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 GÄ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 Gödel'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, Gödel'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"
""Ich möchte allen meinen Lesern . . . ein Buch ans Herz legen, und zwar ""das Neue"" von Torkel Franzén: Gödel'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 Gödel'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 Gödel’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 Gödel’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 GÄ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 Gödel'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, Gödel'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"
About the Author
A philosopher by training (PhD, University of Stockholm), Torkel Franzén has for the past twenty years been active working in computer science (at the Swedish Institute of Computer Science) and teaching programming (at Luleå University of Technology). He is the author of a number of books, among them Inexhaustibility: A Non-Exhaustive Treatment.
Product Details
Would you like to update product info or give feedback on images? |
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
Most Helpful Customer Reviews
101 of 104 people found the following review helpful
By T. Gwinn
Format:Paperback
As evidenced from the title, the primary focus of the book is to identify the specific nature of these theorems, where they apply directly, and where they do not apply directly, and where they are interpreted entirely erroneously.
Although the book is aimed at non-mathematicians and those with no knowledge of formal logic, I can't really imagine someone with no understanding of logic and some fair amount of math comprehension benefitting alot from this book. I mean, by p. 10 he talking about Diophantine equations and Goldbach-like conjectures, and soon after, "PA" and "ZFC" are tossed about as if they were practically everyday acronyms for most people. The book is however, largely free of formulas and proofs, for those who are dissuaded by such. The overviews of the theorems themselves is not as lucid as I imagine they could be (which is why I rate it a 4 instead of a 5). The overviews will also seem a bit alien to someone expecting and Nagel & Newman kind of treatment; instead, this is discussed from a more abstract perspective of the characteristics and properties of formal systems, which avoids getting into the gritty details (even Gödel-numbering is not explained in detail!) but may be hard to grasp for someone not used to thinking at this level of abstraction about mathematical systems.
With that said, I still think it is quite worthwhile reading, and at a slim 170ish pages, it is a fairly quick read. After the overviews, he takes on various applications/misapplications of the theorems by topic. So, there are discussion of the theorems' relevance or applicability to things such as TOE (Theory of Everything), Turing machines, skepticism, minds, inexhaustibility, computability and so on. He does so typically by first giving several quotes that appear either in the literature or commonly on the internet, and then proceeds to either correct or clarify those quotes. Such notables as Roger Penrose, Freeman Dyson, and Stephen Hawking are among the quoted who are scrutinized.
I think the primary goal of the book is accomplished in its debunking of outright misuses of the theorems, and by way of correction and clarification of other uses, it accomplishes its pedagogical goal. I know it will cause me to strive to be more precise in any future invocations of these theorems.
Although the book is aimed at non-mathematicians and those with no knowledge of formal logic, I can't really imagine someone with no understanding of logic and some fair amount of math comprehension benefitting alot from this book. I mean, by p. 10 he talking about Diophantine equations and Goldbach-like conjectures, and soon after, "PA" and "ZFC" are tossed about as if they were practically everyday acronyms for most people. The book is however, largely free of formulas and proofs, for those who are dissuaded by such. The overviews of the theorems themselves is not as lucid as I imagine they could be (which is why I rate it a 4 instead of a 5). The overviews will also seem a bit alien to someone expecting and Nagel & Newman kind of treatment; instead, this is discussed from a more abstract perspective of the characteristics and properties of formal systems, which avoids getting into the gritty details (even Gödel-numbering is not explained in detail!) but may be hard to grasp for someone not used to thinking at this level of abstraction about mathematical systems.
With that said, I still think it is quite worthwhile reading, and at a slim 170ish pages, it is a fairly quick read. After the overviews, he takes on various applications/misapplications of the theorems by topic. So, there are discussion of the theorems' relevance or applicability to things such as TOE (Theory of Everything), Turing machines, skepticism, minds, inexhaustibility, computability and so on. He does so typically by first giving several quotes that appear either in the literature or commonly on the internet, and then proceeds to either correct or clarify those quotes. Such notables as Roger Penrose, Freeman Dyson, and Stephen Hawking are among the quoted who are scrutinized.
I think the primary goal of the book is accomplished in its debunking of outright misuses of the theorems, and by way of correction and clarification of other uses, it accomplishes its pedagogical goal. I know it will cause me to strive to be more precise in any future invocations of these theorems.
44 of 45 people found the following review helpful
By sigfpe
Format:Paperback
As a mathematician I thought I had a good understanding of Godel's Theorem but Franzen highlighted a bunch of misconceptions that I had. It went on to answer a bunch of questions I had wondered about but had never had a chance to ask a logician. So in a sense this book is precisely what I wanted from a book on Godel's theorem and I can't help but give it 5 stars.
But that's not all. Over the years I have read countless papers, articles and books by author who invoke Godel's Theorem in the most inapposite paces without understanding it. I've found this to be pretty annoying and in many cases there is no rebuttal. Franzen tackles many of these misuses whether they are comments on USENET or published arguments by Lucas, Chaitin and Penrose. It's great to see someone put pen to paper and reply to these abuses in one place. That would bump my rating up to 6 stars if I were able.
But be warned, this book is challenging. I'd suggest that as a prerequisite you need to be a mathematician, philosopher or computer scientist with at least some familiarity with Godel's Theorem.
But that's not all. Over the years I have read countless papers, articles and books by author who invoke Godel's Theorem in the most inapposite paces without understanding it. I've found this to be pretty annoying and in many cases there is no rebuttal. Franzen tackles many of these misuses whether they are comments on USENET or published arguments by Lucas, Chaitin and Penrose. It's great to see someone put pen to paper and reply to these abuses in one place. That would bump my rating up to 6 stars if I were able.
But be warned, this book is challenging. I'd suggest that as a prerequisite you need to be a mathematician, philosopher or computer scientist with at least some familiarity with Godel's Theorem.
23 of 23 people found the following review helpful
5.0 out of 5 stars
Valuable Counterbalance to Widespread Misconceptions and Nonsense in Print and on the Internet
August 13, 2006
Format:Paperback
Torkel Franzen has created an immensely valuable, deeply fascinating examination of misunderstandings, misconceptions, and outright abuse of Godel's theorems frequently found on the Internet (and occasionally in print). He does so in a cogent, non-confrontational style that makes enjoyable reading. Godel's Theorem - An Incomplete Guide to Its Use and Abuse warrants five stars.
A word of caution is appropriate, however. Chapters 2 and 3 will be heavy going for readers not familiar with formal logic. Although Franzen avoids the details of Godel numbers in his explication of Godel's proof, he does delve into topics like self-referential arithmetical statements, Tarski's theorem, Rosser sentences, weaker variants of the first incompleteness theorem, computably decidable sets, Turing's proof of the undecidable theorem, and the MRDP theorem.
Furthermore, the appendix offers both a formal definition of the concept of a Goldbach-like arithmetical statement and comments on the significance of Rosser's strengthening of Godel's first incompleteness theorem. (Any reader that stays the course with the early chapters will be able to handle the appendix discussions. The short chapter 7 is also more technical as it discusses the completeness of first order logic.)
A word of encouragement is equally appropriate. Chapters 2 and 3 can be browsed, even skipped outright. The later chapters are much more accessible and don't require that the earlier chapters have been mastered; instead, they focus on examples of the misuse of Godel's theorems - from the merely technically inaccurate to the humorously nonsensical. It is these later chapters that makes this book special.
Although words like consistent, inconsistent, complete, incomplete, and system have been carefully defined within the context of formal logic, in normal discourse these words have varied meanings, often leading to vagueness and confusion in discussions of Godel's theorems. Furthermore, Godel's theorems often serve in an inspirational fashion, that is being used as analogies and metaphors in which the essential condition that a system must be capable of formalizing a certain amount of arithmetic is largely ignored.
Invocations of Godel's incompleteness theorems in theology, in physics (like the theory of everything), and in the philosophy of the mind (the Lucas-Penrose arguments) are found in chapters 4, 5, and 6. Chapter 8 addresses the widely publicized philosophical claims of Geoffrey Chaitin on the relationship between incompleteness and complexity, randomness, and infinity.
Godel's Theorem - An Incomplete Guide to Its Use and Abuse may be too much too soon. A reader new to Godel's work might consider starting with Godel's Proof (by Ernest Nagel and James R. Newman) or Incompleteness - The Proof and Paradox of Kurt Godel (by Rebecca Goldstein).
A word of caution is appropriate, however. Chapters 2 and 3 will be heavy going for readers not familiar with formal logic. Although Franzen avoids the details of Godel numbers in his explication of Godel's proof, he does delve into topics like self-referential arithmetical statements, Tarski's theorem, Rosser sentences, weaker variants of the first incompleteness theorem, computably decidable sets, Turing's proof of the undecidable theorem, and the MRDP theorem.
Furthermore, the appendix offers both a formal definition of the concept of a Goldbach-like arithmetical statement and comments on the significance of Rosser's strengthening of Godel's first incompleteness theorem. (Any reader that stays the course with the early chapters will be able to handle the appendix discussions. The short chapter 7 is also more technical as it discusses the completeness of first order logic.)
A word of encouragement is equally appropriate. Chapters 2 and 3 can be browsed, even skipped outright. The later chapters are much more accessible and don't require that the earlier chapters have been mastered; instead, they focus on examples of the misuse of Godel's theorems - from the merely technically inaccurate to the humorously nonsensical. It is these later chapters that makes this book special.
Although words like consistent, inconsistent, complete, incomplete, and system have been carefully defined within the context of formal logic, in normal discourse these words have varied meanings, often leading to vagueness and confusion in discussions of Godel's theorems. Furthermore, Godel's theorems often serve in an inspirational fashion, that is being used as analogies and metaphors in which the essential condition that a system must be capable of formalizing a certain amount of arithmetic is largely ignored.
Invocations of Godel's incompleteness theorems in theology, in physics (like the theory of everything), and in the philosophy of the mind (the Lucas-Penrose arguments) are found in chapters 4, 5, and 6. Chapter 8 addresses the widely publicized philosophical claims of Geoffrey Chaitin on the relationship between incompleteness and complexity, randomness, and infinity.
Godel's Theorem - An Incomplete Guide to Its Use and Abuse may be too much too soon. A reader new to Godel's work might consider starting with Godel's Proof (by Ernest Nagel and James R. Newman) or Incompleteness - The Proof and Paradox of Kurt Godel (by Rebecca Goldstein).
Most Recent Customer Reviews
3.0 out of 5 stars
Not for the General Reader
In many places Franzén's exposition of technical matters is impenetrable for anyone not versed in set theory and mathematical logic, and even for some like me who are. Read more
Published 2 months ago by Stephen Schwartz
5.0 out of 5 stars
how to stop all the nonsense spited about Godel's theorems
The problem with Godel's theorems is that they are used as arguments for results in mathematics and philosophy of mathematics that go way beyond their scope - don't get me wrong -... Read more
Published 4 months ago by Andrew Butterfield
5.0 out of 5 stars
Good survey of what people think about Godel's Incomplete theorems
I have to like this book since I am quoted on page 94 under the theological implications of Godel's Theorems.
Published 4 months ago by Najamuddin Mohammed
5.0 out of 5 stars
Gödel's incompleteness theorems
Franzén's book constitutes a well-written and interesting exposition of Gödel's incompleteness theorems for the general reader. Read more
Published 9 months ago by Newton da Costa
1.0 out of 5 stars
Poorly written, incoherent and not for the laymen
I really hate to give a book a bad review, however this book does not explain Godel's theorem in a logical cohesive manner. Read more
Published 20 months ago by Mark B.
3.0 out of 5 stars
Gödel's Theorem
This book seems cobbled together, and its exposition is unclear. Chapter one is a short seven-page introduction. Read more
Published on February 15, 2011 by Sam Adams
5.0 out of 5 stars
Excellent treatment
I have read a half dozen books on Gödel's incompleteness theorem. This is the best. It is for the more serious reader in that it gives what amounts to an informal proof. Read more
Published on August 20, 2010 by Randy Gallistel
5.0 out of 5 stars
Incomplete Guide or Complete Guide: Undecidable
This is a book I bought a few years ago and started reading immediately but put aside and only this summer read it fully from cover to cover. Read more
Published on December 22, 2009 by Dmitry Vostokov
4.0 out of 5 stars
The Master Would Be Pleased
A lot of new-age drivel has been written about Gödel's theorem. Franzén's goal is to explain its true meaning, which is a marvel unto itself, with no post-Modern... Read more
Published on March 14, 2009 by Herbert Gintis
4.0 out of 5 stars
Mind-bending mathematics
Recently I was reading a letter in the newspaper in which the writer misstated what the anthropic principle was in order to satisfy his own agenda. Read more
Published on May 5, 2008 by mrliteral
What Other Items Do Customers Buy After Viewing This Item?
Listmania!
|
|
