Posted on Leave a comment

Continuum Hypothesis

Georg CantorGeorg Cantor’s conjecture, the Continuum Hypothesis

Without equations, this states that for any set of real numbers, S, one of three things happen:

  1. S is finite.
  2. S has a 1-1 correspondence to the integers.
  3. S has a 1-1 correspondence to the reals.

There is nothing in between the integers and reals. Kurt Goedel showed that this was consistent with set theory, and Paul Cohen showed that its negation was consistent. In other words, CH is an undecidable proposition of Zermelo-Frankel set theory (and of ZFC, ZF with the Axiom Of Choice). Ditto for the Generalized Continuum Hypothesis. — Eric Jablow

Continue reading Continuum Hypothesis