From: Tomaz Kristan (me2icq@icqmail.com)
Date: Thu Feb 05 2004 - 00:34:04 MST
On Wed, 4 Feb 2004 18:26:44 -0500, "Psy-Kosh" wrote:
> What do you mean? My understanding was that the
> incompletenes theorem
> applied to any system capable of "talking about"
> arithmetic.
>
Well, in fact it is enough to dump the multiplication
out of naturals, to get the so called Presburger's
arithmetic, and no incompleteness any more.
Of course, you may curb the infinity also to avoid
Goedel and his rather scary theorems. Only if you
insist on the infinite arithmetic (or on something
more), you have to deal with it -- somehow.
-------------------------------------------------------------
Sign up for ICQmail at http://www.icq.com/icqmail/signup.html
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:45 MDT