Cantor's Different Infinities

The Hotel That's Always Full (and Always Has Room)

There's a hotel with infinitely many rooms, and every single one is occupied. A new guest walks in. The night manager doesn't even blink. "No problem," she says. And she's right.

This is Hilbert's Hotel, the thought experiment dreamed up by the German mathematician David Hilbert in a 1924 lecture, and it's the place where your intuitions about infinity go to die.1 The trick is simple: ask the guest in room 1 to move to room 2, the guest in room 2 to move to room 3, and so on. Everyone moves up one room. Room 1 is now free. The new guest checks in.

"But wait," you say, "the hotel was full." Yes. And it still is. Every guest still has a room. It's just that infinity plus one is still infinity. That's not a paradox — it's a property.

Now things get wilder. A bus pulls up with infinitely many new guests. The night manager barely looks up from her crossword. "Everyone in the hotel, please move to double your room number." Guest in room 1 goes to room 2, guest in room 2 goes to room 4, guest in room 3 goes to room 6. Now all the odd-numbered rooms are empty — infinitely many of them — and the bus passengers file in. Infinity plus infinity equals infinity.

You might start to think infinity can swallow anything. And if you're only dealing with the kind of infinity that counts things — one, two, three, four, on and on — you'd be right. This is countable infinity, the size of the natural numbers, and Hilbert's Hotel demonstrates its central weirdness: a countably infinite set can absorb countably infinite additions without getting any bigger.2

Georg Cantor looked at all this in the 1870s and asked the question that would upend mathematics, ruin his career, and change our understanding of the infinite forever: are there bigger infinities?

The Diagonal That Changed Everything

Cantor's stroke of genius came in 1891, and it's one of the most beautiful arguments in all of mathematics.3 It goes like this:

Suppose someone claims they've made a complete list of all real numbers between 0 and 1. Each number is an infinite decimal — 0.314159…, 0.271828…, 0.500000…, and so on. The list is infinitely long, with a first entry, a second entry, a third, stretching on forever. Every real number between 0 and 1, they say, appears somewhere on this list.

Cantor says: I can build a number that's not on your list.

Here's how. Look at the first digit of the first number on the list. If it's a 3, write down a 7 instead. (Any different digit will do — just change it.) Now look at the second digit of the second number. Change that too. The third digit of the third number — change it. Keep going forever, walking down the diagonal of this infinite grid of digits.

The number you build — call it d — differs from the first number in its first digit, from the second number in its second digit, from the nth number in its nth digit. So d isn't equal to any number on the list. But d is a perfectly good real number between 0 and 1. Therefore the list was incomplete. Any list is incomplete. The real numbers between 0 and 1 cannot be put in a list.

This is the diagonal argument, and it's a proof by contradiction so clean you can explain it at a dinner party. (I have. The reactions range from "that's beautiful" to "that can't be right" to "please stop talking about infinity, the food's getting cold.") The real numbers between 0 and 1 are uncountable — there are strictly more of them than there are natural numbers.

Let that sink in. Both the natural numbers and the real numbers are infinite. But the real numbers are more infinite. Cantor had discovered that infinity comes in sizes.

Counting the Uncountable

Cantor gave these infinities names. The size of the natural numbers — the smallest infinity — he called ℵ₀ (aleph-null, using the first letter of the Hebrew alphabet). The size of the real numbers he called c, for "continuum." And his theorem proved that c > ℵ₀.

But how much bigger? Is c the next infinity after ℵ₀, or are there infinities lurking in between? This question — "Is there an infinity between ℵ₀ and c?" — became known as the continuum hypothesis, and it would haunt mathematics for over a century.4

In 1940, Kurt Gödel showed that the continuum hypothesis is consistent with the standard axioms of set theory (ZFC). You can assume it's true, and you'll never reach a contradiction. Then in 1963, Paul Cohen developed an entirely new technique called forcing and proved the opposite: you can also assume it's false without contradiction.5

Together, Gödel and Cohen proved that the continuum hypothesis is independent of ZFC. It can be neither proved nor disproved from the standard axioms of mathematics. This isn't a matter of us not being clever enough — it's that the axioms genuinely don't decide the question, the way that the rules of chess don't determine whether your first move should be e4 or d4.

If you find that unsettling, you're in good company. Mathematics is supposed to be the land of definite answers, where things are either true or false. The independence of the continuum hypothesis tells us that even mathematics has genuine choices — places where the road forks and you have to pick which mathematics you want to do.6

