Date: Feb 26, 2013 7:11 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
On Feb 26, 12:47 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>

We both agree

There does not exist an m

such that the mth line

of L is coFIS with the diagonal

(here we interpret "There does

not exist" to mean "we cannot find").

So we agree any such m must be an

unfindable natural number.

I am not interested in arguments

about whether an unfindable number exists.

[I still do not understand why

WM rejects the obvious proof by contradiction

Suppose that P is a predicate such that

for every natural number m, P(m) is true.

Assume a natural number, x, such that P(x)

is false exists.

call it k

Then P(k) is both true and false.

Contradiction, Thus the original assumption

is false and no natural number, x, such

that P(x) is false exists)

]

<snip>

> Every natural number is findable.

Which, according to WM does

not mean that you can prove every

natural number is findable.