Continuum Hypothesis
Source: Cantor, 1878; Godel, consistency proof, 1940; Paul Cohen, independence proof, 1963 (Fields Medal 1966)
Finding
Cantor conjectured that no set has cardinality strictly between aleph-0 and c — that c = aleph-1. Godel proved (1940) that CH cannot be disproved from ZFC: if ZFC is consistent, ZFC + CH is also consistent. Cohen proved (1963) that CH cannot be proved from ZFC either. Together: CH is independent of ZFC. The question “Is there an infinity between the naturals and the reals?” is undecidable within the standard axiomatic framework of mathematics. This is the mathematical equivalent of MYSTERY_EXPLORATION.
Pattern Mapping
Humility — ZFC, the most widely accepted foundation of mathematics, encounters a question it cannot answer. The foundation is powerful but not omniscient.
Honesty — The honest response is neither “yes” nor “no” but “the axioms do not determine the answer.” Cohen’s forcing method constructs a model where CH fails without claiming CH is false.
Non-fabrication — Any claim to have resolved CH within ZFC would be fabrication. The independence result does not mean the question is meaningless; it means the current framework cannot reach it.
Connections
- Cantor’s Transfinite Numbers — the Continuum Hypothesis is Cantor’s conjecture about his own hierarchy
- Halting Problem — both establish undecidability: questions the system cannot answer (→ Meta-Pattern 06)
- Godel’s Incompleteness Theorems — Godel’s consistency proof is a direct application of incompleteness
- The Landscape Problem — both involve questions a framework cannot resolve from within
- String Theory — both face the question: when is mathematical beauty evidence?
Status
Established mathematics. See Kanamori, The Higher Infinite (2003); Jech, Set Theory (3rd ed., 2003). Philosophical interpretation is active (Maddy, “Believing the Axioms,” JSL, 1988). The characterization as MYSTERY_EXPLORATION is this project’s interpretation.
The mapping to the five properties is this project’s structural interpretation.