6
$\begingroup$

Was asked this question, and I have no idea about how to start proving it.

Could someone give me some good reference material to start with.

  • 5
    It is unproveable in ZFC set theory if there is a cardinal between $\aleph_0$ (rationals) and $2^{\aleph_0}$ (irrational).2012-09-17
  • 8
    This is called the continuum hypothesis. Googling will give you good results.2012-09-17
  • 2
    Dear William: it is quite unlikey that you comment is of help to the OP...2012-09-17
  • 0
    @MarianoSuárez-Alvarez at least it give me terms that I should look up and learn more about. Nothing is really lost in asking stupid questions, even if others answers are for now beyond my knowledge.2012-09-17
  • 0
    To elaborate. The question is related to the continuum hypothesis. You can produce models of $ZFC$ where $\aleph_1 = 2^{\aleph_0}$ and a model where $\aleph_1 < 2^{\aleph_0}$. In the former, there is no cardinality in between. In the latter, there is. Hence the axioms of $ZFC$ can not prove the continuum hypothesis.2012-09-17
  • 0
    @William this is the cool math that should be taught earlier in ones schooling.2012-09-17
  • 0
    I agree. The concept of bijections and cardinality can be introduced fairly quickly. However the independence result is often done using constructibility and forcing, which are more technical.2012-09-17

1 Answers 1

14

The assertion that there is none is called The Continuum Hypothesis, and it is provably unprovable from the usual axioms of mathematics. Cantor made this hypothesis some 150 years ago, and it was in fact the first on Hilbert's problems.

Historically Cantor asked this a long time before there was a formal foundation to set theory. Some time into the 20th century the formulation of set theory as we know it today began to take shape. Now we use an axiom system called ZFC, originally formulated by Zermelo, with additional axioms by Fraenkel, and with the axiom of Choice adjoined.

Gödel proved in the subsequent years that if a theory is consistent then it has a model, and much later he showed that if ZF is consistent then ZFC+CH (and more) is consistent. He did this by constructing what is known as The Constructible Universe in modern set theory.

In 1963 Paul Cohen came up with a technique which is known as Forcing, in which we begin with a model of set theory and we extend it by adding a particular set which has certain properties. Using this technique he showed that if ZFC+CH is consistent then it is so is ZFC+"CH is false".

Combining the two results we have that from the usual axioms of set theory (namely, ZFC) we cannot prove nor disprove the continuum hypothesis. Both Gödel's work as well Cohen's are complicated and technical. Most books about axiomatic set theory should cover them at some point. For example Kunen's or Jech's.

  • 0
    Unless we accept law of excluded middle there is no reason to regard or disregard CH.2012-09-17
  • 0
    @Norbert: I don't like math where you can't prove by contradiction...2012-09-17
  • 0
    So do I${}{}{}$2012-09-17
  • 0
    @Norbert so you like math where you can't prove by contradiction?2012-09-18
  • 0
    @MaoYiyi I like proofs without ad absurdum approach2012-09-18
  • 1
    @Norbert: I think that you may have missed the double negation in my previous comment; or that you may have applied some intuitionistic logic to it and did not deduce that the double negation can be eliminated... :-)2012-09-20