Date: Feb 7, 2013 9:46 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots
On 7 Feb., 15:40, William Hughes <wpihug...@gmail.com> wrote:

> On Feb 7, 3:36 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>

>

>

>

>

> > On 7 Feb., 15:21, William Hughes <wpihug...@gmail.com> wrote:

>

> > > On Feb 7, 3:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>

> > > > On 7 Feb., 14:44, William Hughes <wpihug...@gmail.com> wrote:

>

> > > > > On Feb 7, 2:32 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>

> > > > > > I do not agree that <snip> ~6

> > > > > > follows from 3.

>

> > > > > Nor does anyone else.

>

> > > > Then d is not actually infinite.

>

> > > Nope, that does not follow. 6 just says that

> > > all FISONS of d are terminating

> > > It does not say d is terminating.

>

> > And 4 just says that all FISs of the list do not contain d. It does

> > not say that a nonterminating list does not contain d.

>

> Indeed. For that you need induction. WM can show you

> how this is done

Induction works only for all natural numbers. In that domain we know

that 4, 5, and 6 hold.

Regards, WM