After Godel e-bog
317,82 DKK
(inkl. moms 397,28 DKK)
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 G...
E-bog
317,82 DKK
Forlag
OUP Oxford
Udgivet
5 maj 2011
Genrer
HPJ
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9780191619311
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'sdiscussions with Gdel. As well as providing discussions of Gdel'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 Gdel's critique of Hilbert and Carnap, and of hissubsequent 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 ofpragmatic holism and rationalism.