Continuum problem

Continuum problem
Name	Continuum problem
Field	Mathematics, Set theory, Logic
Introduced	1878
Notable	Georg Cantor, David Hilbert, Kurt Gödel, Paul Cohen

Continuum problem is a central question in mathematical set theory asking about the possible sizes of infinite sets, specifically the cardinality of the set of real numbers relative to the set of natural numbers and other infinite cardinalities. It was formulated by Georg Cantor and became the first of David Hilbert's famous problems in 1900, motivating major work by Kurt Gödel, Paul Cohen, Ernst Zermelo, Abraham Fraenkel, and many others in the development of modern Zermelo–Fraenkel formalism.

Background and statement of the problem

Cantor established that the set of real numbers has strictly greater cardinality than the set of natural numbers via the diagonal argument, introducing the notion of cardinality and infinite cardinal numbers such as alephs. The continuum is the cardinality of the reals, often denoted 2^{\aleph_0}, and the problem asks whether any cardinal exists strictly between \aleph_0 and the continuum. Cantor conjectured a specific identification with \aleph_1, a conjecture later named the Continuum Hypothesis by Hilbert and included as Hilbert's first problem. The problem sits within formal frameworks developed by Zermelo, Fraenkel, Skolem, and was later studied under axiomatic systems such as ZFC.

Historical development

Cantor's early work connected to correspondences between sets and the introduction of transfinite numbers, prompting reactions from figures like Kronecker and support from mathematicians like Dedekind. Hilbert elevated the problem in the 1900 International Congress of Mathematicians lecture. During the early 20th century, logicians such as Zermelo, von Neumann, and Kurt Gödel developed formal theories and models; Gödel proved relative consistency results using constructible sets and the class L, showing that the Continuum Hypothesis cannot be disproved from ZF plus Choice if ZF itself is consistent. Later, Paul Cohen introduced the method of forcing to show independence results, building on ideas from Łoś, Scott, and Feferman. Developments involved contributions by Tarski, Gödel, Quine, Mahler, and later researchers including Kunen, Jech, Lévy, Shelah, and Woodin.

Independence from Zermelo–Fraenkel set theory

Gödel's 1940 result showed that the Continuum Hypothesis is consistent with ZFC if ZFC is consistent, via the L and definability techniques. Cohen's 1963 breakthrough using forcing established that the negation of the Continuum Hypothesis is also consistent with ZFC if ZFC is consistent, completing independence. These milestones engaged logicians like Cohen, Bell, Scott, and Solovay in refining methods for relative consistency and independence proofs. Subsequent work by Gödel, Cohen, Feferman, Friedman, and Sacks explored metamathematical limits and hierarchies of undecidability in axiomatic systems related to the problem.

Approaches and proposed resolutions

Researchers have proposed new axioms and frameworks to settle the question by extending ZFC, including large cardinal axioms championed by Gödel and developed by Conway and Erdős in influence on combinatorial set theory. Theories involving measurable cardinals, supercompact cardinals, and inner model theory advanced by Mitchell, Martin, Woodin, Schindler, and Cummings aim to provide canonical extensions that decide the continuum's size. Forcing axioms like Martin's axiom and Proper Forcing Axiom introduced by Martin and Todorcevic favor continuum values beyond \aleph_1; work by Larson, Eisworth, and Shelah studies consequences. Woodin proposed the Ultimate L program and determinacy axioms, linking determinacy results from Martin and Steel to continuum questions. Alternative frameworks include constructive approaches and research by Martin-Löf and Bishop on constructive foundations, as well as category-theoretic perspectives influenced by Mac Lane and Lawvere.

Consequences and related concepts

Independence of the Continuum Hypothesis reshaped views on decidability and truth in mathematics, paralleling results such as Gödel's incompleteness theorems and impacting areas studied by Cohen and Ulam in combinatorics. It interacts with cardinal characteristics of the continuum such as the bounding number and dominating number studied by Bartoszyński, Judah, and Neeman. Connections appear in descriptive set theory through work by Gödel, Kechris, Moschovakis, and Woodin, and in measure and category theory traced to Borel, Lebesgue, Luzin, and Luzin school influences. Forcing methods influenced model theory research by Shelah, Keisler, and influenced independence phenomena in algebraic topology contexts studied by Milnor and Atiyah.

Philosophical and foundational implications

The continuum question provoked debates in the philosophy of mathematics among figures such as Russell, Wittgenstein, Putnam, Gödel, Benacerraf, Quine, and Feferman about mathematical realism, platonism, formalism, and the nature of mathematical truth. Advocates for new axioms, including Woodin, argue for extending axiomatic bases in analogy to acceptance of axioms like Choice after work by Zermelo and von Neumann. Others, influenced by Wittgenstein and Heyting, support constructive or pragmatic stances. The problem continues to shape discussions involving philosophers and mathematicians such as Kitcher, Field, Dummett, and contemporary logicians like Woodin and Maddy on criteria for axiomatic acceptance and mathematical ontology.

Category:Set theory