Completing the Gödel-Zermelo correspondence

DOI10.1016/0315-0860(85)90070-9zbMath0559.01007OpenAlexW2073865413MaRDI QIDQ802533

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)

Related Items (8)

Gödel on Tarski ⋮ Zermelo in the mirror of the Baer correspondence, 1930--1931. ⋮ Sixty years after Gödel ⋮ 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: definiteness and the universe of definable sets ⋮ Kurt Gödel in sharper focus ⋮ Zermelo and the Skolem Paradox

Cites Work

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

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