scientific article; zbMATH DE number 785421

MaRDI QIDQ4842677zbMATH OpenFDO

Authors John W. jun. Dawson

Publication date 15 August 1995

zbMATH Keywords

Gödellifework

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 2203238
• Kurt Gödel. The genius of metamathematics
• scientific article; zbMATH DE number 527283
• scientific article; zbMATH DE number 4085596
• scientific article; zbMATH DE number 4021069

Cited in

(50)

• Gödel's Vienna
• Turing oracle machines, online computing, and three displacements in computability theory
• Zermelo in the mirror of the Baer correspondence, 1930--1931.
• Editor's note: ``On the three-dimensional spaces which admit a continuous group of motions by Luigi Bianchi. With biography
• Gödel's natural deduction
• Reflection principles, generic large cardinals, and the continuum problem
• Kurt Gödel. The genius of metamathematics
• Is complexity a source of incompleteness?
• Gödel on deduction
• Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
• Gödel's cantorianism
• scientific article; zbMATH DE number 3849180 (Why is no real title available?)
• The Gödel Editorial Project: A Synopsis
• Future Tasks for Gödel Scholars
• On Gödel's Way In: The Influence of Rudolf Carnap
• scientific article; zbMATH DE number 5360298 (Why is no real title available?)
• Bernays and Set Theory
• Gödel's Introduction to Logic in 1939
• scientific article; zbMATH DE number 5545566 (Why is no real title available?)
• scientific article; zbMATH DE number 4006207 (Why is no real title available?)
• The mentor of Alan Turing: Max Newman (1897--1984) as a logician
• scientific article; zbMATH DE number 527283 (Why is no real title available?)
• scientific article; zbMATH DE number 733729 (Why is no real title available?)
• Zermelo and the Skolem Paradox
• A personal account of Turing's imprint on the development of computer science
• Zermelo and Set Theory
• scientific article; zbMATH DE number 2176167 (Why is no real title available?)
• scientific article; zbMATH DE number 3997740 (Why is no real title available?)
• scientific article; zbMATH DE number 1865682 (Why is no real title available?)
• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Journey to the edge of reason. The life of Kurt Gödel
• Kurt Gödel on logical, theological, and physical antinomies
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• Gödel's Notre Dame course
• Russell and Gödel
• Kurt Gödel. The Album. With a preface by Hans Magnus Enzensberger
• scientific article; zbMATH DE number 2203238 (Why is no real title available?)
• In praise of replacement
• Gödel and Set Theory
• Zermelo and Set Theory
• Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth
• Gödel on Tarski
• John von Neumann’s Discovery of the 2^ndIncompleteness Theorem
• Gödel, Gentzen, and Constructive Consistency Proofs
• Gödel's First Proof of the Consistency of the Axiom of Choice
• Does reason have limits? Review Essay: Stephen Budiansky, Journey to the edge of reason: the life of Kurt Gödel
• Gödel's introduction to deduction
• Truth in Russell, early Wittgenstein and Gödel
• On mind \& Turing's machines
• Gödel's philosophical program and Husserl's phenomenology

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842677)