scientific article; zbMATH DE number 785421
From MaRDI portal
Publication:4842677
zbMath0866.03003MaRDI QIDQ4842677
Publication date: 15 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)
Related Items (31)
GÖDEL’S NOTRE DAME COURSE ⋮ RUSSELL AND GÖDEL ⋮ THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME ⋮ Gödel on deduction ⋮ Is complexity a source of incompleteness? ⋮ Gödel on Tarski ⋮ The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ On mind \& Turing's machines ⋮ Zermelo and Set Theory ⋮ Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth ⋮ Zermelo in the mirror of the Baer correspondence, 1930--1931. ⋮ A personal account of Turing's imprint on the development of computer science ⋮ In Praise of Replacement ⋮ Gödel’s Cantorianism ⋮ Gödel's natural deduction ⋮ Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems ⋮ Gödel and Set Theory ⋮ Zermelo and Set Theory ⋮ Gödel's philosophical program and Husserl's phenomenology ⋮ Gödel's Vienna ⋮ Bernays and Set Theory ⋮ Gödel's Introduction to Logic in 1939 ⋮ The Gödel Editorial Project: A Synopsis ⋮ Future Tasks for Gödel Scholars ⋮ On Gödel's Way In: The Influence of Rudolf Carnap ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION ⋮ Turing oracle machines, online computing, and three displacements in computability theory ⋮ Reflection principles, generic large cardinals, and the continuum problem ⋮ KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES ⋮ Zermelo and the Skolem Paradox ⋮ Editor's note: ``On the three-dimensional spaces which admit a continuous group of motions by Luigi Bianchi. With biography
This page was built for publication:
