Georg Cantor

Georg Ferdinand Ludwig Philipp Cantor was born on February 19, 1845, in Saint Petersburg, then the capital of the Russian Empire ^[1]. His father, Georg Waldemar Cantor, was a successful merchant and stockbroker who had moved to Russia from Denmark; his mother, Maria Anna Böhm, came from a family of musicians with roots in Austria-Hungary ^[2]. Music ran deep in the household. Cantor played the violin well and kept an interest in the arts throughout his life, a fact often mentioned by biographers tracing the imaginative streak in his mathematics ^[2].

When Georg was eleven, his father's poor health prompted the family to leave the Russian winters for Germany, settling first in Wiesbaden and later in Frankfurt ^[1]. The boy attended schools in Darmstadt, where his exceptional talent for mathematics became obvious to his teachers. His father initially pushed him toward engineering, a more secure profession, but eventually relented in the face of his son's evident gifts and gave his blessing to a career in pure mathematics ^[2].

Cantor began university studies at the Polytechnic in Zurich in 1862, then moved to the University of Berlin after his father's death in 1863 left him an inheritance sufficient to support his education ^[1]. Berlin at that time housed three of the most influential mathematicians in Europe: Karl Weierstrass, Ernst Kummer, and Leopold Kronecker. Cantor absorbed Weierstrass's rigorous approach to analysis, an influence visible in all his later work, and completed a doctoral dissertation on number theory in 1867 ^[3].

After a brief stint teaching at a girls' school in Berlin, Cantor accepted a position at the University of Halle in 1869, where he would remain for the rest of his career ^[1]. Halle was a respectable but provincial institution, and Cantor long hoped for a call to Berlin or another leading university. That call never came, in part because of the hostility his work provoked among the Berlin establishment ^[4].

His early research at Halle concerned trigonometric series, a topic suggested by his senior colleague Eduard Heine. The question of when the representation of a function by such a series is unique led Cantor, step by step, toward the study of infinite sets of points on the real line ^[3]. In 1872 he published a construction of the real numbers from sequences of rationals, work that appeared in the same year as Richard Dedekind's alternative construction. The two men began a correspondence that became one of the most fruitful exchanges in the history of mathematics ^[4].

The decisive breakthrough came in 1874. In a paper in Crelle's Journal, Cantor proved that the real numbers cannot be put into one-to-one correspondence with the natural numbers, while the algebraic numbers can ^[3]. The result meant something startling: infinite collections are not all alike in size. Some infinities are strictly larger than others. Anyone asking who was Georg Cantor and why he matters finds the answer in that short paper, which opened a territory no mathematician had entered before ^[4].

Between 1874 and 1884 Cantor built set theory almost single-handedly, publishing a series of papers that introduced concepts now taught to every mathematics student ^[3]. He defined what it means for two sets to have the same size (the existence of a one-to-one correspondence), proved in 1877 the counterintuitive result that a line segment contains exactly as many points as a square, and wrote to Dedekind about it with the famous remark that he saw it but did not believe it ^[4].

In 1891 he published the diagonal argument, a proof of the uncountability of the real numbers so simple and general that it has become one of the most reproduced arguments in mathematics ^[3]. The same technique shows that every set has strictly more subsets than elements, which yields an unending ladder of ever larger infinities. To measure these infinities Cantor introduced the transfinite numbers: the cardinal numbers, beginning with aleph-null for the size of the natural numbers, and the ordinal numbers, which extend counting beyond the finite ^[5].

Among Georg Cantor achievements, one problem stood apart. He conjectured that no set has a size strictly between that of the natural numbers and that of the real numbers, a claim known as the continuum hypothesis ^[5]. He struggled with it for decades without success. The problem was placed first on David Hilbert's celebrated list of unsolved problems in 1900, and work by Kurt Gödel in 1940 and Paul Cohen in 1963 eventually showed that the hypothesis can be neither proved nor disproved from the standard axioms of set theory ^[5].

Recognition arrived slowly but genuinely. Cantor founded the German Mathematical Society in 1890 and served as its first president, and he helped organize the first International Congress of Mathematicians in Zurich in 1897 ^[1]. The Royal Society of London awarded him its Sylvester Medal in 1904, one of the highest honors then available to a mathematician ^[6].

Few bodies of mathematical work have met resistance as bitter as Cantor's. Leopold Kronecker, his former teacher and a power in Berlin mathematics, held that only finite mathematical objects constructed from the integers had legitimate existence. He regarded Cantor's completed infinities as meaningless and worked against the acceptance of his papers and, Cantor believed, against his career ^[4]. The philosopher and logician Henri Poincaré later called set theory a disease from which mathematics would recover, and some theologians objected that a theory of actual infinity trespassed on the unique infinity of God ^[2].

