## Godel: A Life Of Logic, The Mind, And MathematicsKurt Gödel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Shattering hopes that logic would, in the end, allow us a complete understanding of the universe, Gödel's theorem also raised many provocative questions: What are the limits of rational thought? Can we ever fully understand the machines we build? Or the inner workings of our own minds? How should mathematicians proceed in the absence of complete certainty about their results? Equally legendary were Gödel's eccentricities, his close friendship with Albert Einstein, and his paranoid fear of germs that eventually led to his death from self-starvation. Now, in the first book for a general audience on this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. |

### What people are saying - Write a review

#### LibraryThing Review

User Review - kevinashley - LibraryThingIt took me a long time to get through this and I think the effort was worth it, but the style was heavy going on many occasions. This is alluded to in the introduction, which suggests that the ... Read full review

#### GdÌ²el: a life of logic

User Review - Not Available - Book VerdictThese authors, both respected academics, hope that "by the time the reader gets to the end of this book, he or she will know why" Kurt G del (1906-78) is one of the greatest mathematicians of the 20th ... Read full review

### Other editions - View all

### Common terms and phrases

abstract actually Adele algorithm anti-AI argument arithmetic axioms basic brain Brno Busy Beaver called Chaitin's Theorem chocolate cake cognitive science complexity computer program cone consistent Decision Problem digits Diophantine equation Einstein ematical Epimenides Paradox example exist fact finite number formal system geometry given Godel numbering Godel's result Godel's Theorem gram Halting Problem Hilbert's Program human mind idea infinite input Institute integers intellectual intelligence intuitive John von Neumann Karl Menger kind Kurt Godel language logical logician look mathe mathematical objects mathematician matical means ment Morgenstern natural numbers notion observations Paradox pattern philosophical physical position possible prime numbers Princeton procedure proof propositions provable prove question random real numbers real-world recipe Rudolf rules Sachertorte sequence shortest solution spacetime step string strong AI symbols tape theory tion true statements Turing machine Turing test Turing's uncomputable University of Vienna variables Vienna Circle Wittgenstein words