Virgil
Posts:
4,661
Registered:
1/6/11
|
|
Re: WMatheology � 191
Posted:
Jan 15, 2013 1:54 PM
|
|
In article
<e3bfe180-1cbe-415a-a2c9-0f1dd676fb45@w3g2000yqj.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 15 Jan., 08:23, Virgil <vir...@ligriv.com> wrote:
>
> > > But here is the list: All finite initial segments of all decimal
> > > expansions are included.
> >
> > That is not a list.
>
> The set is countable. There exists a bijection with |N. So list-
> fetishists should be able to set up a list of that set.
Your set is not a list until that bijection, or at least a surjection,
from |N to your set has been explicitly established, at which point an
antidiagonal which is not listed can be shown to exist.
>
> > And for paths in a Complete Infinite Binary Tree,
> > decimal expansions are totally irrelevant and contra indicated.
>
> A Binary Tree contains binary expansions. But in the list usually
> decimal expansions are used.
Not in binary trees. One can represent paths in a binary tree by
infinite binary sequences, but a bijection between the set of all binary
paths and the set of all decimal sequences is considerably more
complicated
>
> Regards, WM
>
> Regards, WM
--
|
|