Infinities All the Way Up

Here's where it gets truly vertiginous. Cantor didn't just prove that the reals are bigger than the naturals — he proved a general theorem that works for any set at all.

The power set of the natural numbers has the same cardinality as the reals (that's 2^ℵ₀ = c). But now take the power set of the reals. That's bigger still. And the power set of that. And so on, forever.

There is no biggest infinity. No matter how mind-bogglingly large an infinite set you've got, its power set is bigger. It's infinities all the way up, an endless staircase with no top floor. Hilbert's Hotel has rooms for every natural number, but it cannot accommodate the real numbers — no clever room-shuffling trick will work, because there are simply too many of them.

The proof of Cantor's theorem uses a beautiful self-referential trick: assume you do have a one-to-one mapping from S to P(S). Now consider the set T = {x ∈ S : x ∉ f(x)} — the set of all elements that are not in the subset they're mapped to. T is a subset of S, so it must be f(y) for some y. But is y in T? If yes, then by definition y ∉ f(y) = T — contradiction. If no, then y ∉ T = f(y), so y should be in T — contradiction again. This is the same self-referential DNA as the diagonal argument, just wearing a different outfit.7

The Man Who Saw Too Much

The story of infinity's different sizes is also, unavoidably, the story of the man who discovered them — and what the discovery cost him.

Georg Cantor was born in St. Petersburg in 1845 and spent most of his career at the University of Halle, which was not exactly the center of the mathematical universe.3 He wanted a position in Berlin, the top mathematics department in Germany, but that was the domain of Leopold Kronecker, who thought Cantor's work on infinity was not just wrong but dangerous.

Kronecker was a finitist — he believed that only finite mathematical objects were legitimate. "God made the integers," Kronecker famously declared. "All else is the work of man."8 Cantor's infinite hierarchies were, to Kronecker, a corruption of mathematics, a "disease" from which mathematics would one day recover. He actively blocked Cantor's papers, undermined his career, and turned colleagues against him.

Cantor suffered his first major depressive episode in 1884. The episodes recurred throughout his life, and he spent increasing amounts of time in the Halle Nervenklinik — a sanatorium. Between bouts of illness, he continued to work, but the continuum hypothesis remained stubbornly out of reach. He died in the sanatorium on January 6, 1918, malnourished, during the food shortages of World War I.

The tragedy is that Cantor was right about everything except the solvability of his favorite problem. The continuum hypothesis wasn't proved or disproved in his lifetime because it couldn't be — but he had no way of knowing that. He spent decades banging his head against a wall that Gödel and Cohen would later prove was unbreakable.

Today, Cantor's work is the foundation of modern set theory, a cornerstone of mathematics as fundamental as Euclid's geometry. David Hilbert said it plainly: "No one shall expel us from the paradise that Cantor has created."2 Kronecker's finitism is a historical curiosity. Cantor's infinities are the air we breathe.

Why It Matters (Even If You Never Meet an Uncountable Set at Brunch)

You might reasonably ask: who cares? When am I going to need to know that there are more real numbers than integers?

The answer is that Cantor's work isn't really about counting things. It's about the limits of systematic procedures. The reason the real numbers are uncountable is that they contain too much information to be captured by any algorithm that ticks through them one at a time. This is the same insight that led Alan Turing, a few decades later, to prove that some problems are uncomputable — there are questions that no computer program can answer, no matter how clever or how long you let it run. Turing's argument is essentially Cantor's diagonal argument in a new setting.

Every time a computer scientist talks about the limits of computation, every time a logician explores the boundaries of formal proof, every time a mathematician encounters a set that can't be well-ordered without the axiom of choice — they're living in the world Cantor built. He asked a simple question: can you list all the real numbers? The answer was no. And that "no" echoed through all of twentieth-century mathematics, shaping logic, computation, and our understanding of what it means for something to be true.

Some infinities are bigger than others. It sounds like a line from a novel — and in fact John Green used it in The Fault in Our Stars, though he admits he got the math a bit sideways.3 But the mathematical reality is stranger and more beautiful than the literary metaphor. There isn't just a bigger infinity. There's a bigger infinity than that. And another one above it. The staircase never ends. And the man who discovered it paid for the vision with his sanity, his career, and his life — but not with his legacy. That endures, uncountably.