- Also check our best rated Biography reviews
Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) Hardcover – 18 Mar 2005
Customers who viewed this item also viewed
What other items do customers buy after viewing this item?
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
"Magnificent.... A stimulating exploration of both the power and the limitations of the human intellect.... Goldstein is an excellent choice for this installment of Norton's Great Discoveries series: Her philosophical background makes her a sure guide to the underlying ideas, and she brings a novelistic depth of character and atmosphere ... to her sympathetic depiction of the logician's tortured psyche, as his relentless search for logical patterns ... gradually darkened into paranoia."
In this penetrating, accessible, and beautifully written book, Rebecca Goldstein explores not only the work of one of the greatest mathematicians but also the relation of the human mind to the world around it.--Alan Lightman, author of Einstein's Dreams
Godel's torment and his genius. By the book's end, we understand well why Einstein would look forward to 'the privilege of walking home with Godel, ' and we can't help but wish that we'd been able to join them.--Brian Greene, author of The Elegant Universe and The Fabric of the Cosmos --This text refers to an out of print or unavailable edition of this title.
About the Author
Rebecca Goldstein is a MacArthur Fellow, a professor of philosophy, and the author of five novels and a collection of short stories. She lives in Cambridge, Massachusetts. --This text refers to an out of print or unavailable edition of this title.
Top customer reviews
There was a problem filtering reviews right now. Please try again later.
It is, in fact, a story. It has a central theme, appropriately reaching its technical summit in the middle of the book: namely Goedel's famous theorem(s). It provides a wonderful discussion of the context historically (the characters, the places, the intellectual developments) of Goedel's work. And it provides a very accessible account of the modern history (from late 19th century) of the relevant branches of philosophy. Notably, it covers how Goedel's work was inspired by, and then effectively defined, what it is that can be said about "mathematical truth" (apologies for the slackness of this phrase's meaning: read the book and you will know what I mean).
Highly recommended to any interested readers willing to put in a little effort to understand a challenging subject.
Every scientific idea - especially those which were so revolutionary that managed to shake the foundations of science and knowledge - seem naked, purposeless and unintelligible when presented without the accompanying historical context. Since history is created from special charismatic and dramatic persons, a historical approach inevitably comprise a biography and an account of the ideas which influenced the revolutionist thought. Ideas could be thought as intellectual species which evolve in human minds under the pressure of reality and the discovery of new inexplicable facts. Rebecca Goldstein successfully manages to achieve these two goals with an excellent presentation of the persons and the ideas relevant to Gödel's proof. Her narrating style makes these intricate epistemological and philosophical ideas much more easier to digest and pleasant to read.
One of the aspects which makes this book an excellent choice for reading is it's integrity. Not only it presents the historical context of the proof but it also bonds and evolves these past ideas to help exemplify the monumental ramifications of Gödel's intellectual child to epistemology and philosophy. I consider the presentation of these ramification to be the most interesting part of the book. There is a lot of misunderstanding concerning the epistemological interpretation of the proof and Rebecca Goldstein clarify the misconceptions which also held a great pain for Gödel himself.
The only drawback of the book is the epigrammatic presentation of the proof itself which I don't consider it to be a serious flaw because I think this presentation is basically out of the scope and the central idea of the book which is more historical and epistemological than technical. If one wants to have a better but not very technical and cumbersome explanation of Gödel's proof, I recommend the book "Gödel's Proof" from Douglas R.Hofstadter.
I surely recommend reading "Incompleteness: The Proof and Paradox of Kurt Goedel". The reader who has a prior knowledge of this meta-mathematical triumph will acquire a more thorough-going understanding of its significance and the one who has never before had an acquaintance with the proof will have an excellent initiation to one of the doors leading to the understanding of what the mysterious nature of Mathematics might be and with what remarkable ways human beings acquire knowledge of this ghostly realm.
Most helpful customer reviews on Amazon.com
This is a current, widespread dispute.
''What Gödel’s theorems prove, he argues, is that even in our most technical, rule-bound thinking—that is, mathematics—we are engaging in truth-discovering processes that can’t be reduced to the mechanical procedures programmed into computers.''
If mathematics is trusted (everyone does), Gödel's proof confirms human reason is more powerful than any possible computer! Wow!
''Notice that Penrose’s argument, in direct opposition to the postmodern interpretation of the previous paragraph, understands Gödel’s results to have left our mathematical knowledge largely intact. Gödel’s theorems don’t demonstrate the limits of the human mind, but rather the limits of computational models of the human mind (basically, models that reduce all thinking to rule-following).'' (25)
I A Platonist among the Positivists
II Hilbert and the Formalists
III The Proof of Incompleteness
IV Gödel’s Incompleteness
Goldstein covers Godel's incompleteness theorem and it's effect on mathematics. She highlights the philosophical issues. Shows the metamathematical implications are more profound than the mathematical ones. She includes some biography of Godel's life, but she seems focused on explaining Godel's motives and goals more than events.
Excellent description of Schlick and his Vienna circle, of which Godel was a member. The developments of the logical positivists and why they became so influential is explained. The milieu of post war Vienna is described as 'the research laboratory for world destruction'. (Page 69)
"The overall topic was the moral and intellectual death and decay of all that had come before, and the need to construct entirely new methodologies, forms and foundations." The old world died in 1914. They knew that and wanted to create a new one. They did and we are living with the result.
The fascinating thing was although the Vienna circle converted much of the intellectual world to logical positivism (reality is only what can be positively shown) Godel, even though a member, created a proof that they were wrong! Goldstein believes Godel's desire to disprove positivism led him to prove the 'incompleteness' of mathematics.
Clearly explains that the usual meaning of Godel's work is to justify relativism, which is not how Godel understood his work. Godel deeply believed his work demonstrated that the human mind can discern deeper mathematical truth than any formal system of mathematics can find. In other words, he proved -mathematically- that it is not possible for any computer program to find all the mathematical truths that are available to the human mind!
Where does that capacity come from? How can the human mind connect to the hidden, difficult, profound and amazing mathematical concepts that continue to match the physical world? How does the insight or 'intuition' of mathematical concepts enter the mind of the mathematician?
This is the theme of the book as Goldstein presents the isolation of Godel because of his rejection of positivism. She also connects his friendship with Einstein due to Einstein's same intellectual battle. His work is called the 'Theory of Relativity' and is used to justify a subjective world. Einstein disagreed. He believed the accurate name would be 'Theory of Invariance', totally the opposite! Two world class thinkers, whose ideas were twisted to mean the contrary to what they believed. How sad. Both were isolated and world famous.
Also shows how Godel's devotion to logic gave him an uncommon courage to believe what his research found. For example, (page 60) she relates "I found those little Bible studies published by the Jehovah's witnesses. . .These contained careful underlinings and marginalia in the logicians hand." Another author mentions that Godel believed in the resurrection. He also was devoted to the writings of Leibniz.
Chapter eleven starts with an excellent description of thee problem of certainty. What is "proof"? Reminds us of the well known point that all deductive reasoning (such as mathematics) must start with unproven beliefs. We hope to use beliefs that are clear, simple and agreed by everyone (therefore do not need proof).
(Page 123) "The resulting beliefs can feel intuitively obvious precisely because we are not prepared to face their real and suspect source in our own personal situations and egos." Euclid used only five. These five were trusted for thousands of years and yielded fantastic results. We now believe one of them (parallel postulate) is wrong!
Godel's work shows that mathematics requires various direct beliefs, "intuitions", that cannot be "proved" by mathematics. This was and is a shocking, deeply disturbing conclusion to those who understand the significance. David Hilbert, the leader of mathematics at the time, was angry when he saw Godel's work. It destroyed his life's work.
This book is an excellent introduction to Godel's work. I find it fascinating due to its effect on the intellectual world. If, as with other world changing ideas, (Copernicus, Newton, Einstein) it takes a century for them to be assimilated into the culture, we should be seeing an increased effect soon. What the effect will be is unknown. As Godel showed, deductive reason cannot learn all that the human mind can discern.
I don't quite get how Rebecca could be Mrs. Steven Pinker now, but I love her anyway.