Date: Mar 21, 2014 4:20 AM
Author: Virgil
Subject: Re: � 454 Equality and the axioms of natural numbers
In article <a280559d-fcb6-4ca3-b4fb-f881b5edbbf3@googlegroups.com>,

mueckenh@rz.fh-augsburg.de wrote:

> On Friday, 21 March 2014 01:08:38 UTC+1, Virgil wrote:

> > In article <4bJWu.19896$x%2.3254@fx02.iad>,

> >

> > "Dan Christensen" <Dan_Christensen@sympatico.ca> wrote:

> >

> >

> >

> > > Then let us know whether pi is a natural number - from the Peano axioms

> >

> > > which, according to you, "fully capture the common intuition of the

> > > natural

> >

> > > numbers".

> >

> >

> >

> > First give us your definition of pi.

>

> It is the circumference of an ideal circle divided by its diameter.

> You can also understand the area of this circle divided by it radius^2 as pi.

> >

> >

> >

> > I suspect that your definition will clash with the Peano axioms using

> > either 0 or 1 as the non-successor natural and x + 1 as successor of x

>

> That is obviuos. But the modern logicians do not know what +1 means.

The ones outside of WM's wild weird world of WMytheology do,

but WM can only speak for those incarcerated within his WMytheology.

--