Peano Algebra and it's base theorem (fwd)

[Jim Choate]

Forwarded message:

> Date: Tue, 22 Sep 1998 10:02:23 -0500
> From: Mark Hahn <mhahn at tcbtech.com>
> Subject: Re: Peano Algebra and it's base theorem

> At 07:42 AM 9/22/98 -0500, Jim Choate wrote:
> >Peano Algebra's are based on the following:
> >
> >If a unary predicate P holds for 0, and if P holds, together with an element
> >x, also for it's succesor x', then P  holds for all natural numbers.
> 
> Didn't you over simplify this theorem somewhat.

It's taken word for word from VNR. Send 'em a letter.

The point is that we were discussing binary not integer mathematics.


    ____________________________________________________________________

                            The seeker is a finder.

                                     Ancient Persian Proverb

       The Armadillo Group       ,::////;::-.          James Choate
       Austin, Tx               /:'///// ``::>/|/      ravage at ssz.com
       www.ssz.com            .',  ||||    `/( e\      512-451-7087
                           -====~~mm-'`-```-mm --'-
    --------------------------------------------------------------------