The Continuum Hypothesis
random trip report
This seems pretty straightforward, kind of like saying that there are no integers between 0 and 1. It should be easy to prove or disprove, right?
Wrong. No one made any progress on it, and in 1900 David Hilbert put it first on his famous list of 23 open problems.
Remarkably, it turns out that CH can be neither proved nor disproved from the current axioms of mathematics. The two parts of this assertion were proved by Kurt Godel (in 1940) and Paul Cohen (in 1963). For his part of the proof, Cohen invented a general-purpose technique called "forcing". When I retire, I vow to learn about forcing, starting by reading Forcing for Dummies.
In other words, unless a new axiom comes along - some basic, obvious fact that has somehow eluded mathematicians to date - we will never know if CH is true or false. This is analogous to the Heisenberg Uncertainty Principle, which proves (from the axioms of quantum mechanics) that we can't measure both the position and momentum of a particle. It imposes a hard upper bound on what we puny humans can know.
Independently of whether we can prove CH, does it really have a unique truth value? Is there an unique abstract universe of sets in which there either is or isn't something intermediate in size between the integers and reals? We now enter the realm of the Philosophy of mathematics. "Platonism" is the belief that there is such an abstract universe; there are many competing beliefs.
Here's a video of a talk by Hugh Woodin.
Me personally? I'm an unabashed Platonist, and I lean towards thinking that CH is true. The incremental ways of making bigger sets (limits, products, etc.) can't go beyond the size of the integers. The power-set is the only way to make something bigger.