Date: Feb 9, 2013 5:59 AM
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.