<- previous    index    next ->

Continuum Hypothesis

The "Continuum Hypothesis" states that the cardinality
of the set of real numbers is two to the power of the
cardinality of the set of integers.

The cardinal number for a set is the size of the set.

There are infinitely many integers, denoted by Ω  omega,
or more modern א zero  Aleph-Naught.

There are infinitely many reals, denoted by 
2^א zero  = א one  Aleph-One.

The following is called a "proof by picture" that is typically
not accepted by strict mathematicians, yet, this is about
numerical computation.

We will write the real numbers from zero to about one,
as binary fractions. This is a subset of the real numbers
because each fraction may have every integer as its
integer part. We do not even bother to count that when
determining the cardinality of the real numbers.

We use a one-to-many  mapping from the integers
to the real fractions. The integer is at the top and
the real fraction runs vertically as binary.

At each step we take each real and make two reals by
appending a zero and one. The number of bits in the
fraction is the mapping from the integer.

Step 1: integer   1  there are 21 reals with 1 fractional bit
        real    0.0
                0.1

Step 2: integer    2 there are 22 reals with 2 fractional bits
        real    0.00
                0.01
                0.10
                0.11

Step 3: integer     3 there are 23 reals with 3 fractional bits
        real    0.000
                0.001
                0.010
                0.011
                0.100
                0.101
                0.110
                0.111

Step 4: integer      4 there are 24 reals with 4 fractional bits
        real    0.0000
                0.0001
                0.0010
                0.0011
                0.0100
                0.0101
                0.0110
                0.0111
                0.1000
                0.1001
                0.1010
                0.1011
                0.1100
                0.1101
                0.1110
                0.1111

The steps continue for all of the integers.
Thus: there are 2n real fractions in the range zero to one
for n integers.

Thus: there are two to the power Omega real fractions.
With a little hand waving, proving by picture that:

There are 2Ω real numbers, א Aleph Null, the cardinality of
the real numbers.

The hand waving is that n 2n becomes 2n as 
n becomes infinity.

qed.

Function programming is different

some information on Functional Programming
    <- previous    index    next ->