Concept
A family of mathematical ideas that distinguish potential processes, infinite sets, and different infinite cardinalities—developed through ancient, medieval, and modern debates.
Understand it in one breath
"Infinity itself comes in different sizes." Cantor's diagonal argument shows that the reals have greater cardinality than the naturals, while rationals and algebraic numbers remain countable. His work met criticism, including from Kronecker, but also gained important support during his lifetime; his recurring illness cannot be reduced to one mathematical dispute.
At a glance
Set | Size (cardinality) | A one-to-one correspondence with ℕ? |
|---|---|---|
Even numbers | ℵ₀ | ✓ (n ↔ 2n) |
Integers ℤ | ℵ₀ | ✓ (same size as the natural numbers) |
Rational numbers ℚ | ℵ₀ | ✓ (diagonal enumeration) |
Algebraic numbers | ℵ₀ | ✓ |
Real numbers ℝ | 2^ℵ₀ (= 𝔠) | ✗ (larger, by the diagonal argument) |
Power set of ℝ, 𝒫(ℝ) | 2^𝔠 | ✗ (larger still) |
An infinite hierarchy of infinities. Each step brings a genuinely larger infinity — the paradise and torment Cantor discovered.
Key formula
Key moments
Zeno’s paradoxes
“Achilles can never overtake the tortoise” — can infinitely many steps be completed in a finite time? This was one of the earliest mathematical challenges involving infinity.
Galileo’s paradox
Galileo observed that the natural numbers can be paired one-to-one with their squares. Infinity delivered an intuitive shock: a part can have the same size as the whole.
Cantor — infinities have a hierarchy
Cantor showed that the infinity of the real numbers is larger than that of the natural numbers. Infinity was no longer one undifferentiated idea, but a hierarchy of distinct sizes.
Gödel and Cohen — the continuum hypothesis is independent of ZFC
Gödel’s 1940 relative-consistency result for CH and Cohen’s 1963 forcing result for ¬CH together established that the standard ZFC axioms decide neither side.
Modern applications
The halting problem, countable versus uncountable sets, measure theory, and compactness in topology — modern mathematics operates throughout the hierarchy of infinities.
Beyond MathVoyage
Loading…