Publication:3764099
From MaRDI portal
zbMath0628.01022MaRDI QIDQ3764099
Publication date: 1987
00A30: Philosophy of mathematics
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
Related Items
HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS, On the Philosophical Development of Kurt Gödel, In Memoriam: Hao Wang 1921–1995, THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF, THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME, What is the Church-Turing Thesis?, Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting, Gödel and Intuitionism, RUSSELL AND GÖDEL, ‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945, Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach, Gödel on Tarski, The objectivity of mathematics, Gödel's philosophical program and Husserl's phenomenology, Turing oracle machines, online computing, and three displacements in computability theory, To and from philosophy-discussions with Gödel and Wittgenstein, The logic of instance ontology, Book review of: K. Gödel, Collected works. Vol. IV: Correspondence, A--G; Collected works. Vol. V: Correspondence, H--Z, On causality as the fundamental concept of Gödel's philosophy, In search of relativistic time, Strong axioms of infinity in NFU, Gödel’s Cantorianism, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988, Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961)