Date: Feb 7, 2013 9:05 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 7 Feb., 14:44, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 7, 2:32 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > I do not agree that <snip> ~6
> > follows from 3.
>
> Nor does anyone else.

Then d is not actually infinite.

>
> You do agree that d in not a line of the list.

If d of

1
11
111
...

is not actually infinite, then it is in a line of the list since every
finite initial segment of d is there.

Regards, WM