Mathematics
The Continuum Hypothesis and Its Independence from ZFC
Quick fact
In 1963, Paul Cohen proved that the continuum hypothesis is independent of ZFC: it can be neither proven nor disproven using the standard axioms of set theory. This result, which relies on a technique called forcing, earned him a Fields Medal in 1966.
Why this is interesting
You've probably heard that there are different sizes of infinity. But did you know that the question of whether there is an infinity strictly between the size of the natural numbers and the real numbers cannot be answered using the standard axioms of mathematics?
Read the full explanation
Understanding The Continuum Hypothesis and Its Independence from ZFC
Start with sizes of infinite sets. The natural numbers (1,2,3,...) are countable: you can list them. The real numbers are uncountable: no list can include them all. Cantor showed this means the reals are a bigger infinity. The continuum hypothesis (CH) asks: is there an infinity in between—a set that is too big to be countable but too small to be the same size as the reals? For a long time, mathematicians tried to prove or disprove CH from the standard axioms of set theory (ZFC). But Gödel and Cohen discovered that this is impossible. The key idea is that the axioms of set theory do not force a single answer; they allow different 'universes' of mathematics where CH is true or false. To understand this, think of axioms as the rules of a game. Depending on how you interpret the rules, different outcomes are possible. CH is like a question about the game that the rules leave open: it is not determined by the rules.
A deeper explanation
The independence of the continuum hypothesis from ZFC is a landmark of mathematical logic. Gödel showed in 1940 that CH is consistent with ZFC (you can add CH as an axiom without causing contradictions), by constructing a minimal model called the constructible universe. Cohen, in 1963, proved that the negation of CH is also consistent with ZFC—using a groundbreaking method called forcing. Forcing extends a model of set theory by adding new sets, much like adding new elements to a field to get a larger field. Cohen's forcing added a carefully designed set of real numbers, called a generic set, to a model where CH holds, resulting in a model where CH fails. Together, these results demonstrate independence: ZFC alone cannot decide CH. This means that CH is not 'true' or 'false' in an absolute sense; its truth depends on the model of set theory. This discovery forced philosophers and mathematicians to reconsider the nature of mathematical truth and the role of axioms, and it opened the door to new techniques like forcing that continue to shape set theory and logic.