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

On 20 Feb., 11:30, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 20, 11:15 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>

> > On 18 Feb., 14:11, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > Please answer as politely: Is there any n with no line containing
> > > > d_1, ..., d_n

>
> > > No.
>
> > Please answer without using phrases like "all" or "totality" or
> > "complete collection" or "whole class" or "finished infinite" or "the
> > set": Can you name a union of FISs of the diagonal that is missing in
> > every line of the list?

>
> No  (The union of *every* FIS does not mean
> anything)


The union of every FIS means that for every n FIS(1) to FIS(n) are
united. Of course this union does not differ from FIS(n).
>
> A  statement you can make is that there
> is no line of the list with the property
> that it is coFIS to d.
> (you do not need every line or every FIS to "actually
> exist" to make this statement)


You need all FISs of d to make this statement. Again you drift astray
with actual infinity.

Correct is: For every FIS of d there is an identical line.
Look, you cannot, within this framework, that you agreed to, prove
anything for "all" FIS of d. You can only look for FIS 1 to FIS n.
Nothing further is possible.
>
> Clearly any FIS that "actually exists"
> is a line of the list.


Therefore we have identity with a line although we cannot name the
last line or last FIS of d. That's infinity.
>
> Let z be a potentially infinite sequence such that
> for some natural number m, the mth FIS of
> z contains a zero.
>
> Are z and x coFIS?


No.

(x was the sequence
1
11
111
...
)

Regards, WM