[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: Avril Styrman <Avril.Styrman@xxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sun, 17 Feb 2008 22:21:49 -0500
Message-id: <47B8F9CD.4050809@xxxxxxxxxxx>
Avril and Pat,    (01)

Many years ago, Alan Perlis made a cogent remark about that idea:    (02)

AS>> One of Zadeh's ideas was to convert NL into PNL [Precisified
 >> Natural Language].    (03)

PH> And the best of luck to you and to Lotfi in actually managing
 > to do this.    (04)

Perlis, "Epigrams of Programming", _SIGPLAN Notices_, 1982:    (05)

102. One can't proceed from the informal to the formal by formal means."    (06)

For this and more bits of wisdom than most of this email, see    (07)

http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html    (08)

John    (09)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (010)

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