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: Distinguishability of paths of the Infinite Binary tree???
Replies: 69   Last Post: Jan 4, 2013 11:11 PM

 Messages: [ Previous | Next ]
 ross.finlayson@gmail.com Posts: 2,720 Registered: 2/15/09
Re: Distinguishability of paths of the Infinite Binary tree???
Posted: Dec 30, 2012 3:57 PM

On Dec 30, 12:18 pm, Virgil <vir...@ligriv.com> wrote:
> On 12/29/2012 11:22 AM, WM wrote:
>
>
>
>
>
>
>
>
>

> > On 28 Dez., 23:04, Virgil <vir...@ligriv.com> wrote:
> >> In article

>
> >>   WM <mueck...@rz.fh-augsburg.de> wrote:
> >>> On 27 Dez., 21:49, Virgil <vir...@ligriv.com> wrote:
>
> >>>>> It is the set
> >>>>> of all finite paths extending from the root node to a given node.

>
> >>>> In every Complete Infinite Binary Tree, every finite path ends at
> the
> >>>> root node of of another Complete Infinite Binary Tree. So for every
> >>>> finite path, there are uncountably many extensions of it in every
> >>>> Complete Infinite Binary Tree.

>
> >>> And every extension is contained in the CIBT constructed from all
> >>> finite paths.

>
> >> Claimed but never proven.
>
> > Definitions need not be proven.
>
> That they are instantiated must be proven, and that you have not done.
>
> You have not proven that there is a CIBT constructed or constructible so
> as NOT to contain uncountably many paths, whereas many have proven that
> any CIBT must have more than any countable set of paths in order to be a
> COMPLETE INFINITE BINARY TREE.
>
> Given any countable set of such paths, any proof that they are countable
> requires that they be listable, but one can prove that they are not
> listable by showing that no list of them can be complete.
> And no mater how vociferously WM tries to argue otherwise, in standard
> mathematics that can all be done.
> --

Well, not when "standard" was "pre-Cantorian", they didn't have the
notion of a relevant structure of what "uncountability" might be.
Then, to declaim that modern mathematics as "standard" proves that a
diagonal argument as Al-Jofar's for the tree holds, is well true, but,
modern mathematics is incomplete, and, as described above, a bread-
first traversal of the tree, sees that not hold.

Basically establishing a symmetry through the center of the tree, in
the lexicographic ordering of the paths, then from seeing that from
left at zero to right at one there is the inexhaustibility of the
domain as to course-of-passage, with a "completed" infinity or for
that matter, as modeled from the finite, completed symmetry: this non-
standard (or not-yet-standard) course, that is well supported by the
classical and as well in asymptotics by the modern and concrete, sees
different results from that.

Draw the line, Cantor shows is it's point-to-point, not the stippling
of the stellation, our complete ordered field as structure above the
continuum follows from simpler principles (of points that make space).

Draw the line. Split the tree. Diagonal? Where's the middle? The
middle is defined by the ends.

Regards,

Ross Finlayson

Date Subject Author
12/23/12 Zaljohar@gmail.com
12/24/12 mueckenh@rz.fh-augsburg.de
12/24/12 Virgil
12/24/12 mueckenh@rz.fh-augsburg.de
12/24/12 Virgil
12/25/12 mueckenh@rz.fh-augsburg.de
12/25/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Virgil
12/28/12 mueckenh@rz.fh-augsburg.de
12/28/12 Virgil
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/30/12 fom
12/30/12 mueckenh@rz.fh-augsburg.de
12/30/12 fom
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
1/4/13 ross.finlayson@gmail.com
12/30/12 forbisgaryg@gmail.com
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/26/12 Zaljohar@gmail.com
12/26/12 Virgil
12/26/12 Zaljohar@gmail.com
12/26/12 gus gassmann
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Zaljohar@gmail.com
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Zaljohar@gmail.com
12/28/12 mueckenh@rz.fh-augsburg.de
12/28/12 Zaljohar@gmail.com
12/28/12 Virgil
12/29/12 Zaljohar@gmail.com
12/29/12 Virgil
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/28/12 Zaljohar@gmail.com
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/27/12 Virgil
12/26/12 fom
12/26/12 Virgil
12/26/12 fom
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 forbisgaryg@gmail.com
12/26/12 Virgil
12/26/12 fom
12/27/12 gus gassmann
12/27/12 Tanu R.
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Tanu R.
12/27/12 Virgil
12/28/12 Zaljohar@gmail.com
12/28/12 Virgil
12/27/12 fom
12/27/12 Virgil
12/24/12 Ki Song