July 2013
Intermediate to advanced
282 pages
6h 28m
English
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

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 ...
Read now
Unlock full access