The following pages link to (Q4842677):
Displaying 31 items.
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician (Q384416) (← links)
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- Gödel on Tarski (Q598320) (← links)
- On mind \& Turing's machines (Q885688) (← links)
- Gödel's philosophical program and Husserl's phenomenology (Q987482) (← links)
- Gödel's Vienna (Q1000877) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Zermelo in the mirror of the Baer correspondence, 1930--1931. (Q1427539) (← links)
- Editor's note: ``On the three-dimensional spaces which admit a continuous group of motions'' by Luigi Bianchi. With biography (Q1611348) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- Reflection principles, generic large cardinals, and the continuum problem (Q2097055) (← links)
- Is complexity a source of incompleteness? (Q2386137) (← links)
- Gödel on deduction (Q2631643) (← links)
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems (Q2757974) (← links)
- Gödel’s Cantorianism (Q3305413) (← links)
- The Gödel Editorial Project: A Synopsis (Q3370617) (← links)
- Future Tasks for Gödel Scholars (Q3370618) (← links)
- On Gödel's Way In: The Influence of Rudolf Carnap (Q3370620) (← links)
- Bernays and Set Theory (Q3616429) (← links)
- Gödel's Introduction to Logic in 1939 (Q3618450) (← links)
- Zermelo and the Skolem Paradox (Q4508278) (← links)
- Zermelo and Set Theory (Q4678931) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES (Q5019782) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- GÖDEL’S NOTRE DAME COURSE (Q5283448) (← links)
- RUSSELL AND GÖDEL (Q5283450) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Gödel and Set Theory (Q5421029) (← links)
- Zermelo and Set Theory (Q5717235) (← links)
- Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth (Q5891339) (← links)
