Date: Feb 20, 2013 5:30 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
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)

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)

Clearly any FIS that "actually exists"

is a line of the list.

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?