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