Date: Feb 25, 2013 5:37 PM
Subject: Re: Matheology § 222 Back to the roots
On 25 Feb., 16:11, William Hughes <wpihug...@gmail.com> 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").
And again you interpret as *the* diagonal the actual infinity of *all*
*Every* FIS of the diagonal is a line.
What we cannot find is a last line and is a last FIS of the diagonal.
*Both* are unfindable. Therefore it is highly biased to talk about
> Indeed if we throw findable in
> we agee with a lot of stuff.
> There is no findable largest natural
> There is no ball with a findable index
> in the vase.
And there is no findable set of natural numbers (remember, we cannot
use "all natural numbers" and related sets) that would require more
than one line. Similarly there is no FIS of d that would require more
than one line. Since there is not more than every FIS of d and since
there is every line we can only talk about every FIS and line: For
every FIS of d there is a line of the list. And more is not in d.