Thank you for visiting this site. This article covers “Cantor’s Diagonal Argument.”
Infinity is infinity — nothing more, nothing less. Or so it seems. In the 19th century, German mathematician Georg Cantor proved that infinities have different sizes. And the proof, once understood, is so elegant you can’t help but marvel at it.
Is All Infinity the Same Size?
First, the natural numbers (1, 2, 3, 4 …) are infinite. The even numbers (2, 4, 6, 8 …) are also infinite.
Intuitively, the natural numbers seem more numerous than the even numbers — but these two sets are actually “the same size of infinity.” For every natural number n we can pair an even number 2n: the correspondence 1↔2, 2↔4, 3↔6, 4↔8 … assigns exactly one even number to every natural number, with no gaps or duplicates.
Now what about the “real numbers” — all numbers including decimals, such as 0.1415926… ? The reals are also infinite. Are they the same size of infinity as the natural numbers?
Cantor proved with the diagonal argument that the real numbers are “strictly more” than the natural numbers.
How the Diagonal Argument Works
The proof uses contradiction. We assume “the real numbers between 0 and 1 can all be paired one-to-one with the natural numbers” and then derive a contradiction.
Suppose we could list every real number between 0 and 1:
- Real #1: 0.51209347…
- Real #2: 0.33817260…
- Real #3: 0.71038492…
- Real #4: 0.49027351…
- Real #5: 0.82615094…
- …
Now focus on the “diagonal digits”: the 1st digit of the 1st real, the 2nd digit of the 2nd real, the 3rd digit of the 3rd real, and so on. Reading them off gives 5, 3, 0, 2, 5… (the bold digits above).
Next, construct a new decimal by changing each diagonal digit — for example, add 1 to each (and turn 9 into 0). The result is 6, 4, 1, 3, 6…, giving the new real number 0.64136…
This new real number is not on the list anywhere.
- It differs from real #1 in its 1st digit (5→6)
- It differs from real #2 in its 2nd digit (3→4)
- It differs from real #3 in its 3rd digit (0→1)
- It differs from real #n in its nth digit
We assumed the list contained all real numbers — yet we just constructed one that isn’t on the list. That is a contradiction.
Therefore, the real numbers between 0 and 1 cannot be numbered by the natural numbers, and the reals are strictly “more” than the natural numbers.
The Hierarchy of Infinity
Cantor’s discovery was revolutionary. Infinity is not a single thing; there are different sizes of infinity.
Infinities that can be counted (like the natural numbers) are called “countably infinite (aleph-null),” while infinities that cannot be counted (like the reals) are called “uncountably infinite.”
More astonishingly, the hierarchy never ends. Beyond the infinity of real numbers lies an even larger infinity, and beyond that a still larger one — the levels of infinity go on infinitely.
The Reaction at the Time
Cantor published the diagonal argument in 1891, and it was met with fierce criticism from the mathematical establishment.
The influential mathematician Leopold Kronecker called Cantor a “corrupter of youth” and attacked him relentlessly. Kronecker held that “God made the integers; all else is the work of man,” and the idea that some infinities are larger than others was simply unacceptable to him.
Yet Cantor’s proof was logically airtight, and over time it was accepted by the mathematical community. Today the diagonal argument is widely regarded as one of the most beautiful proofs in all of mathematics.
Summary
This article covered “Cantor’s Diagonal Argument.”
The discovery that infinities have different sizes is one of the most revolutionary achievements in the history of mathematics. The proof itself — nothing more than changing the diagonal digits — is both disarmingly simple and utterly ironclad.
To return to the full list of paradoxes, follow the link below.
Thank you for reading. We hope to see you in the next article.
