Virgil
Posts:
4,479
Registered:
1/6/11
|
|
Re: Distinguishability of paths of the Infinite Binary tree???
Posted:
Dec 29, 2012 3:42 PM
|
|
In article
<4c775e80-209d-4953-8475-56f76c203e86@r13g2000vbd.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 28 Dez., 23:04, Virgil <vir...@ligriv.com> wrote:
> > In article
> > <2925a2ea-c16d-483e-91da-3bb0084e7...@b16g2000vbh.googlegroups.com>,
> >
> > 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.
But
"every extension is contained in the CIBT
constructed from all finite paths"
is a claim but not a definition.
As usual, WM bombs.
--
|
|
