How Many Points Are on a Line? The Riddle of the Continuum Hypothesis
The Letter That Shook Mathematics
In a small German town in November 1873, a nervous mathematician named Georg Cantor (1845–1918) mailed a letter to a friend. He asked a question that seemed almost silly: whether there are as many real numbers as there are whole counting numbers. At first, the answer looks simple—both are infinite, so surely they are the same size. But Cantor suspected something wild. A month later he wrote again, excitedly: he had discovered that the infinity of real numbers is truly larger than the infinity of counting numbers. That discovery shattered the idea that all infinities are created equal, and it opened a philosophical puzzle that mathematicians and philosophers are still arguing about today.
The Continuum Hypothesis: Guessing the Next Infinity
To understand Cantor’s problem, picture the counting numbers: 1, 2, 3, 4, … forever. That is an infinite set, but it is the smallest kind of infinity, called countable infinity. You can list its members one after another, even though the list never ends. Surprisingly, even the fractions are countable—you can weave them into a single list using a clever zigzag pattern.
But what about the real numbers, which include every possible decimal expansion, like 0.5, π (3.14159…), or √2? Cantor proved that no list can capture all of them. For any list you make, you can build a new decimal that is not on that list—by changing the first digit of the first number, the second digit of the second, and so on. That diagonal trick showed that the set of real numbers is uncountable—its infinity is genuinely larger than the countable infinity of the counting numbers.
Cantor then asked: exactly how much larger? He guessed that the number of real numbers—the size of the continuum—is the very next infinity up after the countable infinity. He called that next infinity ℵ₁ (aleph-one). His guess, known as the Continuum Hypothesis (CH), is the claim that there is no set whose size lies strictly between the counting numbers and the real numbers; the continuum is exactly ℵ₁.
The Independence Earthquake
For decades mathematicians tried to settle CH. In 1938, the logician Kurt Gödel (1906–1978) delivered a shocking result: you cannot disprove CH using the standard rules of set theory, called ZFC. He built a tidy, minimal model of sets where everything was as small as possible, and in that model CH held true. That meant CH is consistent with the usual axioms.
Then, in 1963, a young mathematician named Paul Cohen (1934–2007) invented a brilliant technique called forcing. By adding carefully chosen new sets to a model, he showed that you could also make CH false while keeping the same basic rules. So you also cannot prove CH from the axioms.
Put together, Gödel’s and Cohen’s results proved that CH is independent of ZFC. The axioms are simply not strong enough to decide CH—much like how the parallel postulate in geometry can be swapped to get different consistent geometries. This was a bombshell: it meant that the ordinary foundational rules leave the size of the continuum completely undetermined.
The Multiverse: Many Worlds, Many Truths
Faced with this independence, some philosophers declared that CH has no definite answer. On this multiverse view, there is not one true universe of sets, but a vast collection of equally legitimate mathematical worlds. In some, CH is true; in others, it is false. Asking what the continuum “really” is becomes like asking whether parallel lines really meet—it depends on which mathematical universe you step into.
The most prominent version is the generic multiverse. It starts with one model and repeatedly applies the operations of forcing and shrinking, generating many universes that all obey ZFC but disagree about statements like CH. According to this view, a statement is true in a strong sense only if it holds in every such universe. Since CH can be forced to be true and also forced to be false, CH is indeterminate—neither true nor false across the whole multiverse.
The Battle over CH: Two Competing Answers
Not everyone is content to say CH has no answer. In recent decades, set theorist Hugh Woodin has argued that new axioms about large cardinals—infinitely towering infinities—can break the tie.
Woodin built a special “maximal” model using an axiom called the star axiom (∗). In the presence of a proper class of Woodin cardinals (a very strong large-cardinal assumption) and assuming the Ω Conjecture—a deep claim about a certain strong logic—the model generated by (∗) gives a complete theory of the reals up to a key level. That theory forces CH to be false and, specifically, forces the continuum to have size ℵ₂, the second uncountable infinity. In this picture, any “good” theory that decides such questions will always say CH is false. For Woodin, this is a compelling reason to accept ¬CH.
But there is a rival vision. Inner model theory aims to find a perfect “core” of the set-theoretic universe, something like Gödel’s constructible universe L but strong enough to contain all large cardinals. Recent breakthroughs point toward an Ultimate L—an inner model that accommodates all compatible large cardinals and, crucially, decides CH in the affirmative. If the true universe of sets turns out to be this Ultimate L, then CH is true. So which vision is correct? The battle hinges on deep conjectures and the search for the right new axioms. Neither side has a conclusive proof, but both offer a vision of what mathematics could look like if CH had a definite answer.
Why It Still Matters
So why should you care about a century-old puzzle about infinity? Because CH forces us to face a deeper question: can there be mathematical truths that are forever beyond proof, or is every well‑posed question answerable if we only find the right new axioms? If the multiverse view is correct, mathematics is more like a toolbox with many consistent options, and asking whether CH is “really” true is as pointless as asking whether chess is really black‑and‑white. If Woodin or the inner model theorists are right, then there is a fact of the matter waiting to be discovered, pushing us to look for stronger foundations.
The same kind of puzzle could someday appear in other areas—maybe in physics or even in everyday reasoning. And it all starts with a simple question a twelve-year-old might ask while staring at a number line: how many points are there? The answer, shockingly, may depend on which mathematical universe you decide to explore.
Think about it
- If someone told you there are different sizes of infinity, would you be more surprised that there are more real numbers than counting numbers, or that the standard rules of math can’t tell you how many more? Why?
- Imagine you discover a new number system where 2+2 sometimes equals 5. Is that system wrong, or just a different valid universe of arithmetic? How would you decide?
- If mathematicians could never agree on whether CH is true, would that mean math is about discovery or about invention? What difference would it make to you?
