Zermelo and the Heidelberg Congress 1904

View metadata, citation and similar papers at core.ac.uk brought to you by CORE

provided by Elsevier - Publisher Connector

Historia Mathematica 34 (2007) 428–432 www.elsevier.com/locate/yhmat Note Zermelo and the Heidelberg Congress 1904

Heinz-Dieter Ebbinghaus

Abteilung für mathematische Logik, Universität Freiburg, Eckerstraße 1, 79104 Freiburg, Germany Available online 6 December 2006

Abstract At the Third International Congress of Mathematicians Julius König gave a ﬂawed refutation of Cantor’s continuum hypothesis and the well-ordering theorem. A newly discovered postcard of Zermelo to Max Dehn supports the view that Zermelo quickly detected the gap in König’s argument. This is in contrast to more recent views that attribute this role exclusively to Hausdorff. © 2006 Elsevier Inc. All rights reserved. Zusammenfassung Auf dem Dritten Internationalen Mathematiker-Kongreß gab Julius König eine falsche Widerlegung der Cantorschen Konti- nuumshypothese und des Wohlordnungssatzes. Eine kürzlich entdeckte Postkarte Zermelos an Max Dehn legt nahe, daß Zermelo den Fehler Königs schnell bemerkt hat. Sie steht im Kontrast zu neueren Auffassungen, die allein Hausdorff diese Entdeckung zuschreiben. © 2006 Elsevier Inc. All rights reserved.

MSC: 01A60; 03E04; 03E10

Keywords: Continuum hypothesis; Well-ordering theorem; Zermelo

During the Third International Congress of Mathematicians in Heidelberg from 8 to 13 August 1904, Julius König delivered a lecture, “Zum Kontinuum-Problem,”1 wherein he claimed to have proved that the cardinality of the continuum was not an aleph. He thus claimed to have disproved both Cantor’s continuum hypothesis and the well-ordering theorem. At the beginning of his talk König had shown that for a cardinal ℵγ that is the supremum of a countable set of ℵ0 smaller cardinals, i.e., for a cardinal ℵγ of coﬁnality ω, the cardinal ℵγ is bigger than ℵγ . Assuming that the power ℵ 2 0 of the continuum is an aleph, say ℵβ , taking as ℵγ the cardinal ℵβ+ω, and using the result

ℵ ℵ ℵ 0 =ℵ · 0 ∗ α α 2 for every ordinal α ( )

ℵ ℵ ℵ 0 =ℵ ·ℵ ℵ 0 =ℵ from Felix Bernstein’s Ph.D. thesis [Bernstein, 1901], he obtained β+ω β+ω β and, hence, β+ω β+ω, an equation contradicting his inequality.2

E-mail address: [email protected]. 1 Published in revised form as [König, 1905a]and[König, 1905b]. 2 For König’s formulation of his result and a description of his proof see [Moore, 1982, 86–88].

According to Gerhard Kowalewski [1950, 202],

it fortunately turned out already on the next day that König’s proof could not be maintained. It depended on a theorem of Felix Bernstein which proved to be wrong when scrutinized more closely. Zermelo, an extremely astute and quick-witted thinker, made this important statement.3

One might conclude from Kowalewski’s report that it was Zermelo who spotted the place where König’s proof breaks down: Bernstein’s argument for (∗) does not work for cardinals of coﬁnality ω. As a matter of fact, the picture in the literature mirrors this interpretation.4 Recently, however, doubts have been raised about Kowalewski’s report. As argued by Ivor Grattan-Guinness [2000, 334] and Walter Purkert [2002, 9–12], it was Felix Hausdorff who discovered the gap some time after the congress, the following passage in Hausdorff’s letter to Hilbert from 29 September 19045 giving evidence of this6:

After the continuum problem had tormented me at Wengen7 nearly like a monomania, my ﬁrst glance here of course turned to Bernstein’s dissertation. The worm is sitting at just the place I expected, on p. 50: [ ...]Bernstein’sconsiderationgives a recursion from ℵα+1 to ℵα, but it fails for such ℵα which do not have a predecessor, hence exactly for those alephs which Mr J. König necessarily needs. I had written in this sense to Mr König already while on my way, as far as I could do so without Bernstein’s work, but have received no answer.8

Further support is given by Arthur Schoenﬂies [1922, 101–102]. Grattan-Guinness concludes [2000, 334] that Kowalewski “wrongly credits Zermelo” and Purkert states [2002, 10]:

The assertion that the mistake was discovered already on the next day and that it was E. ZERMELO who discovered it, is wrong. KOWALEWSKI did not attend the congress; he does not give a source for his account. It would not be, therefore, worthwhile mentioning his report in the present introduction, had it not entered the literature on the history of set theory and thus contributed to shape the historical picture for decades.9