Cantor answered the theological objections with unusual seriousness. A devout Lutheran with a deep interest in philosophy and scholastic theology, he corresponded with Catholic theologians and argued that transfinite numbers, far from diminishing the divine, had in effect been communicated to him and posed no threat to doctrine ^[2]. He distinguished the transfinite, which is increasable, from the absolute infinite, which he reserved for God alone ^[5].

Support came from other quarters. Dedekind remained a steady correspondent, the Swedish mathematician Gösta Mittag-Leffler published Cantor's work in his journal Acta Mathematica in the early 1880s, and David Hilbert became the theory's most powerful champion, later declaring that no one would drive mathematicians from the paradise Cantor had created ^[4]. By the early twentieth century, set theory had moved from the margins to the foundation of the discipline, even as paradoxes discovered by Cantor himself and by Bertrand Russell forced a careful axiomatic reconstruction ^[5].

In 1874 Cantor married Vally Guttmann, a friend of his sister, and the couple spent their honeymoon in the Harz mountains, where Cantor passed part of the time in mathematical conversation with Dedekind ^[1]. The marriage produced six children. Despite his professor's salary at Halle, the inheritance from his father allowed the family a comfortable home, and colleagues described a warm domestic life ^[2].

Cantor's interests ranged well beyond mathematics. He read widely in philosophy and theology, and he devoted surprising energy to the theory that Francis Bacon wrote the plays attributed to William Shakespeare, publishing pamphlets on the question in 1896 and 1897 ^[2]. Biographers have often read this preoccupation as a symptom of the strain he was under during those years, which included professional disappointment and the death of his youngest son in 1899 ^[4].

His first serious mental breakdown came in 1884, at the age of thirty-nine, after intense work on the continuum hypothesis and continuing conflict with Kronecker ^[4]. He recovered, but episodes of depression returned at intervals for the rest of his life. Modern commentators, including his biographer Joseph Dauben, have suggested that Cantor suffered from what would now likely be diagnosed as bipolar disorder, while cautioning against reducing his mathematics or his struggles to a single cause ^[2].

After 1884 Cantor's mathematical output slowed, though it did not stop. His final major publications, two papers of 1895 and 1897 known as the Beiträge, gave a systematic account of transfinite cardinal and ordinal arithmetic and became the standard reference for the next generation ^[3]. In these same years he discovered that the collection of all cardinal numbers leads to contradiction, an early glimpse of the paradoxes that would soon occupy Russell, Ernst Zermelo, and others ^[5].

The hospitalizations grew more frequent after the turn of the century. Cantor spent repeated periods in the Halle Nervenklinik, sometimes teaching between stays, and he formally retired from his professorship in 1913 ^[1]. The First World War brought hardship to civilians across Germany, and Cantor, elderly and unwell, suffered from the food shortages of the war years ^[4].

He died of a heart attack on January 6, 1918, in the sanatorium at Halle where he had spent the final year of his life, a few weeks short of his seventy-third birthday ^[1]. By then the value of his work was no longer seriously disputed among mathematicians, and honors had come from learned societies in Germany and abroad ^[6].

Set theory now serves as the common language of mathematics. The notions Cantor introduced, including cardinality, countability, well-ordering, and the transfinite hierarchy, appear in analysis, topology, algebra, logic, and computer science ^[5]. The axiomatic system developed by Zermelo and Abraham Fraenkel to secure Cantor's ideas against paradox remains the standard foundation of the subject, and the diagonal argument resurfaced in the twentieth century at the heart of Gödel's incompleteness theorems and Alan Turing's work on computability ^[5].

Any Georg Cantor biography must also record the human cost of his originality. He worked for decades against the judgment of powerful colleagues, at a provincial university, on questions many considered illegitimate, and the vindication he lived to see was incomplete. Hilbert's tribute, delivered in 1926, captured the settled verdict of the field, and Dauben's 1979 study established Cantor as a central figure in the history of both mathematics and its philosophy ^[2].

Among the enduring Georg Cantor facts is the sheer reach of a single insight: that infinity can be treated as a precise mathematical object rather than a vague limit. Streets in Halle and Berlin carry his name, the University of Halle preserves his memory, and the Deutsche Mathematiker-Vereinigung he founded awards a Cantor Medal for outstanding achievement in mathematics ^[6].