Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 191
Posted: Jan 12, 2013 5:27 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 12 Jan., 19:34, Zuhair <zaljo...@gmail.com> wrote:
> > On Jan 12, 3:26 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> >
> >
> >
> >

> > > On 12 Jan., 12:45, Zuhair <zaljo...@gmail.com> wrote:
> >
> > > > On Jan 12, 11:56 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> > > > > Matheology § 191
> >
> > > > > The complete infinite Binary Tree can be constructed by first
> > > > > constructing all aleph_0 finite paths and then appending to each path
> > > > > all aleph_0 finiteley definable tails from 000... to 111...

> >
> > > > No it cannot be constructed in that manner, simply because it would no
> > > > longer be a BINARY tree.

> >
> > > No? What node or path would be there that is not a node or path of the
> > > Binary Tree? This is again an assertion of yours that has no
> > > justification, like many you have postes most recently, unfortunately.

> >
> > Notice also that one can have a COUNTABLE tree (i.e. a tree that has
> > countably many paths and nodes) that has finite paths
> > indistinguishable from the finite paths of the complete binary tree by
> > labeling of their nodes.

>
> I noticed that already some years ago.

> >
> > Let me show an example at finite level, take the three level binary
> > tree:
> >
> >     0
> >    /  \
> >   0   1
> >  / \   | \
> > 0 1  0 1
> >
> > I can have the following tree:
> >
> >        0
> >  /  /  | \ \  \
> > 0 1  0 0 1 1
> >        |  |  |  |
> >        0 1 0 1
> >
> > Hope that helps.

>
> No, you have not understood. By attaching one or more infinite tails
> to every finite path the Binary Tree is not changed in any discernible
> way. The path have exactly the nodes that belong to the tree. The only
> difference is that infinitely many paths cross each node. But even
> that is not really a difference, because it was the case in the
> original Binary Tree too. Try to find out what the reason is.

Every path in a Complete Infinite Binary Tree can be represented as a
binary sequence of successive left child versus right child branchings
and every such sequence determines a unique path.

And Cantor showed that no sequnce of such infinite binary sequences
cannot be complete, thus cannot be countable.

And no matter how WM squirms, he cannot make it otherwise.
--

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 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 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