This article is about the hypothesis in set theory. For the assumption in fluid mechanics, see Continuum assumption. For the album by Epoch of Unlight, see The Continuum Hypothesis (album).
In mathematics, specifically set theory, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states:
"There is no set whose cardinality is strictly between that of the integers and the real numbers."
Or equivalently:
"Any subset of the real numbers is either finite, or countably infinite, or has the cardinality of the real numbers."
In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to the following equation in aleph numbers: , or even shorter with beth numbers: .
The continuum hypothesis was advanced by Georg Cantor in 1878,[1] and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC, so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent. This independence was proved in 1963 by Paul Cohen, complementing earlier work by Kurt Gödel in 1940.[2]
The name of the hypothesis comes from the term the continuum for the real numbers.
^Cite error: The named reference Cantor1878 was invoked but never defined (see the help page).
^Cite error: The named reference Gödel1940 was invoked but never defined (see the help page).
and 21 Related for: Continuum hypothesis information
In mathematics, specifically set theory, the continuumhypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states:...
The second continuumhypothesis, also called Luzin's hypothesis or Luzin's second continuumhypothesis, is the hypothesis that 2 ℵ 0 = 2 ℵ 1 {\displaystyle...
{\displaystyle (\aleph _{1},\aleph _{2},\aleph _{3},\ldots ).} His continuumhypothesis is the proposition that the cardinality c {\displaystyle {\mathfrak...
second smallest is ℵ 1 {\displaystyle \aleph _{1}} (aleph-one). The continuumhypothesis, which asserts that there are no sets whose cardinality is strictly...
The term weak continuumhypothesis can be used to refer to the hypothesis that 2 ℵ 0 < 2 ℵ 1 {\displaystyle 2^{\aleph _{0}}<2^{\aleph _{1}}} , which is...
in the aleph number hierarchy, but it follows from ZFC that the continuumhypothesis (CH) is equivalent to the identity 2ℵ0 = ℵ1. The CH states that there...
for which the continuumhypothesis fails can be solved using statistical mechanics. To determine whether or not the continuumhypothesis applies, the Knudsen...
American mathematician. He is best known for his proofs that the continuumhypothesis and the axiom of choice are independent from Zermelo–Fraenkel set...
assume the generalized continuumhypothesis. If the continuumhypothesis holds, all real closed fields with cardinality of the continuum and having the η1...
argument may not be valid in some particular case. Consider the continuumhypothesis, stating that there is no set with size strictly between the size...
believed the continuumhypothesis to be true and tried for many years to prove it, in vain. His inability to prove the continuumhypothesis caused him considerable...
The continuumhypothesis is independent of ZFC, a standard axiomatization of set theory; that is, it is impossible to prove the continuumhypothesis or...
real line Continuum (topology), a nonempty compact connected metric space (sometimes Hausdorff space) Continuumhypothesis, the hypothesis that no infinite...
paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". In this paper, he proved that the constructible universe is an...
most notably, to the continuumhypothesis, which was proposed by mathematician Georg Cantor in 1873. The continuumhypothesis represents a tendency for...
statement that is independent of ZF. For example, the generalized continuumhypothesis (GCH) is not only independent of ZF, but also independent of ZFC...
{\displaystyle \aleph _{0},\aleph _{1},\dots } ), but unless the generalized continuumhypothesis is true, there are numbers indexed by ℵ {\displaystyle \aleph } that...
universe of set theory in which the continuumhypothesis must hold. In 1963, Paul Cohen showed that the continuumhypothesis cannot be proven from the axioms...
Ambiguity Amorality Anattā Anomie Après moi, le déluge Cognitive bias Continuumhypothesis God is dead Illusion Incompleteness theorems Infinite regress Last...
the continuumhypothesis or the axiom of choice, the inner model L constructed inside the original model will satisfy both the generalized continuum hypothesis...
reasons and that would decide the continuumhypothesis. Many large cardinal axioms were studied, but the hypothesis always remained independent from them...