1845 – 1918 • Architect of Infinity
The creator of set theory and the mathematics of infinity, who proved that infinities come in different sizes and forever changed the foundations of mathematics.
Georg Ferdinand Ludwig Philipp Cantor was born on March 3, 1845 in Saint Petersburg, Russia, to a prosperous merchant family of German-Danish descent. His father Georg Woldemar was deeply religious and encouraged his son's mathematical talents.
The family moved to Germany in 1856. Young Georg excelled at the Realschule in Darmstadt, and his father reluctantly allowed him to pursue mathematics rather than engineering.
Cantor studied at the University of Zurich (1862) and then the University of Berlin (1863–1867), where he attended lectures by Weierstrass, Kummer, and Kronecker.
His doctoral thesis (1867) was on number theory: "De aequationibus secundi gradus indeterminatis." He then took a position at the University of Halle, where he would spend his entire career — never obtaining the Berlin professorship he coveted.
Published "On a Property of the Collection of All Real Algebraic Numbers," proving the reals are uncountable while algebraic numbers are countable. The birth of set theory.
Showed a line and a plane have the same cardinality (a bijection between R and R^2). He wrote to Dedekind: "I see it, but I don't believe it!"
Published a series of six papers, "Uber unendliche, lineare Punktmannichfaltigkeiten," developing transfinite ordinal and cardinal numbers systematically.
Published the celebrated diagonal argument, a simpler and more general proof that no set can be mapped onto its power set, establishing an endless hierarchy of infinities.
Mathematics in the late 19th century was undergoing a revolution in rigor. Weierstrass had banished infinitesimals from calculus; Dedekind was constructing the real numbers from the rationals; Frege was attempting to reduce arithmetic to logic.
Cantor's work on infinity struck at the very foundations. It raised questions that would eventually lead to Russell's paradox (1901), the axiomatization of set theory (Zermelo, 1908), and Godel's incompleteness theorems (1931).
Cantor faced fierce opposition. Leopold Kronecker, the powerful Berlin mathematician, rejected completed infinities as illegitimate. He called Cantor a "scientific charlatan" and a "corrupter of youth."
Henri Poincare described set theory as a "disease" from which mathematics would eventually recover. Even Cantor's former teacher Weierstrass was uneasy.
Foundations Crisis Finitism vs. Infinitism Axiomatization
The diagonal argument (1891) proves that the set of all infinite binary sequences is uncountable — it cannot be put in one-to-one correspondence with the natural numbers.
Proof sketch: Assume you have a complete list of all infinite binary sequences. Construct a new sequence by flipping the n-th digit of the n-th sequence. This new sequence differs from every sequence in the list at one position, contradicting completeness.
This elegant argument generalizes: for any set S, the power set P(S) has strictly greater cardinality. There is no largest infinity.
For any set S, |S| < |P(S)|. The proof is the same diagonal idea: any function f: S -> P(S) misses the set {x in S : x not in f(x)}. This gives an unending tower of infinities: |N| < |P(N)| < |P(P(N))| < ...
The diagonal method inspired Godel's incompleteness proofs, Turing's undecidability of the halting problem, and is used throughout computability theory and mathematical logic. It is one of the most versatile proof techniques in mathematics.
Cantor introduced the aleph notation: Aleph-0 for the cardinality of N, Aleph-1 for the next infinite cardinal, etc. His continuum hypothesis posits |R| = Aleph-1, i.e., there is no intermediate infinity between countable and continuum.
Godel (1940) showed the continuum hypothesis is consistent with ZFC. Cohen (1963) showed its negation is also consistent. The problem is independent of standard axioms — a stunning vindication of the depth of Cantor's question.
Cantor created two hierarchies of infinite numbers: ordinals (measuring order type) and cardinals (measuring size).
The ordinals begin: 0, 1, 2, ..., omega (first infinite ordinal), omega+1, omega+2, ..., omega*2, ..., omega^2, ..., omega^omega, ..., epsilon_0, ...
Each cardinal Aleph_alpha is the smallest ordinal of that cardinality. The well-ordering principle (equivalent to the axiom of choice) ensures every set can be well-ordered, giving it an ordinal type.
This arithmetic of infinity was Cantor's most audacious creation: a fully rigorous calculus for reasoning about the infinite.
Cantor defined addition, multiplication, and exponentiation for ordinals. Unlike finite arithmetic, ordinal operations are not commutative: 1 + omega = omega, but omega + 1 > omega. This asymmetry reflects the importance of order.
For infinite cardinals, addition and multiplication collapse: Aleph-0 + Aleph-0 = Aleph-0, Aleph-0 * Aleph-0 = Aleph-0. The only operation that produces larger cardinals is exponentiation: 2^(Aleph-0) = |R|.
Cantor conjectured that 2^(Aleph-0) = Aleph-1: there is no set whose cardinality lies strictly between that of N and R. He struggled with this problem for decades, and it contributed to his mental breakdowns.
Cantor believed every set could be well-ordered. Zermelo proved this in 1904 using the axiom of choice. The equivalence of well-ordering, AC, and Zorn's lemma became foundational results of 20th-century mathematics.
While studying the uniqueness of trigonometric series representations, Cantor constructed what is now called the Cantor ternary set (1883): remove the open middle third of [0,1], then the middle thirds of the remaining intervals, ad infinitum.
The resulting set is uncountable, yet has measure zero. It is nowhere dense but perfect (equals its own set of limit points). It is self-similar at every scale.
Cantor introduced the concept of a derived set (the set of limit points), iterated transfinitely. This led him to the ordinal numbers and laid the groundwork for point-set topology.
His work on perfect sets, closed sets, and their hierarchies anticipated Hausdorff's formal axiomatization of topology (1914) and Mandelbrot's fractals (1975).
Measure Theory Topology Fractals
Cantor's approach combined bold conceptual leaps with rigorous proof, creating entirely new mathematical objects to answer questions that existing mathematics could not frame.
Can infinite sets have different sizes?
Create bijection-based notion of cardinality
Diagonal argument: |N| < |R|
Entire arithmetic of transfinite numbers
His willingness to take the infinite seriously as a mathematical object, not merely a potential limit, was the decisive conceptual breakthrough.
Leopold Kronecker, the most powerful mathematician in Berlin, waged a sustained campaign against Cantor's ideas. He blocked Cantor's publications, prevented his appointment to Berlin, and publicly ridiculed his work. "God made the integers; all else is the work of man."
Beginning in 1884, Cantor suffered recurring episodes of severe depression, likely bipolar disorder. He was hospitalized multiple times. During depressive episodes, he abandoned mathematics entirely, turning to literary scholarship and theology.
Cantor spent his entire career at the University of Halle, a provincial institution far from the mathematical centers of Berlin and Gottingen. His repeated attempts to transfer were blocked, partly due to Kronecker's influence.
Cantor spent his last years in poverty during WWI, frequently hospitalized. He died on January 6, 1918, in a sanatorium in Halle. By then, Hilbert had proclaimed: "No one shall expel us from the Paradise that Cantor has created."
Cantor's diagonalization underpins the halting problem, Rice's theorem, and computational complexity lower bounds. The concept of countable vs. uncountable is essential to computability theory.
Cantor sets and similar fractal constructions appear in the study of signal spectra, particularly in modeling interference patterns and designing fractal antennas.
Cantor's work on point sets directly led to Lebesgue measure and integration, which is the foundation of probability theory and modern statistics.
The theory of infinite relational structures uses cardinality arguments and transfinite methods. Cantor's ideas appear in theoretical computer science wherever infinite objects are studied.
Cantor-like sets arise naturally as attractors in chaotic systems. The "middle-third" construction is a paradigm for understanding the geometry of chaos.
Diagonal-type arguments are used in proofs of impossibility results in information theory and secure computation, where they show certain tasks cannot be performed by any algorithm.
Joseph Dauben (1979). The standard scholarly biography, covering both Cantor's mathematical work and his philosophical and theological views on infinity.
Amir Aczel (2000). An accessible narrative tracing the story of infinity from Cantor through Godel and Cohen, aimed at general readers.
Georg Cantor (trans. P. Jourdain, 1915). Cantor's own papers with a substantial historical introduction. Essential primary source material.
Michael Potter (2004). A modern philosophical treatment of set theory that traces concepts back to Cantor and Zermelo, suitable for mathematically inclined philosophers.
"The essence of mathematics lies in its freedom."
— Georg Cantor, Grundlagen einer allgemeinen Mannichfaltigkeitslehre, 18831845 – 1918