Date: Mar 2, 2013 1:24 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

On Mar 2, 6:27 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

We both agree that there is a natural number
valued function of time, m(t), such that
at any time t, m(t) is the index of an existing
line which contains all existing FIS of d.
We each believe that our m(t) is not constant.

We also agree that there does not exist
(in the sense of not able to find) a
natural number n such that the
nth line of L is coFIS with the
diagonal.

I find your characterization of this
situation as "there is a natural
number m such that the mth line
of L is coFIS with the diagonal"
to be silly.