[Top] [All Lists]

Re: [ontolog-forum] Can Syntax be Semantic?

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sat, 23 Jan 2010 16:14:19 -0600
Message-id: <1A603CEC-7E2C-4C8A-958A-A3D5B1E24840@xxxxxxxx>
On Jan 23, 2010, at 4:11 AM, FERENC KOVACS wrote:
Rob, Chris,


It is nice to read that AI representatives have their own paradigm of the limits of computability and undecideability, surely a highly technical formulation of a very simple problem common to everyday experience.

"AI representatives" no more have their own paradigm of the limits of computability than they have their own paradigm of what it is for a number to be prime.  Computability and (un)decidability are objectively defined concepts in mathematical logic and computer science and to demonstrate that a function is computable or that a problem is decidable or undecidable is (once again) no different in kind that proving that a given number is prime.  "Simple problem[s] of everyday experience" will typically not have any bearing on questions of computability and (un)decidability.  Of course, there might be analogies of these notions in everyday experience — but they are typically not going to be the same concepts.

Chris Menzel

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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