A thread · guided journey

The Story of the Infinite

Two and a half thousand years of refusing, then embracing, then taming the actual infinite, and finding its size beyond our reach.

01

Aristotle’s Caution
Aristotle 384–322 BCE
For two millennia, the actual infinite is forbidden. Aristotle permits only the *potential* infinite: a process without end, never a completed totality.
02

Cantor’s Leap
Georg Cantor 1845–1918
Cantor dares to count the infinite itself. There are different infinities (the naturals, the reals), and a precise arithmetic that governs them.
03

No Largest Infinity
Cantor’s Theorem $∣ A ∣ < ∣ P (A) ∣$
Cantor’s theorem: the power set is always strictly larger. There is no largest infinity: the tower of sizes rises forever.
04

Taming It
Set Theory & Foundations
To keep the paradise without the serpent, the infinite is fenced by axioms: the ZFC set theory in which nearly all of mathematics now lives.
05

The Unknowable Size
Independence of the Continuum Hypothesis $ZFC ⊬ CH ZFC ⊬ \neg CH$
And the first question Cantor asked (how big is the continuum?) turns out to have no answer in ZFC. The infinite keeps one secret from us still.

Aristotle’s Caution