Abstract
In 1904, Jourdain (see Grattan-Guinness 1977 prologue) published two papers. The first, in January (1904), was titled “On the transfinite cardinal numbers of well-ordered aggregates”; the second, in March (1904a), was titled “On the transfinite cardinal numbers of number-classes in general”. The papers are remarkable because they matched Cantor’s theory of inconsistent sets and offered a general construction of Cantor’s scale of number-classes, both unpublished at the time (see Chap. 4).
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Jourdain usually translated Cantor’s term Menge as ‘aggregate’. For example in Cantor 1915. He made an exception in this paper and used ‘manifold’ for ‘consistent aggregates’ (see below). In this chapter, we will use both ‘aggregate’ and ‘set’, as well as ‘class’, interchangeably. ‘Manifold’ we will use when we wish to stress Jourdain’s terminology. We might also use ‘collection’ for inconsistent sets and ‘subset’ for Jourdain’s ‘part’. We will use ‘similar’ interchangeably with Cantor’s ‘equivalent’ and also with Russell’s ‘ordinally similar’ hoping that the context will clarify our intention.
- 2.
Grattan-Guinness did not bring Jourdain’s letter. From Cantor’s answer it seems that Jourdain sent him only the content of his 1904a, not that of 1904b.
- 3.
We agree with Moore (1982 p 51) that the communication to Hilbert is the letter of June 28, 1899, with the attachment to Schoenflies, and the communication to Dedekind is the one of August 3, 1899.
- 4.
Certain constructs in set theory did become unnecessary in view of AC. Jourdain raised such an argument against Bernstein’s concept of ‘multiple similarity’ (Jourdain 1907b p 363 footnote *).
- 5.
- 6.
‘Segment’ in the sense of an initial segment as in Cantor’s 1897 Beiträge §13, to which Jourdain refers.
- 7.
Though Jourdain speaks here of ‘cardinal numbers’ he means the alephs.
- 8.
- 9.
The final quote is first in the original.
- 10.
There he attributed this definition to several mathematicians, including Bernstein, Whitehead, Kőnig and Peano. Jourdain gave no references. We suggest the following: Bernstein 1905 p 127ff or Bernstein 1904 p 559, Whitehead 1902 p 380 *3.13 (it is the second *3.12 in the original), Peano 1906 p 360. With regard to Kőnig, probably J. Kőnig, we have not located a reference. Cf. Kuratowski-Mostowski 1968 p 185.
- 11.
Cf. Sect. 13.1 for Zermelo’s Theorem IV, which is a version of CBT using ≥. Note that using the Cantorian meaning of ≥ and Dedekind’s definition of ‘infinite’, the following formulation of CBT is trivial (Jourdain 1907b p 356): 𝔞≥𝔟 and 𝔞 ≤ 𝔟 entails 𝔞 = 𝔟, because under our assumptions, 𝔞 > 𝔟, 𝔟 > 𝔞, 𝔞 = 𝔟 are exclusive of each other (Mańka-Wojciechowska 1984 p 191).
- 12.
Russell was aware of the problem (Grattan-Guinness 1977 p 49).
- 13.
- 14.
𝔅 was apparently mentioned in Jourdain’s letter to Cantor for Cantor related to it. On 𝔅 cf. Jourdain 1905b.
- 15.
Jourdain references Schröder 1898 without giving a page number and we could not locate where Schröder’s view is expressed.
- 16.
In the same footnote Jourdain compares this procedure to transfinite induction, “ordinal induction” he calls it or “the conclusion from {ν} to ω”. He references Schoenflies 1900 (pp 45, 52, 60, 67) for examples where this procedure is used. Jourdain’s differentiation between cardinal and ordinal induction seems superficial.
- 17.
The counterexample against the general validity of the procedure applied is entirely superfluous, as it comes out of the next paragraphs.
- 18.
Incidentally, this was the month in which Whitehead’s 1902 paper was published, with an erroneous proof of CBT by Russell (see Chap. 15). We can speculate that Jourdain found the argument he mentioned when he tried to proof-process Russell’s CBT proof. Jourdain clearly studied Whitehead 1902 carefully because he attempted to prove two open problems stated in that paper (see the next section).
- 19.
In fact, the proof requires the natural numbers and properties of ℵ0 (not the type ω + 1).
- 20.
Prior to his 1908a paper Jourdain did communicate with Zermelo (see below).
- 21.
This result, for 𝔞 an aleph, follows from the Sum Lemma (see Sect. 2.2).
- 22.
Russell used the mentioned inequality in his proof of CBT (see Sect. 15.1).
- 23.
This result, for a an aleph, follows from the Union Lemma (see Sect. 2.2).
- 24.
Without loss of generality we can take 𝔟 = 𝔞 (1904a p 73).
- 25.
Jourdain explicitly referenced the pages mentioned here from Whitehead 1902.
- 26.
Similarly pointless observations, but intuitively necessary and naively satisfying, regarding the numbers in general number-classes, Jourdain brought in §3 of 1904b.
- 27.
Cantor too had not stressed that his proof of the Sequent Lemma, required CBT.
- 28.
- 29.
In terms borrowed from Lakatos’ theory of research programs (Lakatos 1978b) it may seem that the inconsistent sets emerged as a protective belt to Cantor’s naive set theory while the consistent sets belong to the core of the theory. However, Cantor embraced the inconsistent sets as an essential part of his theory, not as a protective maneuver.
References
Bernstein F. Bemerkung zur Mengenlehre, Göttingen Nachrichten. 1904;557–60.
Bernstein F. Untersuchungen aus der Mengenlehre. Mathematische Annalen. 1905;61:117–55.
Cantor G. Ein Beitrag zur Mannigfeltigkeitslehre, (‘1878 Beitrag’). Cantor 1932;119–33.
Cantor G. Beiträge zur Begründung der transfiniten Mengenlehre, (‘1895 Beiträge’). Cantor 1932;282–311. English translation: Cantor 1915.
Cantor G. Beiträge zur Begründung der transfiniten Mengenlehre, (‘1897 Beiträge’). Cantor 1932;312–56. English translation: Cantor 1915.
Ebbinghaus HD. Ernst Zermelo. An approach to his life and work. New York: Springer; 2007.
Ewald W. editor. From Kant to Hilbert: a source book in the foundations of mathematics. 2 vols. Oxford: Clarendon Press; 1996.
Fraenkel AA. Abstract set theory. 3rd ed. Amsterdam: North Holland; 1966.
Grattan-Guinness I. The correspondence between Georg Cantor and Philip Jourdain. Jahresbericht der Deutschen Mathematiker-Vereinigung. 1971a;73(Part 1):111–39.
Grattan-Guinness I. Dear Russell - dear Jourdain. A commentary on Russell’s logic, based on his correspondence with Philip Jourdain. New York: Columbia University Press; 1977.
Hardy GH. A theorem concerning the infinite cardinal numbers. The Quarterly Journal of Pure and Applied Mathematics. 1903;35:87–94.
Harward AE. On the transfinite numbers. Philosophical Magazine (6). 1905;10(58):439–60.
Hessenberg G. Grundbegriffe der Mengenlehre. Abhandlungen der Friesschen Schule. 1906;2(1):479–706. reprinted Göttingen, Vardenhoeck & Ruprecht 1906.
Jourdain PEB. On the transfinite cardinal numbers of well-ordered aggregates. Philosophical Magazine (6). 1904a;7(37):61–75.
Jourdain PEB. On the transfinite cardinal numbers of number-classes in general. Philosophical Magazine (6). 1904b;7(39):294–303.
Jourdain PEB. The definition of a series similarly ordered to the series of all ordinal numbers. Messenger of Mathematics. 1905b;35(2):56–8.
Jourdain PEB. On the comparison of aggregates. Quarterly Journal of Pure and Applied Mathematics. 1907b;38:352–67.
Jourdain PEB. The multiplication of alephs. Mathematische Annalen. 1908a;65:506–12.
Kuratowski K, Mostowski A. Set theory. Amsterdam: North Holland; 1968.
Lakatos I. What does a mathematical proof proves?, In: Worral J, Curry G, editors. Mathematics, science and epistemology, Cambridge University Press 1978a;61–9. Also in Tymoczko T editor. New directions in the philosophy of mathematics: an anthology, Birkhäuser 1986;153–62.
Levy A. Basic set theory, Dover Publications Inc 2002. Originally published by Springer in 1979.
Mańka R, Wojciechowska A. On two Cantorian theorems. Annals of the Polish Mathematical Society, Series II: Mathematical News. 1984;25:191–8.
Moore GH. The origins of Zermelo’s axiomatisation of set theory. J Philosophical Logic. 1978;7:307–29.
Moore GH. Zermelo’s axiom of choice: its origin, development and influence. Berlin: Springer; 1982.
Peano G, Super Theorema de Cantor-Bernstein, Rendiconti del Circulo Mathmatico di Palermo, 21:360–6. This printing is from May 1906. The paper was reprinted in Revista de Mathematica, 1906;8:136–57. The second printing is dated August 1906. The second printing contains an additional part titled “additione”.
Russell B. The collected papers of Bertrand Russell: foundations of logic, 1903–1905, vol 4, edited by Urquart A, London: Routledge; 1994.
Schoenflies A. Die Entwicklung der Lehre von den Punktmannigfeltigkeiten, I, Jahresbericht der Deutschen Mathematiker-Vereinigung 1900;8.
Schröder E. Über Zwei Defitionen der Endlichkeit und G. Cantorsche Sätze, Nova Acta. Abhandlungen der Kaiserlichen Leopold-Carolinschen deutchen Akademie der Naturfoscher. 1898;71:301–62.
Whitehead AN. On Cardinal Numbers. Am J Math. 1902;24:365–94.
Zermelo E. Beweiss dass jede Menge wholgeordnet werden kann, Mathematiche Annalen 1904;59:514–6. English translation: van Heijenoort 1967;139–41.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer Basel
About this chapter
Cite this chapter
Hinkis, A. (2013). Jourdain’s 1904 Generalization of Grundlagen . In: Proofs of the Cantor-Bernstein Theorem. Science Networks. Historical Studies, vol 45. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-0224-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0224-6_17
Published:
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-0223-9
Online ISBN: 978-3-0348-0224-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)