After Godel

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Godel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagemen [...]
Visa längre beskrivning

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Godel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Godel's texts on foundations with materials from Godel's Nachlass and from Hao Wang's discussions with Godel. As well as providing discussions of Godel'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 Godel'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 sho