Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Matheology § 191
Replies: 91   Last Post: Jan 18, 2013 2:44 AM

 Search Thread: Advanced Search

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 191
Posted: Jan 13, 2013 4:51 PM
 Plain Text Reply

On 13 Jan., 22:45, Virgil <vir...@ligriv.com> wrote:
> In article
> <bf5b8afa-bd4d-4f8e-9414-ff26ba2b7...@w8g2000yqm.googlegroups.com>,
>
>  WM <mueck...@rz.fh-augsburg.de> wrote:

> > There are not uncountably many finite (initial segments of) paths. And
> > also any anti-diagonal can only differ from other paths in its (and
> > their) finite initial segments. Unless your silly idea of nodes at
> > level aleph_0 was correct (it is not) there is no chance to differ at
> > other places than finite (initial segments of) paths. But that is
> > impossible if all of them are already there. And the latter is
> > possible, because they form a countable set.

>
> A set which WM cannot count!

Even you can count it!

0
1 2
3 4 5 6
...
>
> The definition of a set being countable is that there is a surjection
> from |N to that set.
>
> Thus in order to PROVE a set is countable one must show a surjection
> from |N to that set, which is just a listing, possibly with repetitions,
> of that sets members.
>
> But any listing of the paths of a Complete Infinite Binary Tree (as
> infinite binary sequences) proves itself incomplete.
>
> Thus the set of paths cannot be made to fit the "countable" definition.

Above you see the enumeration of the set

0.
0.0
0.1
0.00
0.01
0.10
0.11
...

Regards, WM

Date Subject Author
1/12/13 mueckenh@rz.fh-augsburg.de
1/12/13 Zaljohar@gmail.com
1/12/13 mueckenh@rz.fh-augsburg.de
1/12/13 Virgil
1/12/13 mueckenh@rz.fh-augsburg.de
1/12/13 Zaljohar@gmail.com
1/12/13 mueckenh@rz.fh-augsburg.de
1/12/13 Virgil
1/13/13 Zaljohar@gmail.com
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/14/13 mueckenh@rz.fh-augsburg.de
1/14/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/16/13 mueckenh@rz.fh-augsburg.de
1/16/13 Virgil
1/16/13 mueckenh@rz.fh-augsburg.de
1/16/13 Virgil
1/16/13 mueckenh@rz.fh-augsburg.de
1/16/13 Virgil
1/17/13 Ralf Bader
1/17/13 Virgil
1/17/13 mueckenh@rz.fh-augsburg.de
1/17/13 fom
1/17/13 mueckenh@rz.fh-augsburg.de
1/17/13 fom
1/17/13 mueckenh@rz.fh-augsburg.de
1/17/13 Virgil
1/18/13 Ralf Bader
1/18/13 Virgil
1/17/13 Jesse F. Hughes
1/17/13 mueckenh@rz.fh-augsburg.de
1/17/13 Jesse F. Hughes
1/17/13 mueckenh@rz.fh-augsburg.de
1/17/13 Jesse F. Hughes
1/17/13 Virgil
1/17/13 Virgil
1/17/13 Virgil
1/17/13 Virgil
1/17/13 mueckenh@rz.fh-augsburg.de
1/17/13 Virgil
1/13/13 Zaljohar@gmail.com
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/14/13 mueckenh@rz.fh-augsburg.de
1/14/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/13/13 Virgil
1/12/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/14/13 mueckenh@rz.fh-augsburg.de
1/14/13 Virgil
1/14/13 mueckenh@rz.fh-augsburg.de
1/14/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/15/13 mueckenh@rz.fh-augsburg.de
1/15/13 Virgil
1/12/13 Ben Bacarisse
1/12/13 mueckenh@rz.fh-augsburg.de
1/12/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/12/13 David C. Ullrich
1/12/13 mueckenh@rz.fh-augsburg.de
1/12/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil
1/14/13 mueckenh@rz.fh-augsburg.de
1/14/13 Virgil
1/14/13 mueckenh@rz.fh-augsburg.de
1/14/13 Virgil
1/12/13 Virgil
1/13/13 mueckenh@rz.fh-augsburg.de
1/13/13 Virgil

© The Math Forum at NCTM 1994-2017. All Rights Reserved.