Date: Feb 7, 2013 4:09 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots
In article

<3891294b-c16e-4bc6-aafd-fff66832822a@u21g2000vbo.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

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

> > 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.

>

> Invalid arguing.

Not outside of WMytheology!

--