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
On the Philosophical Development of Kurt Gödel, In Memoriam: Hao Wang 1921–1995, Gödel and Intuitionism, 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, In search of relativistic time, Strong axioms of infinity in NFU, Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988, Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961)