Date: Feb 15, 2013 6:19 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<fc951903-96d1-42bf-a9be-bbeffb9448f5@w7g2000yqo.googlegroups.com>,
William Hughes <wpihughes@gmail.com> wrote:

> On Feb 15, 10:30 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> > On 15 Feb., 00:44, William Hughes <wpihug...@gmail.com> wrote:
> >

> > > > > Two potentially infinite sequences x and y are
> > > > > equal iff for every natural number n, the
> > > > > nth FIS of x is equal to the nth FIS of y

> >
> > > So we note that it makes perfect sense to ask
> > > if potentially infinite sequences x and y are equal,

> >
> > and to answer that they can be equal if they are actually infinite.
> > But this answer does not make sense.
> > You cannot prove equality without having an end, a q.e.d..

>
> A very strange statement. Anyway there is no reason to
> claim equality. Let us define the term coFIS
>
> Two potentially infinite sequences x and y are said to be
> coFIS iff for every natural number n, the
> nth FIS of x is equal to the nth FIS of y.
>
> We note that it makes perfect sense to ask
> if potentially infinite sequences x and y are coFIS,
> we have cases where they are not coFIS and cases
> where they are coFIS.. We also note that no
> concept of completed is needed, so coFIS can
> be demonstrated by induction. In particular, you
> do not need a last element to prove that x and y
> are coFIS.
>
> So WMs statements are
>
> there is a line l such that d and l
> are coFIS
>
> there is no line l such that d and l
> are coFIS


Of course, everywhere outside of Wolkenmuekenheim, lines being coFIS
would be equal, but Wolkenmuekenheim is such a weird place that only WM,
its creator, can speak for what goes on in it.
--