Completing the Gödel-Zermelo correspondence
type: Item
instance of: scholarly article
title: Completing the Gödel-Zermelo correspondence
zbMATH Open document ID: 0559.01007
DOI: 10.1016/0315-0860(85)90070-9
author: John W. jun. Dawson
published in: Historia Mathematica
publication date: 1985-01-01T00:00:00Z
review text: In this note the author welcomely completes my paper [ibid. 6, 294-304 (1979; Zbl 0416.01008)], which contained an exchange of letters between Gödel and Zermelo over the former's new incompletability theorem, by presenting the text of Zermelo's initiating letter, not available to me when my paper was prepared. The letter is presented in facsimile and in German translation. In it Zermelo stated his dislike of the 'finitistic prejudice' in logic, which he was then trying to break with a discussion of infinitely long proofs. However, his ideas, while published at the time, were only vaguely developed, and the prejudice was to remain dominant until after the War, when in fact Zermelo's pioneering efforts were not well remembered.
reviewed by: J. Goncerzewicz
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03-03
zbMATH DE Number: 3891300
zbMATH Keywords: incompletability theorem
zbMATH Keywords: finitistic prejudice
MaRDI profile type: Publication
full work available at URL: 0315-0860(85)90070-9
OpenAlex ID: W2073865413
cites work: In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
cites work: Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
description: scientific article; zbMATH DE number 3891300