Central anchor1/8
Set Theory
If all mathematics is built from collections, what becomes possible—and what breaks?
AI editorial interpretation
Even endless collections had to be tested for equal size
The face uses a surviving late-life photograph for recognition. The Halle scene compresses the 1874 uncountability proof, 1877 Dedekind correspondence, and 1891 diagonal argument; it does not claim that infinity or conflict with Kronecker caused Cantor's recurrent depression.
MathVoyage editorial direction · OpenAI image generation · historical photograph identity reference · 2026-08-07
Remember the mind, not only the dates
Georg Cantor
AD 1845 - AD 1918
Thinking ground · Halle
Born · Saint Petersburg
Nineteenth-Century MathematicsComparing infinities by pairingA diagonal escaping every listThe Halle-Dedekind correspondence
The idea to carry forward
On the 1877 square–line correspondence: “I see it, but I do not believe it.”Enter through one scene
AD 1874
Proof that the reals "outnumber" the naturals
A short paper proving that the reals cannot be put in one-to-one correspondence with the naturals — the first demonstration that infinities come in different sizes.
Twenty seconds of escaping a list1891 CE · Halle · research and publication anchor for diagonalization
Can one new number be built to differ from every row of a list?
Suppose an infinite list claims to contain every binary sequence. Follow the diagonal—first digit of row one, second of row two—and flip each digit. The constructed sequence differs from every listed row somewhere.
Mark the diagonal, then flip every diagonal digit.
Use two steps to see why the new sequence escapes every row one by one.
100000201011310101411100500111
Mark the diagonal first.
Questions this person helps open
Concept ports to revisit, not another achievement list
These are reverse projections of existing editorial routes, not claims of direct influence or sole invention.
Central anchor2/8
Infinity
Can one endless thing be larger than another?
Central anchor4/8
Axiom of Choice
Through Axiom of Choice: How far can mathematics control its own infinities, paradoxes, and limits of proof?
PROFILE 02 · DEEP VOYAGE
How Georg Cantor’s ideas moved
Instead of memorizing more dates, follow the world that shaped this mind, the scenes that changed its direction, and the questions carried onward.
CHAPTER 01 · PERSON AND PERIOD
What questions surrounded Georg Cantor?
Before the finished achievement, read what this person treated as a problem and where the surviving evidence reaches its limit.
About 1 min readDeeply curated story
A mathematician at Halle who made infinite sets comparable through one-to-one correspondence, proved that the naturals and reals have different cardinalities, and developed transfinite numbers. His ideas met serious opposition but also gained supporters during his lifetime. His recurrent depression should not be reduced to one opponent or one unsolved problem.
CHAPTER 02 · TURNING SCENES
3 turning scenes
Follow the moments when the idea moved one step further. Every scene continues through an evidenced place or an honestly labelled time context.
Scene 1 / 3
AD 1874HalleProof that the reals "outnumber" the naturals
A short paper proving that the reals cannot be put in one-to-one correspondence with the naturals — the first demonstration that infinities come in different sizes.
Scene 2 / 3
AD 1891Halle· Geographic contextThe diagonal argument
A more elegant proof that the infinity of the reals exceeds that of the naturals. The same technique now powers proofs of the halting problem in computer science.
Scene 3 / 3
AD 1899Halle· Geographic contextThe continuum hypothesis — a lifelong burden
He spent his life asking is there an infinity between |ℕ| and |ℝ|? and could not solve it. Gödel’s 1940 relative-consistency result for CH and Cohen’s 1963 result for ¬CH together established independence from ZFC.
CHAPTER 04 · TOOLS LEFT BEHIND
What later generations used again
The useful question is not a star rating, but what remained available for solving another problem.
TOOL 01AD 1874
Set Theory
Established a mathematical framework for studying infinity.
THOUGHT EXPERIMENT · NOT A FACT CLAIM
Erase Georg Cantor from the map
This is a thought experiment about influence, not a verified historical fact.
Infinite sets were studied before Cantor. His decisive move was to make “which infinity is larger?” a provable question through bijections, cardinality, and diagonal arguments. Later mathematics rebuilt and extended that language across set theory, analysis, topology, and logic.
STANDING ON SHOULDERS · EVIDENCED CONNECTIONS
What arrived here, and what moved onward?
We do not draw a line merely because two people shared an era. Only connections traced through works, problems, or teaching appear with an explanation and evidence.
Georg Cantor
Nineteenth-Century Mathematics
Received 1Passed on 1
What this person received
TeachersKarl Weierstrass
From trigonometric-series lectures to infinite sets
Cantor’s early work on trigonometric series clearly reflects Weierstrass’s Berlin teaching. Tracking exceptional sets in function theory helped lead him toward set theory and sizes of infinity.
Evidence for this connectionWhat later generations carried onward
InfluencedDavid Hilbert
Making infinite sets a central mathematical problem
Hilbert strongly defended Cantor’s set theory and made the continuum hypothesis his first 1900 problem, placing sizes of infinity at the center of twentieth-century foundations.
Evidence for this connectionBeyond MathVoyage
Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.