Abstract
Cantor’s first paper on general set theory was his 1878 Beitrag. More precisely, general set theory is dealt with in the first two pages of the paper; the rest of the paper, which consists of 13 pages (no division is explicit in the text) deals with the equivalence of the unit segment and n-dimensional space.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Our translation uses common rather than literal terms (e.g., ‘set’ not ‘manifold’).
- 2.
Hallett translated ‘middle’. Brower later implicitly attacked this definition (see Sect. 38.1).
- 3.
Cantor is not saying here that the continuum is equivalent to the second number-class as Parpart (1976 p 51) implies.
- 4.
P. Tannery (1884) noted that to establish the continuum hypothesis it is required to prove that the continuum does not contain a subset of greater power. Cantor must have been aware to this point.
- 5.
- 6.
Cf. Kuratowski-Mostowski 1968 p 188.
- 7.
It is possible that an earlier draft of 1878 Beitrag was more specific regarding CBT and what we see as hints, are traces of the older version.
- 8.
For the familiar mapping of the line onto the unit segment see Fraenkel 1966 p 49.
- 9.
In Dedekind’s letter of July 2, 1877 (Cavailles 1962 p 215, Ewald 1996 vol 2 p 863), Dedekind notes that Cantor’s mapping in the first proof is continuous!
- 10.
A direct proof that the set of all real functions has power greater than the power of R is easy to obtain. Assume that there is a mapping from R to the set of all real functions and let f x be the function corresponding to x. Let A be the set of numbers such that f x (x) = 0. Let g be the real function that assigns to every member of A the value 1 and to every other number y the value f y (y) + 1. Then there is no x such that g = f x .
- 11.
This proof leads to the proof of the Limitation Theorem for (II) which leads to the Limitation Principle and thus to regard Ω as a legitimate infinite number through which the generation of more number-classes could proceed. But Cantor may have lacked at the time a general proof of the Union Theorem.
- 12.
Cantor did not use the term.
- 13.
The second paper in the series Ueber unendliche, lineare Punkmannichfaltigkeiten, Cantor 1932 p 145.
- 14.
The third paper of the same series, Cantor 1932 p 149.
- 15.
Of the original publication in Mathematische Annalen, vol 17, not in Cantor 1932.
- 16.
The footnote appears apparently only in the booklet format of Grundlagen. It is in Ewald but neither in Cantor 1932 nor in the original Mathematische Annalen.
- 17.
Cantor slipped here into using ‘power’ as an entity, outside its defined context in 1878 Beitrag of ‘equal’ or ‘smaller/greater’ power. Cf. Fraenkel 1966 p 61.
- 18.
We note in passing our belief that Cantor had obtained both his infinity symbols and the set named after him (and thus, perhaps, the first example of non-denumerable set), by proof-processing, in 1869–1870, Dirichlet’s Condition (Ferreirós 1999 p 150) that the of exception points must be nowhere dense.
References
Borel E. Leçons sur la théorie des functions, 1950 edition, Gauthiers-Villars: Paris; 1898
Cantor G. Gesammelte Abhandlungen Mathematischen und philosophischen Inhalts, edited by Zermelo E. Springer, Berlin 1932. http://infini.philosophons.com/.
Cantor G, Dedekind R. Briefwechsel Cantor – Dedekind. Noether E, Cavaillès J, editors. Hermann 1937. Paris. A French translation is included in Cavailles 1962.
Cavailles J. Philosophie mathématique. Paris: Hermann; 1962.
Charraud N. Infini et inconscient: essai sur Georg Cantor. Paris: Anthropos; 1994.
Dauben JW. Georg Cantor. His Mathematics and the Philosophy of the Infinite, Cambridge MA: Harvard University Press; 1979. Reprinted by Princeton University Press, 1990.
Dedekind R. Essays on the theory of numbers, English translation of Dedekind 1888, by Berman WW, New York: Dover; 1963. Also in Ewald 1996 vol 2 p 787–833.
Dugac P. Richard Dedekind et les fondements des mathématiques. Paris: Vrin; 1976.
Ewald W. editor. From Kant to Hilbert: a source book in the foundations of mathematics. 2 vols. Oxford: Clarendon Press; 1996.
Ferreirós J. ‘What fermented in me for years’: Cantor’s discovery of transfinite numbers. Hist Math. 1995;22:33–42.
Ferreirós J. Labyrinth of thought. A history of set theory and its role in modern mathematics. Basel/Boston/Berlin: Birkhäuser; 1999.
Fraenkel AA. Abstract set theory. 3rd ed. Amsterdam: North Holland; 1966.
Grattan-Guinness I. An unpublished paper of Georg Cantor. Acta Math. 1970;124:65–107.
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. The search for mathematical roots, 1870–1940: logics, set theories and the foundations of mathematics from Cantor through Russell and Gödel, Princeton University Press; 2000.
Hallett M. Cantorian set theory and limitation of size. Oxford: Clarendon Press; 1984.
Kuratowski K, Mostowski A. Set theory. Amsterdam: North Holland; 1968.
Lakatos I. Proofs and refutations. Cambridge: Cambridge University Press; 1976.
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.
Meschkowski H, Nilsen W. Georg Cantor: briefe. Berlin: Springer; 1991.
Moore GH. Towards a history of Cantor’s continuum problem. In: Rowe DE, McCleary J, editors. The history of modern mathematics. Boston: Academic; 1989. p. 79–121.
Parpart U. Foundation of a general theory of manifolds, English translation of Cantor 1883, with introduction, The Campaigner (the theoretical journal of the National Caucus of Labor committees), 1976;9:6–68.
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.
Tannery P. Note sur la Théorie des ensembles. Bulletin de la Société Mathématique de France. 1884;12:90–6.
Tiles M. The philosophy of set theory: an historical introduction to Cantor’s paradise. Oxford: Basil Blackwell; 1989.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer Basel
About this chapter
Cite this chapter
Hinkis, A. (2013). CBT in Cantor’s 1878 Beitrag . 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0224-6_3
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)