Am Jan 26, 2012 um 1:16 AM schrieb Pat Hayes:
> On Jan 25, 2012, at 9:15 AM, Rich Cooper wrote:
> ...
>> Personally, I never use Robinson Arithmetic,
>
> Actually (like everyone else) you probably do without even knowing you are
>doing. (01)
I had said the opposite but in hindsight yours is a better answer. What I had
in mind is that Robinson Arithmetic is too weak for doing much interesting
theoretical number theory — it doesn't even prove, e.g., that every nonzero
number has a predecessor — but, in fact, since it includes the usual recursion
axioms for addition and multiplication, for workaday sums and products, it is
in fact probably all that anyone ever uses. (02)
-chris (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (04)
|