After Gödel
Title | After Gödel PDF eBook |
Author | Richard L. Tieszen |
Publisher | Oxford University Press |
Total Pages | 258 |
Release | 2011-05-05 |
Genre | Mathematics |
ISBN | 019960620X |
Richard Tieszen analyzes, develops, and defends the writings of Kurt Gödel (1906-1978) on the philosophy and foundations of mathematics and logic. Gödel's relation to the work of Plato, Leibniz, Husserl, and Kant is examined, and a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is proposed.
After Gödel
Title | After Gödel PDF eBook |
Author | Richard Tieszen |
Publisher | OUP Oxford |
Total Pages | 272 |
Release | 2011-05-05 |
Genre | Philosophy |
ISBN | 0191619310 |
Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Gödel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Gödel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Gödel's texts on foundations with materials from Gödel's Nachlass and from Hao Wang's discussions with Gödel. As well as providing discussions of Gödel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Gödel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.
From Frege to Gödel
Title | From Frege to Gödel PDF eBook |
Author | Jean van Heijenoort |
Publisher | Harvard University Press |
Total Pages | 684 |
Release | 1967 |
Genre | Mathematics |
ISBN | 9780674324497 |
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege’s Begriffsschrift—which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory—begins the volume, which concludes with papers by Herbrand and by Gödel.
Godel
Title | Godel PDF eBook |
Author | John L. Casti |
Publisher | |
Total Pages | 222 |
Release | 2009-04-21 |
Genre | Science |
ISBN | 0786747609 |
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.
Incompleteness
Title | Incompleteness PDF eBook |
Author | Rebecca Goldstein |
Publisher | W. W. Norton & Company |
Total Pages | 299 |
Release | 2006-01-31 |
Genre | Biography & Autobiography |
ISBN | 0393327604 |
"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Title | On Formally Undecidable Propositions of Principia Mathematica and Related Systems PDF eBook |
Author | Kurt Gödel |
Publisher | Courier Corporation |
Total Pages | 82 |
Release | 2012-05-24 |
Genre | Mathematics |
ISBN | 0486158403 |
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
Kurt Gödel
Title | Kurt Gödel PDF eBook |
Author | William D. Brewer |
Publisher | Springer Nature |
Total Pages | 502 |
Release | 2022-09-08 |
Genre | Mathematics |
ISBN | 3031113098 |
During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then for his Habilitation (Dr.Sci.), he wrote earthshaking articles on the completeness and provability of mathematical-logical systems, upsetting the hypotheses of the most famous mathematicians/philosophers of the time. He later delved into theoretical physics, finding a unique solution to Einstein’s equations for gravity, the ‘Gödel Universe’, and made contributions to philosophy, the guiding theme of his life. This book includes more details about the context of Gödel’s life than are found in earlier biographies, while avoiding an elaborate treatment of his mathematical/scientific/philosophical works, which have been described in great detail in other books. In this way, it makes him and his times more accessible to general readers, and will allow them to appreciate the lasting effects of Gödel’s contributions (the latter in a more up-to-date context than in previous biographies, many of which were written 15–25 years ago). His work spans or is relevant to a wide spectrum of intellectual endeavor, and this is emphasized in the book, with recent examples. This biography also examines possible sources of his unusual personality, which combined mathematical genius with an almost childlike naiveté concerning everyday life, and striking scientific innovations with timidity and hesitancy in practical matters. How he nevertheless had a long and successful career, inspiring many younger scholars along the way, with the help of his loyal wife Adele and some of his friends, is a fascinating story in human nature.