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

In article 
WM <> wrote:

> On 15 Jan., 08:23, Virgil <> 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
> Regards, WM
> Regards, WM