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