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

On 9 Feb., 00:49, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 8, 11:38 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>
>
>
>

> > On 8 Feb., 23:26, William Hughes <wpihug...@gmail.com> wrote:> More WM logic
>
> > > L is a potentially infinite
> > > list and d is the potentially infinite
> > > anti-diagonal

>
> > > From
> > >     i.  For every natural number n, d
> > >         is not the nth line of L

>
> > correct.
>
> > >     ii. i. implies that there is no
> > >         natural number m such that
> > >         d is the mth line of L

>
> > No such m can be fixed.
>
> Your claim is that no such m exists.-


You argue exactly as if you would prove that the even numbers are
larger than the odd numbers, by showing that for every odd number
there is a larger even number. Of course the latter is right, but it
does not prove the claim.

For every even number there exists a larger odd number although no
largest odd number can be fixed.

For every FIS of d there exist a line surpassing it. Although no line
m can be fixed that is surpassing every FIS of d.

Regards, WM