Date: Feb 7, 2013 1:21 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
On Feb 7, 7:12 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

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

>

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

> > > > > > all FISONS of d are terminating

> > > > > > It does not say d is terminating.

> > > Induction works only for all natural numbers.

>

> > Which is all you need.

>

> No.

As you have noted, it is all you need to show

that d is not a line of the list.

>In order to see that d is non-terminating you need something more.

Nope, use induction. For every natural number n there are

more elements of d.