On 27 October 1904 Zermelo wrote a postcard to Max Dehn,10 shown in Fig. 1 from which one can conclude that Kowalewski’s version may nevertheless be true in the sense that Zermelo also spotted the error shortly after König’s talk, but—like Hausdorff—could verify it deﬁnitely only after checking Bernstein’s Ph.D. thesis, which was not at hand in Heidelberg. Moreover, the card provides evidence that König himself detected the error shortly after the

3 Glücklicherweise stellte sich schon am nächsten Tag heraus, daß Königs Beweisführung unhaltbar war. Sie stützte sich auf ein Theorem von Felix Bernstein, das sich bei näherer Prüfung als falsch erwies. Zermelo, ein äußerst scharfsinniger und rasch arbeitender Denker, machte diese wichtige Feststellung. 4 Cf. [Purkert, 2002, 10 (footnote 50)]. 5 Staats- und Universitätsbibliothek Göttingen, Cod. Ms. D. Hilbert 136; reprinted in [Purkert, 2002, 11–12]; partial English translation in [Moore, 1989, 108–109]. 6 See also [Hausdorff, 1904, 571]. 7 A resort in the Swiss Alps where some of the participants of König’s Heidelberg talk, among them Cantor, Hausdorff, Hilbert, and Schoenﬂies, met after the congress. 8 Nachdem das Continuumproblem mich in Wengen beinahe wie eine Monomanie geplagt hatte, galt hier mein erster Blick natürlich der Bern- steinschen Dissertation.DerWurmsitzt genauandervermutheten StelleS.50: [...] Bernsteins BetrachtunggiebteineRecursionvon ℵμ+1 auf ℵμ, versagt aber für solche ℵμ, die keinen Vorgänger haben, also gerade für die Alephs, für die Herr J. König sie nothwendig braucht. Ich hatte in diesem Sinn, soweit ich es ohne Benutzung der Bernsteinschen Arbeit konnte, schon von unterwegs an Herrn König geschrieben, aber keine Antwort erhalten. 9 Die Behauptung, daß der Fehler schon am Tag darauf entdeckt wurde und daß E. ZERMELO es war, der ihn entdeckte, ist falsch. KOWALEWSKI nahm am Kongress gar nicht teil; eine Quelle für seine Schilderung nennt er nicht. Sein Bericht wäre deshalb in dieser Einführung der Erwähnung gar nicht wert, wenn er nicht in die Literatur zur Geschichte der Mengenlehre eingegangen wäre und so seit Jahrzehnten das historische Bild mit bestimmt hätte. 10 Center For American History, The University of Texas at Austin, Max Dehn Papers 3.2/86-4/Box 1. 430 H.-D. Ebbinghaus / Historia Mathematica 34 (2007) 428–432

Fig. 1. H.-D. Ebbinghaus / Historia Mathematica 34 (2007) 428–432 431 congress. At the beginning and in the end Zermelo gives a vivid impression of the first reactions against his well- ordering proof [Zermelo, 1904], which he had finished on 24 September.11 We provide an English translation and the original German version of Zermelo’s card at full length. Dear D! Many thanks for [your] friendly agreement. I also received the same day-before-yesterday from the “younger Berlin school,” i.e. from Landau and Schur in fact. But if you only knew how I am bombarded in the meantime by letter with objections from the experts of set theory, from Bernstein, Schoenflies, and König! Some fine polemic will still unfold in the Annalen; but I am not worried about that. So you still do not know the fate of König’s talk? Innocent soul! Nothing else was really discussed during the entire vacation. K[önig] solemnly informed both Hilbert and me that he revoked the Heidelberg proof. B[ernstein] did the same with his theorem on powers. K[önig] can be happy that the library in Heidelberg had closed so early; otherwise he might have made a fool of himself. Thus I had to wait for checking until my return to G[öttingen]. Then it was instantly obvious. In the meantime, however, K[önig] himself had found that out when elaborating his proof. So please, try to apply the Ph.D. thesis p. 50(?) [a short unreadable word] to the case s = m1 + m2 +··· treated by K[önig]. You will see the mistake at once which is the only result K[önig] uses. Blument[h]al says that this is a real “Bernstein ruin.” But K[önig] wants to save what can be saved and fantasizes about the set W of all order types which could be contained in many a set so that my Lγ = W and then my conclusion Lγ = M would be wrong. Strangely enough, he is backed up in this matter by Bernstein and Schoenflies, by the latter of course in quite a confused and misunderstood manner. The W -believers already deny the def[inition] of subset, perhaps even the principle of the excluded middle. With cordial greetings Yours E. Zermelo. Lieber D! Besten Dank für freundliche Zustimmung! Eine solche erhielt ich auch vorgestern von der “jüngeren Berliner Schule”, d. h. also wohl von Landau u. Schur. Wenn Du aber wüsstest, wie ich von den Spezialisten der Mengenlehre, von Bernstein, Schoenflies u. König mit Einwänden, vorläufig brieflich, bombardirt werde! Da wird sich noch eine hübsche Polemik in den Annalen entwickeln; aber ich fürchte sie nicht. Von dem Schicksal des König’schen Vortrages weisst Du also noch nichts? Harmloses Gemüt! Die ganzen Ferien war eigentlich von nichts anderem die Rede. Sowohl Hilbert als mir gegenüber hat K. seinen damaligen Beweis feierlich revozirt, ebenso auch B. seinen Potenzen-Satz. K. kann sich gratuliren, dass in Heidelberg die Bibliothek so früh geschlossen wurde; er hätte sich sonst ev. noch in persona blamirt. So musste ich erst meine Heimkehr nach G. abwarten, um nachzusehen, wo es dann sofort offenbar war; doch hatte das K. mit[t]lerweile bei der Ausarbeitung schon selbst gefunden. Versuche also, bitte, die Dissertation S. 50(?) [a short unreadable word] auf den von K. behandelten Fall s = m1 + m2 +··· anzuwenden, um den Fehler, der allein von K. benutzt wird, sofort zu sehen. Also eine richtige “Ruine Bernstein”, sagt Blument[h]al. Aber K. möchte noch retten, was zu retten ist, und phantasirt von der Menge W aller Ordnungstypen, die in mancher Menge enthalten sein könne, sodass mein Lγ = W und dann meine Folgerung Lγ = M unrichtig wäre. Sekundirt wird er darin merkwürdigerweise von Bernstein u. Schoenflies, von letzterem freilich ganz verworren u. missverständlich. Die W -Gläubigen leugnen bereits die Def. der Teilmenge u. womöglich noch den Satz vom Widerspruch! Mit herzl. Gruss Dein E. Zermelo.

