To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Thu, 2 Jun 2011 08:35:52 +0400 |
Message-id: | <BANLkTi=cFkbny0ZRVvAZ+9sz8Fqd3Jq9wg@xxxxxxxxxxxxxx> |
Just to save AI abbreviation we may keep in mind Algorithmic Intelligence ;-) As an example of non computable but well defined function we have the busy beaver function Σ of Tibor Radó [1].
Just to show a limitation of AI in maths at least.
2011/6/1 John F. Sowa <sowa@xxxxxxxxxxx>
_________________________________________________________________ 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 (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontolog-forum] Bad language - no biscuit., John F. Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Need advice - Request a quick opinion on ontology languages, Duane Nickull |
Previous by Thread: | Re: [ontolog-forum] Need advice - Request a quick opinion on ontology languages, John F. Sowa |
Next by Thread: | Re: [ontolog-forum] Need advice - Request a quick opinion on ontology languages, Duane Nickull |
Indexes: | [Date] [Thread] [Top] [All Lists] |