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

--