Andere Kunden interessierten sich auch für
![Logic at the Crossroads (Set): Proof, Computation and Agency Games, Norms and Reasons]( "Logic at the Crossroads (Set): Proof, Computation and Agency Games, Norms and Reasons")
Logic at the Crossroads (Set): Proof, Computation and Agency Games, Norms and Reasons303,99 €![A Course in Mathematical Logic for Mathematicians]( "A Course in Mathematical Logic for Mathematicians")
A Course in Mathematical Logic for Mathematicians44,99 €![A Course in Mathematical Logic for Mathematicians]( "A Course in Mathematical Logic for Mathematicians")
A Course in Mathematical Logic for Mathematicians44,99 €![Analysis and Synthesis of Logics]( "Analysis and Synthesis of Logics")
Analysis and Synthesis of Logics180,99 €![Analysis and Synthesis of Logics]( "Analysis and Synthesis of Logics")
Analysis and Synthesis of Logics115,99 €![Godel's Proof]( "Godel's Proof")
Godel's Proof58,99 €![Ways of Proof Theory]( "Ways of Proof Theory")
Ways of Proof Theory148,99 €
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'sdiscussions 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 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 howconstituted 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.