Date: Jan 15, 2013 1:54 PM
Author: Virgil
Subject: Re: WMatheology � 191

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

--