Godel: A Life Of Logic, The Mind, And MathematicsBasic Books, 04.10.2000 - 210 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. 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 popular biography of this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. After describing his childhood in the Moravian capital of Brno, the authors trace the arc of Gödel's remarkable career, from the famed Vienna Circle, where philosophers and scientists debated notions of truth, to the Institute for Advanced Study in Princeton, New Jersey, where he lived and worked until his death in 1978. In the process, they shed light on Gödel's contributions to mathematics, philosophy, computer science, artificial intelligence--even cosmology--in an entertaining and accessible way. |
Andere Ausgaben - Alle anzeigen
Godel: A Life Of Logic, The Mind, And Mathematics John L. Casti,Werner DePauli,L Casti Eingeschränkte Leseprobe - 2009 |
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 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 shortest 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

