Completing the Gödel-Zermelo correspondence

DOI10.1016/0315-0860(85)90070-9MaRDI QIDQ802533zbMATH OpenOpenAlexFDO

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

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)

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

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
• scientific article; zbMATH DE number 922626 (Why is no real title available?)
• 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)