Great problems
Early modern
- 1611
19th century
- 1859
- 1878Continuum hypothesisFoundations of mathematics. Cantor showed that the reals are uncountable, so their cardinality is strictly larger than that of the integers, . The continuum hypothesis (CH) asks whether is the very next cardinal, . Gödel (1940) showed CH cannot be disproved from the standard ZFC axioms, and Cohen (1963) showed it cannot be proved either, using the new method of forcing. CH is therefore independent of ZFC: both CH and its negation are consistent with the usual axioms of set theory, so the question has no answer within ZFC alone.Hilbert #1KGKurt Gödel, 1963
20th century
- 1900
- 1900
- 1900
- 1900
- 1900
- 1900