From: Jim Choate <ravage@einstein.ssz.com>
Date: Tue, 22 Sep 1998 09:30:01 +0800
To: cypherpunks@einstein.ssz.com (Cypherpunks Distributed Remailer)
Subject: Re: Peano Algebra and it's base theorem (fwd)
Message-ID: <199809221457.JAA03448@einstein.ssz.com>
MIME-Version: 1.0
Content-Type: text



Forwarded message:

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