Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Open Question

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?

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)
Connections

Question On

Source Continuum Hypothesis (Wikipedia)
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)
No disputes yet. Spotted an error or a better source? Open the first one.