In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem

DOI10.1016/0315-0860(79)90127-7zbMath0416.01008OpenAlexW2026045585MaRDI QIDQ754168

Ivor Grattan-Guinness

Publication date: 1979

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

Full work available at URL: https://doi.org/10.1016/0315-0860(79)90127-7

zbMATH Keywords

correspondence with Zermeloincompletability theoremMemoriam Kurt Gödel

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72)

Related Items (12)

Gödel on Tarski ⋮ Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem ⋮ Zermelo in the mirror of the Baer correspondence, 1930--1931. ⋮ Sixty years after Gödel ⋮ Discussion on the foundation of mathematics ⋮ 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 ⋮ Completing the Gödel-Zermelo correspondence ⋮ Kurt Gödel in sharper focus ⋮ Zermelo and the Skolem Paradox ⋮ Mathematical knowledge and the problem of proof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem