Paradox of Kurt Gödel. Reviewed by Juliette Kennedy. Incompleteness: The Proof and Paradox of Kurt. Gödel. Rebecca Goldstein. W. W. Norton & Company. fefe 1. Incompleteness: The Proof and Paradox of Kurt Gödel by Rebecca Goldstein. Weidenfeld, pp. Like Heisenberg’s uncertainty principle, Gödel’s. Irving H. Incompleteness: The Proof and Paradox of Kurt Gödel by R. Goldstein . Rev. Mod. Log. 11 (), no. ,
|Published (Last):||15 September 2017|
|PDF File Size:||4.55 Mb|
|ePub File Size:||11.81 Mb|
|Price:||Free* [*Free Regsitration Required]|
Goodreads helps you keep track of books you want to read. Want to Read saving…. Want to Read Currently Reading Read. Refresh and try again.
Incompleteness: The Proof and Paradox of Kurt Gödel by Rebecca Goldstein
Open Preview See a Problem? Thanks incomplwteness telling us about the problem. Return to Book Page. Preview — Incompleteness by Rebecca Goldstein. Paperback oaradox, pages. Published February 17th by W. Norton Company first published To see what your friends thought of this book, please sign up. To ask other readers questions about Incompletenessplease sign up.
Lists with This Book. Dec 07, BlackOxford rated it really liked it Shelves: To me the implication is that no matter how much we learn, we will still be wrong.
Paradpx are not unsure only about mathematics. Physics for example will always exhibit paradoxes like those of quantum theory. People unaccountably will always do things which are bad for them. And my socks will continue to disappear in the dryer. In an age rocked by the counter-intuitive implications of things like Relativity Theory and Quantum Mechanics, which incojpleteness paradoxes that seem resolvable by further thought, the Incompleteness Theorem is even more of a scandal.
It exists in logic not in observation. It will remain in force no matter what else we learn about the world.
Incompleteness: The Proof and Paradox of Kurt Gödel
It applies to the deepest thinker, the wealthiest entrepreneur, the most powerful thee, as well as to any random cog in the modern economic machine and to those who have been rejected by it. It is the modern form of the ancient Christian doctrine of Original Sin, formulated so forcefully by the great saint, Augustine of Hippo. Just as Original Sin, Incompleteness affects us all. We inherit it, not through our genes, but through our memes.
Incompleteness comes packaged in language itself. To engage the world through language is to enter the domain of Incompleteness, and therefore of profound doubt. And just as Augustine said in his religious idiom, Godel has restated the situation in his: There is no escape.
The user of language is trapped and is incapable of extricating himself from an existence of rational error – about himself as well as the world around him.
Like many before him and since, Augustine fills the intellectual vacuum with the magic of a divine saviour, the guarantor of the ultimate rationality of human and other life on Earth. For Augustine Christ is the deus ex machina who is capable of correcting, literally remaking, flawed human nature into something reliable. Augustine, of course, merely demonstrates the extent to which the basic human flaw can make us crazy.
His solution is actually the greatest delusion produced by his fundamental insight. He neurotically invents in order to avoid his own logic, and then projects his neurosis onto the world as a defect which must be eliminated. He is the first Christian terrorist. What Godel allows us to see, however, is that mathematics is a genre of poetry with its own arbitrary, but still rather satisfying, conventions. Prospects, bleak or not, – whether spiritual or material – have nothing to do with the matter, therefore.
Mathematics, like the rest of poetry, is important in the continuous present. For my money he was more spiritual than Augustine, as well as more committed to the idea of truth. He knew there was something permanently beyond human reach. As a committed Platonist, he considered this to be the abstract realm of numbers, which exist quite independently of human thought about them.
The principle difference however is that numbers make no absolute demands and pass no judgments. And very few have felt compelled to use violence to defend number theory. Goldstein makes an apposite observation: Rather, it is rationality run amuck, the inventive search for explanations turned relentless. View all 15 comments. About his time at the Vienna Circle a. The proof itself is rather simplified and no great mathematical knowledge is required.
Logical understanding is very helpful, however! He had an axiom by which he looked at the world: Everything outside this reality, all meta-mathematics, was meaningless and of no importance to them.
Ironically, however, one can conceive the final statement of the Tractatus as a kind of incompleteness theorem: The final chapter shows the incessant descent of this brilliant thinker quite impressively, as I find.
Apart from the formal parts of the third chapter, this is a very easy to grasp and recommendable reading for all those who want to make themselves more familiar epistemology, history of science, meta-mathematics and logic. Jan 21, Szplug rated it really liked it. The more I think about language, the more it amazes me that people ever understand each other at all.
Goldstein quite clearly harbors a fondness and admiration for the eccentric logician, whom she once saw in person at a Princeton house party, and she does an excellent job of situating him within his time period, his academic milieu, his long tenure at the Princeton-adjunct Institute for Advanced Studies and, especially, in describing both his two Incompleteness Theorems—having first outlined his graduate student dissertation on Completeness—and explaining the immense impact they had upon the mathematical, scientific, and philosophic world once they had interpenetrated these disciplines of the mind.
That the latter proclaims first that in a formal mathematical system of assumed consistency there will exist a statement that is both true and unprovable; and second that said formal system’s consistency cannot be proved from within itself, is, as Goldstein argues, from the same mental territory that Wittgenstein drew from in his early thought.
Two brilliant Viennese, one a Platonist amidst a sea of Positivists, the other—well, a sui generis explorer on the roiling seas of language.
To finite man the infinite is an awesome, disturbing, and chaotic beast, forever mocking human aspirations and advances with its eternities and paradoxes and circularities. We have always been able to intuit it, yet without restraining it and fixing it into place, and the quiet genius showed that this cannot be effected. What implications does this bring to the existence of God, of a Platonic world of abstract ideals, of all that the mind can conjure but never empirically locate?
View all 10 comments. I can figure out everything for myself. The world is thoroughly logical and so is my mind—a perfect fit. It would explain much about the man he would become. But as is known to anyone who has given a popular mathematics lecture or written about a famous theorem for an audience of nonmathematicians, doing justice to the mathematics in question is almost impossible in those circumstances. Rebecca Goldstein, the MacArthur Foundation fellow and author of The Mind-Body Problem a novel which seems to be quite popular among mathematicians attempts an even more difficult task in her short new book Incompleteness: A vast amount of material is covered: Mar 20, Kyle York rated it it was amazing.
What a wonderful book. Goldstein not only lays out Godel’s famous theorems in relatively understandable terms for the layman an accomplishment in itself, but provides an original, funny, and lucid account of the intellectual atmosphere in which these theorems arose.
She discussed Godel’s relation to the Logical Positivists and Formalists, which sheds great light upon the meaning of his discoveries. She also dispels the postmodernists mythologies about what Godel’s theorems mean. In addition, s What a wonderful book. In addition, she outlines Godel’s relationship with Einstein, both intellectual and personal, which turns out to be rather significant.
Objective topics tye in this book range from the nature of mathematical reality, to the nature of time, to the nature of the mind. In addition to all this, she gives an account of Godel’s personal life and a picture of who he was as a person.
The picture that she paints is tragic, warm, and very eccentric. By the end of the book, I found myself as touched by these accounts of Godel’s life as by any novel. Goldstein was the perfect prood to write this paradoox because of her lucidity in regards to mathematical logic, science, and analytic philosophy, and because of her experience as a novelist and capacity for wit, humor, and sympathy for the human experience.
If you are like me and unfamiliar with but interested in Godel, you will never look at the world exactly the same way after reading this book. I highly recommend it.
Telling of the current cultural atmosphere, no? Kurt Oaradox fame was established by his proof of something called “the Incompleteness Theorem. Namely, that in closed systems, there will be true statements that cannot be proved.
Until Godel’s proof, many leading mathematicians assumed the opposite was true. This is a challenging subject to write about, but Goldstein makes it easily accessible to a casual reader of science and philosophy like me. Godel’s personal story is interesting. He was not a Jew, but had many colleagues who were. Yet, he failed to take a stance incompletemess the Nazis, instead choosing to proot his work even as Hitler’s policies forced the Universities of Germany and Austria to purge Jewish faculty members.
It is unclear how much he knew about worst atrocities perpetrated by the Nazis. Godel struggled with mental illness and, ultimately, it contributed to his death. In the meantime, I recommend the book highly and I ihcompleteness deeply impressed with Goldstein. I look forward to reading more of her stuff. You could call it a New Year resolution if you wanted to.