Mathematics Atlas

How Proof Is Made
Open Questions

Is there really a size of infinity strictly between the integers and the real numbers, and if not, does that fact hold absolutely or only relative to which further axioms mathematicians choose to accept?

Citation Formats

General Reference

APA Style

BibTeX

Open Question

Godel (1940) and Cohen (1963) proved that the continuum hypothesis can be neither proved nor disproved from the standard ZFC axioms of set theory. That result closes the question of what ZFC alone can say, but it opens a harder one: whether CH has a determinate truth value at all, and if so what further axiom would reveal it. Mathematicians who accept that set theory describes a single true universe of sets, Godel among them, hold this is a real unanswered question rather than a dead end; committed formalists tend to hold there is nothing further to ask.

What would resolve this Either a broadly accepted new axiom for set theory, beyond ZFC, that settles CH one way or the other and gains the kind of consensus ZFC itself enjoys, or a philosophical argument persuasive enough to convince most set theorists that the independence result is the end of the matter rather than the start of a harder question.
OpenMathematical logic and set theoryContinuum Hypothesis (Wikipedia)
Cross-Tradition Connections

Question On

Sources
Continuum Hypothesis (Wikipedia)
Wikimedia FoundationArguments for and against sectionView the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.