Date: Mar 3, 2013 5:22 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 3 Mrz., 00:08, William Hughes <wpihug...@gmail.com> wrote:
> On Mar 2, 11:10 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>
>
>
>

> > On 2 Mrz., 19:24, William Hughes <wpihug...@gmail.com> wrote:
>
> > > 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"

>
> > since there do not exist more than m FIS of the diagonal.
>
> > > to be silly.
>
> > Because you do not yet fully understand potential infinity: There do
> > not exist more than m FIS of the diagonal.

>
> Oh, I understand all right.  It is just that I think
> calling m (which cannot be a findable
> natural number and behaves exactly like m(t))
> a natural number is silly.
>
>
>

> > Question: Do you find your characterization of the situation in
> > finished infinity not silly? Don't you see a mathematical
> > contradiction of the sentence: There are all FIS of d in the list but
> > not in one single line?

>
> Not at all. Clearly
> there are all FIS of d in one single line
> iff there is a last line.
> I do not consider the sentence
> "There is no last line"
> to be a contradiction.-


But "there are all FIS" is not a contradiction, if they must be in
more than one line of a list that contains only lines that contain
everything that is in all preceding lines?
Amazing.

Regards, WM