Godel: A Life Of Logic, The Mind, And MathematicsBasic Books, 21.04.2009 - 224 Seiten Kurt 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. |
Inhalt
the Logic of Incompleteness | 121 |
Time and Time Again | 151 |
The Complexity of Complexity | 165 |
Window on the Soul | 193 |
201 | |
Andere Ausgaben - Alle anzeigen
Godel: A Life Of Logic, The Mind, And Mathematics John L. Casti,Werner DePauli Keine Leseprobe verfügbar - 2001 |
Häufige Begriffe und Wortgruppen
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 Gödel numbering Gödel's result Gödel's Theorem gram Halting Problem Hans Hahn Hilbert's Program human mind idea infinite input Institute integers intellectual intelligence intuitive John von Neumann Karl Menger kind Kurt Gödel language logical logician look mathe mathematical objects mathematician matical means ment Morgenstern natural numbers notion observations Paradox philosophical physical position possible prime numbers Princeton procedure proof propositions provable prove question random real numbers recipe Rudolf rules Sachertorte sequence solution spacetime step string strong AI symbols tape theory time-like tion true statements Turing machine Turing test Turing's uncomputable University of Vienna variables Vienna Circle Wittgenstein words
Verweise auf dieses Buch
From Complexity to Life: On The Emergence of Life and Meaning Niels Henrik Gregersen Eingeschränkte Leseprobe - 2002 |
112 Mercer Street: Einstein, Russell, Gödel, Pauli, and the End of Innocence ... Burton Feldman Eingeschränkte Leseprobe - 2007 |