The Paradoxes of Infinity

01 Infinity is not one size

“Infinity” sounds like a destination beyond every number. In set theory it is more useful to treat it as a question about matching: can the elements of one set be paired with the elements of another without leftovers? That definition immediately produces a shock. An infinite set can be put in one-to-one correspondence with a proper subset of itself.

The natural numbers 1, 2, 3, … and the even numbers 2, 4, 6, … have the same cardinality through f(n) = 2n. Every natural number gets an even partner, and every even number has a unique half. Finite intuition says the subset must be smaller; infinite matching says otherwise.

02 The hotel that never fills

This is the logic behind Hilbert’s imaginary hotel: a hotel with infinitely many occupied rooms can still make room for a new guest by moving the person in room n to room n + 1. A whole extra copy of the guests can be accommodated by sending person n to room 2n, leaving every odd room free.

These are not claims about a physical building. They are demonstrations that “same number” means “there exists a bijection,” not “the sets look equally large on a finite diagram.” This countable infinity is written ℵ₀.

03 Cantor’s challenge

Now ask whether all real numbers between 0 and 1 can be listed in a sequence. Suppose someone claims to have written every one of them down. Cantor’s diagonal argument turns that alleged list against itself. Write the decimal or binary expansions in rows, then change the first digit of the first row, the second digit of the second row, and so on.

The new number differs from row 1 in digit 1, from row 2 in digit 2, and from every row n in digit n. It therefore cannot be anywhere on the list. The assumption that the list was complete collapses.

04 The diagonal is constructive

The third chart makes the proof mechanical. A list of binary sequences is not merely criticized; a missing sequence is built. If the diagonal digit is 0, choose 1; if it is 1, choose 0. The output is guaranteed to be a valid infinite sequence and guaranteed to disagree with each listed sequence at a specified position.

05 Reals are uncountable

Infinite binary sequences can be interpreted as binary expansions of real numbers between 0 and 1, with the familiar caveat that some numbers have two representations, such as 0.1000… and 0.0111…. That technical wrinkle can be handled without changing the conclusion. The interval contains an uncountable set, so the real numbers cannot be counted by the natural numbers.

This creates a strict distinction: the integers, rationals, and algebraic expressions built from finite descriptions are countable, while the continuum of real numbers is larger. Most real numbers cannot be named by a finite recipe, even though every individual real number can be approximated.

06 Past infinity means a new cardinal

“Counting past infinity” is playful language for moving between cardinalities. Cantor’s theorem says the power set P(S)—the set of all subsets of S—always has strictly more elements than S itself. Starting with the natural numbers gives ℵ₀; taking a power set jumps to a larger infinity, and taking another power set jumps again.

The hierarchy chart is deliberately schematic. The continuum hypothesis asks whether the size of the real numbers is the very next cardinal after ℵ₀, but ordinary diagonalization alone does not decide that question. The important certainty is the inequality: there is no largest infinity.

07 Paradox becomes method

Cantor’s diagonal idea escaped set theory. Variants appear in Gödel’s incompleteness theorems, Turing’s proof that no universal algorithm solves the halting problem, and many self-reference paradoxes. The recurring pattern is to construct an object that differs from every item in a supposedly complete catalogue.

The lesson is not that mathematics breaks when it meets infinity. It is that finite habits must be replaced by definitions precise enough to survive the infinite. Once “size” becomes bijection and “missing item” becomes a construction, the paradox turns into a proof.