Virgil
Posts:
8,833
Registered:
1/6/11


Re: Distinguishability of paths of the Infinite Binary tree???
Posted:
Dec 29, 2012 3:42 PM


In article <4c775e80209d4953847556f76c203e86@r13g2000vbd.googlegroups.com>, WM <mueckenh@rz.fhaugsburg.de> wrote:
> On 28 Dez., 23:04, Virgil <vir...@ligriv.com> wrote: > > In article > > <2925a2eac16d483e91da3bb0084e7...@b16g2000vbh.googlegroups.com>, > > > > WM <mueck...@rz.fhaugsburg.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. 

