Mathematics
The Continuum Hypothesis and the Search for Its Truth Value
Quick fact
In 1963, Paul Cohen proved that the continuum hypothesis is independent of the standard axioms of set theory (ZFC): it can be neither proved nor disproved from those axioms, revealing that a central question about infinity has no definitive answer within that framework.
Why this is interesting
You've heard that there are 'different sizes' of infinity — but is there an infinity that sits strictly between the smallest infinite size and the size of the real numbers? The answer turned out to be 'it depends'.
Read the full explanation
Understanding The Continuum Hypothesis and the Search for Its Truth Value
The continuum hypothesis (CH) concerns the relative sizes of infinite sets. The natural numbers (1,2,3,…) have the smallest infinite cardinality, denoted ℵ₀. The real numbers (all fractions and irrationals, like √2 and π) are much larger — Cantor proved they cannot be matched one-to-one with the naturals, so their cardinality, denoted 𝔠, is strictly greater than ℵ₀. The question is: is there any set with cardinality strictly between ℵ₀ and 𝔠? Cantor believed there was not, but he could not prove it. This problem became known as the continuum hypothesis. To understand why it's so tricky, think of trying to find a 'middle' infinite size — you'd need a set that is bigger than the naturals but smaller than the reals. Cantor's work showed that there are many infinite sizes (ℵ₀, ℵ₁, ℵ₂, …), but he couldn't determine where 𝔠 sits in this hierarchy — specifically, whether 𝔠 equals ℵ₁ or some larger cardinal.
A deeper explanation
The resolution of the continuum hypothesis lies in the structure of the standard axioms of set theory, called ZFC (Zermelo–Fraenkel axioms with the Axiom of Choice). In 1940, Kurt Gödel showed that CH is consistent with ZFC — you cannot disprove it using these axioms. Then, in 1963, Paul Cohen dramatically completed the picture by proving that CH is also consistent with ZFC being false — that is, you cannot prove it either. Cohen introduced a powerful technique called forcing to construct a model of ZFC in which the cardinality of the reals is exactly ℵ₂, strictly larger than ℵ₁. Therefore, CH is independent of ZFC: it is neither provable nor refutable. This independence does not mean CH is false or true; rather, it shows that the axioms of ZFC are not strong enough to settle the question. This realization profoundly changed our understanding of mathematical truth: some questions are not just unsolved, but undecidable within a given axiomatic system. It parallels Gödel's incompleteness theorems, which show that any sufficiently powerful formal system has statements that cannot be proved or disproved. Thus, the continuum hypothesis stands as a paradigm of a mathematical statement that is true in some 'universes' of set theory and false in others.