Impossibility of Proof and Disproof in ZFC
Cantor believed the continuum hypothesis to be true and tried for many years to prove it, in vain. It became the first on David Hilbert's list of important open questions that was presented at the International Congress of Mathematicians in the year 1900 in Paris. Axiomatic set theory was at that point not yet formulated.
Kurt Gödel showed in 1940 that the continuum hypothesis (CH for short) cannot be disproved from the standard Zermelo–Fraenkel set theory (ZF), even if the axiom of choice is adopted (ZFC). Paul Cohen showed in 1963 that CH cannot be proven from those same axioms either. Hence, CH is independent of ZFC. Both of these results assume that the Zermelo–Fraenkel axioms themselves do not contain a contradiction; this assumption is widely believed to be true.
The continuum hypothesis was not the first statement shown to be independent of ZFC. An immediate consequence of Gödel's incompleteness theorem, which was published in 1931, is that there is a formal statement (one for each appropriate Gödel numbering scheme) expressing the consistency of ZFC that is independent of ZFC. The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory. These independence proofs were not completed until Paul Cohen developed forcing in the 1960s.
The continuum hypothesis is closely related to many statements in analysis, point set topology and measure theory. As a result of its independence, many substantial conjectures in those fields have subsequently been shown to be independent as well.
So far, CH appears to be independent of all known large cardinal axioms in the context of ZFC.
Gödel and Cohen's negative results are not universally accepted as disposing of the hypothesis, and Hilbert's problem remains an active topic of contemporary research (see Woodin 2001a). Koellner (2011a) has also written an overview of the status of current research into CH.
Read more about this topic: Continuum Hypothesis
Famous quotes containing the words impossibility of and/or proof:
“It is in this impossibility of attaining to a synthesis of the inner life and the outward that the inferiority of the biographer to the novelist lies. The biographer quite clearly sees Peel, say, seated on his bench while his opponents overwhelm him with perhaps undeserved censure. He sees him motionless, miserable, his head bent on his breast. He asks himself: “What is he thinking?” and he knows nothing.”
—Andre Maurois (1885–1967)
“a meek humble Man of modest sense,
Who preaching peace does practice continence;
Whose pious life’s a proof he does believe,
Mysterious truths, which no Man can conceive.”
—John Wilmot, 2d Earl Of Rochester (1647–1680)