Completing the Gödel-Zermelo correspondence

DOI10.1016/0315-0860(85)90070-9zbMATH Open0559.01007OpenAlexW2073865413MaRDI QIDQ802533FDOQ802533

Authors: John W. jun. Dawson 

Publication date: 1985

Published in: Historia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0315-0860(85)90070-9

Recommendations

• Zermelo in the mirror of the Baer correspondence, 1930--1931.
• scientific article; zbMATH DE number 1788465
• Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
• Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
• scientific article; zbMATH DE number 1855559

zbMATH Keywords

incompletability theoremfinitistic prejudice

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Cites Work

• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem

Cited In (10)

• Zermelo: definiteness and the universe of definable sets
• Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
• ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen
• Zermelo in the mirror of the Baer correspondence, 1930--1931.
• Only Two Letters: The Correspondence between Herbrand and Gödel
• Title not available (Why is that?)
• Gödel on Tarski
• Sixty years after Gödel
• Zermelo and the Skolem Paradox
• Kurt Gödel in sharper focus

This page was built for publication: Completing the Gödel-Zermelo correspondence

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