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