Continuum Hypothesis

Continuum Hypothesis
Name	Continuum Hypothesis
Field	Set theory
Proposed	1878
Proposer	Georg Cantor
Status	Independent of ZFC
Related	Generalized Continuum Hypothesis, Cantor's theorem, Axiom of Choice

Continuum Hypothesis

The Continuum Hypothesis is a conjecture about the possible sizes of infinite sets in set theory, asserting a specific relationship between the cardinality of the natural numbers and the real numbers. It originated in the work of Georg Cantor and became a central problem for David Hilbert in the early 20th century, later framing major developments involving Kurt Gödel, Paul Cohen, and institutions such as the Institute for Advanced Study. The hypothesis shaped research in mathematical logic, axiomatic set theory, and influences related questions proposed by organizations like the American Mathematical Society.

Background and statement

Cantor developed a theory of cardinality distinguishing countable sets like the set of natural numbers from uncountable sets like the set of real numbers often denoted by continuum. Cantor proved that the power set of any set has strictly greater cardinality (Cantor's theorem), which applied to the naturals produced the continuum. The Continuum Hypothesis posits there is no cardinal strictly between the cardinality of the naturals and the cardinality of the reals; formally it suggests that 2^{\aleph_0} = \aleph_1 under the context of Zermelo–Fraenkel set theory possibly augmented by the Axiom of Choice. Cantor communicated aspects of this problem to contemporaries including Richard Dedekind and Leopold Kronecker and it later became one of the problems Hilbert presented at the International Congress of Mathematicians in Paris.

Historical development and key contributors

Cantor introduced cardinalities and raised the hypothesis, corresponding with mathematicians such as Felix Hausdorff and Otto Hölder. The problem entered formal prominence when Hilbert included it among his famous list of 23 problems at the 1900 International Congress of Mathematicians. Later, foundational work by Ernst Zermelo and Abraham Fraenkel produced the Zermelo–Fraenkel axioms used to frame the conjecture. In the 20th century, Kurt Gödel showed relative consistency results while at the Institute for Advanced Study and collaborating with figures like John von Neumann; Gödel proved that the hypothesis cannot be disproved from ZF if ZF is consistent by constructing the constructible universe denoted L. Subsequent breakthroughs by Paul Cohen using forcing, carried out at institutions including Stanford University and the University of California, Berkeley, demonstrated the complementary independence result: CH cannot be proved from ZFC if ZFC is consistent. Other influential contributors include Dana Scott, Robert Solovay, Harvey Friedman, W. Hugh Woodin, and Jech (Thomas Jech), each advancing techniques and alternative axioms in contexts like large cardinals and determinacy axioms.

Independence and results in set theory

Gödel's constructible universe L established that the Continuum Hypothesis is consistent with Zermelo–Fraenkel set theory with Choice provided ZFC itself is consistent, by showing L satisfies ZFC + CH. Cohen later introduced the method of forcing to construct models of ZFC in which CH fails, thereby proving independence. These two results together implied CH is independent of ZFC, a landmark outcome paralleling Gödel's incompleteness theorems in foundational significance. Independence prompted investigations into extensions of ZFC by axioms such as the Generalized Continuum Hypothesis (GCH), the Axiom of Determinacy, or strong hypotheses involving measurable cardinals and supercompact cardinals studied by researchers associated with Princeton University and Harvard University.

Models and methods of proof (forcing, inner models)

Two principal methods produced the core independence results: inner model theory and forcing. Gödel's inner model, the constructible universe L, is an example of an inner model satisfying desirable structural properties and was developed with tools from logicians linked to Harvard and the Institute for Advanced Study. Forcing, invented by Paul Cohen, builds generic extensions of models of ZFC and has been refined by logicians including Cohen's colleagues and successors like Kenneth Kunen and Jech. Forcing techniques couple with large cardinal hypotheses—pursued by researchers at institutions such as Princeton University and Rutgers University—to analyze how various axioms affect the continuum. Inner model theory, pursued by mathematicians like Donald A. Martin and Woodin, constructs canonical models accommodating large cardinals and probes whether specific continuum sizes follow from such assumptions.

Consequences and related hypotheses

The independence of CH led to many related propositions about continuum size, including the Generalized Continuum Hypothesis proposed by Cantor and formalized by others, and alternative proposals like Martin's Axiom developed by Donald A. Martin and Robert M. Solovay. Connections arise with the study of cardinal arithmetic by Saharon Shelah, combinatorial principles like the diamond and square principles investigated by Jensen and Devlin, and descriptive set theory concerns explored by Moschovakis. Results about the continuum inform and are informed by concepts like measurable cardinals, the continuum function studied by Easton, and forcing axioms such as the Proper Forcing Axiom associated with S. Todorcevic and Martin.

Philosophical and foundational implications

The CH independence highlighted limitations of axiomatic systems and spurred debate among philosophers and mathematicians including Bertrand Russell, Ludwig Wittgenstein, and later commentators at institutions such as Oxford University and Cambridge University. It prompted exploration of pluralist and realist stances on mathematical existence, influencing programs by proponents such as Hugh Woodin advocating new axioms, and critics who prefer caution advocated by scholars at Columbia University and Princeton University. Foundations discussions intersect with work on formal proof, automated theorem proving advanced at Carnegie Mellon University and Stanford University, and curriculum decisions by societies like the American Mathematical Society.

Category:Set theory