[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Peano Algebra and it's base theorem (fwd)




Forwarded message:

> Date: Tue, 22 Sep 1998 10:02:23 -0500
> From: Mark Hahn <[email protected]>
> 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               /:'///// ``::>/|/      [email protected]
       www.ssz.com            .',  ||||    `/( e\      512-451-7087
                           -====~~mm-'`-```-mm --'-
    --------------------------------------------------------------------