To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Jon Awbrey <jawbrey@xxxxxxx> |
Date: | Sat, 11 Sep 2010 10:56:09 -0400 |
Message-id: | <4C8B9889.3040700@xxxxxxx> |
John F. Sowa wrote: > > I agree with both. And I'd like to quote three of the famous > epigrams by Alan Perlis: > > 79. A year spent in artificial intelligence is enough to make one > believe in God. > > 80. Prolonged contact with the computer turns mathematicians into > clerks and vice versa. > > 102. One can't proceed from the informal to the formal by formal means. > > http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html (01) Formalization is an arrow with very fuzzy feathers. (02) http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems_:_Part_1#1.3.3.__Discussion_of_Formalization_:_General_Topics (03) Jon (04) -- (05) inquiry list: http://stderr.org/pipermail/inquiry/ mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1 oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey (06) _________________________________________________________________ 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 (07) |
Previous by Date: | Re: [ontolog-forum] Semantic Enterprise Architecture - Interoperability?, Patrick Durusau |
---|---|
Next by Date: | Re: [ontolog-forum] Semantic Enterprise Architecture - Interoperability?, Matthew West |
Previous by Thread: | Re: [ontolog-forum] Semantic Enterprise Architecture - Interoperability?, John F. Sowa |
Next by Thread: | [ontolog-forum] Language vs Logic, David Eddy |
Indexes: | [Date] [Thread] [Top] [All Lists] |