References

Bernstein, F., 1901. Untersuchungen aus der Mengenlehre. Ph.D. Thesis Göttingen. Halle a.S. Grattan-Guinness, I., 2000. The Search for Mathematical Roots, 1870–1940. Logic, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel. Princeton University Press, Princeton, NJ/Oxford. Hausdorff, F., 1904. Der Potenzbegriff der Mengenlehre. Jahresbericht der Deutschen Mathematiker-Vereinigung 13, 569–571. van Heijenoort, J., 1967. From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, Cambridge, MA.

11 The phrase “König wants to save what can be saved” near the end of the letter may also be seen in respect to [König, 1905c], where König tries to prove along the lines of Richard’s paradox that the set of real numbers cannot be well-ordered. For a discussion of this paper and its successor [König, 1907], cf. [Moore, 1982, 119–120]; cf. also [Grattan-Guinness, 2000, 334–335]. 432 H.-D. Ebbinghaus / Historia Mathematica 34 (2007) 428–432

König, J., 1905a. Zum Kontinuum-Problem. In: Krazer, A. (Ed.), Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8 bis 13 August 1904. Teubner Verlag, Leipzig, pp. 144–147. König, J., 1905b. Zum Kontinuum-Problem. Mathematische Annalen 60, 177–180. König, J., 1905c. Über die Grundlagen der Mengenlehre und das Kontinuumproblem. Mathematische Annalen 61, 156–160. English translation in [Heijenoort, 1967, 145–149]. König, J., 1907. Über die Grundlagen der Mengenlehre und das Kontinuumproblem (Zweite Mitteilung). Mathema- tische Annalen 63, 217–221. Kowalewski, G., 1950. Bestand und Wandel. Meine Lebenserinnerungen. Zugleich ein Beitrag zur neueren Geschichte der Mathematik. Oldenbourg, München. Moore, G.H., 1982. Zermelo’s Axiom of Choice. Its Origins, Development, and Inﬂuence. Springer-Verlag, New York. Moore, G.H., 1989. Towards a history of Cantor’s continuum problem. In: Rowe, D.E., McCleary, J. (Eds.), The History of Modern Mathematics, vol. I: Ideas and Their Reception. Academic Press, Boston, pp. 79–121. Purkert, W., 2002. Grundzüge der Mengenlehre – Historische Einführung. In: Brieskorn, E., et al. (Eds.), Hausdorff, F., Gesammelte Werke, vol. II: Grundzüge der Mengenlehre. Springer-Verlag, Berlin, pp. 1–89. Schoenﬂies, A., 1922. Zur Erinnerung an Georg Cantor. Jahresbericht der Deutschen Mathematiker-Vereinigung 31, 97–106. Zermelo, E., 1904. Beweis, daß jede Menge wohlgeordnet werden kann. Mathematische Annalen 59, 514–516. Eng- lish translation in [Heijenoort, 1967, 139–141].