The Continuum Hypothesis

Cantor proposed that the first infinite set larger than 0 was of size of the powerset of 0, which is the size of the set of reals. That proposition is known as the continuum hypothesis. If the continuum hypothesis is true, then

images/_pragprog/svg-0038.png

The continuum hypothesis turns out to be a really sticky problem. In the model of numbers constructed from set theory (and thus, in all set-theoretic mathematics!), it’s neither true nor false. That is, you can choose to treat it as true, and all of ZFC mathematics will be fine, because you’ll never be able to prove a contradiction. But you also can take it as being false, and still you won’t ...

Get Good Math now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.