Counting Infinities

Georg Cantor proved in the 19th century that some infinities are literally bigger than others, a discovery so shocking it faced initial resistance and severe mental health challenges. For centuries, humanity treated infinity as a singular destination, a nebulous horizon where counting finally stops. Infinity was simply the biggest thing imaginable, uniform and all-encompassing.

But in late 1873, Cantor changed our understanding forever by asking a deceptively simple question: how do we actually measure the size of a collection? To solve this, Cantor introduced the concept of one-to-one correspondence, defining precisely when two sets have the same size, or cardinality. Imagine pairing guests at a dinner party with chairs.

If every guest has a chair and none are left over, the two groups share the exact same size, even if you never bother to count them. Cantor applied this logic to infinite collections, starting with the integers, the whole numbers we use for counting. Because you can pair every integer with a natural number in an endless sequence, the integers represent a countably infinite set.

Naturally, Cantor assumed that all infinities would behave this way, sharing this baseline infinite size. Then he tested the real numbers, which include every fraction and irrational number along the continuous real line. He discovered that the linear continuum is not countable and its points simply cannot be counted using natural numbers.

To prove this, Cantor used his brilliant diagonal method, a clever technique showing that integers and reals can never be put into a one-to-one correspondence. By listing decimals and constructing a new number that differs from every number on the list along its diagonal, he proved there are always real numbers left uncounted. The uncountably infinite set of real numbers is categorically larger than the countably infinite set of integers.

Cantor did not stop there, demonstrating through set theory and transfinite numbers that this diagonal method applies generally. For any set you can imagine, its power set consisting of all possible subsets is always strictly larger than the original set. This meant mathematics did not end with a single, massive ceiling of infinity.

Instead, Cantor opened the door to an infinite hierarchy of infinities, each towering over the last in an endless ascent. Infinity is not a single destination at the end of counting, but an endless staircase of expanding dimensions.