[Top] [All Lists]

Re: [ontolog-forum] Terminology and Knowledge Engineering

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Thu, 26 Jan 2012 01:53:45 +0100
Message-id: <32B8CB63-A83B-4CBC-8B7B-D437C4F740BF@xxxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>