[Top] [All Lists]

Re: [ontolog-forum] Reducing IKL to CL

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: Tara Athan <taraathan@xxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, Fabian Neuhaus <fneuhaus@xxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 22 Jun 2014 21:01:11 -0500
Message-id: <C9DF87D3-B8BC-456A-BFB3-662C33E897CC@xxxxxxx>

On Jun 22, 2014, at 10:44 AM, John F Sowa <sowa@xxxxxxxxxxx> wrote:    (01)

> Pat,
> A publishable article is very different from an ISO standard.  Just
> look at the huge number of published books, articles, and dissertations
> about contexts, situations, modality, and metalanguage.  None of them
> are complete and definitive solutions.
>> I have never published [reducing IKL to CL] because it is clearly
>> incomplete and I have not been able to get Chris Menzel interested
>> enough in it to correspond with me about it.
> Hilbert's famous 10 problems (later 23) were incomplete.  But they
> stimulated some very important research.    (02)

Yes, but I am not Hilbert :-)    (03)

I have published quite a few articles, and IMO this idea is not yet ready for 
publication. But it is now publicly readable by anyone in this forum, and who 
knows, maybe someone will have an idea which will take it further.     (04)

Pat    (05)

> Suggestion:  Don't state it as a solution.  State it as a problem to
> be addressed, and discuss the various issues involved.  By opening up
> an important line of research, it could be far more influential than
> a finished solution.
> Fermat, for example, is more famous for what he didn't complete
> than for the many contributions he did.
> John
>     (06)

IHMC                                     (850)434 8903 home
40 South Alcaniz St.            (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile (preferred)
phayes@xxxxxxx       http://www.ihmc.us/users/phayes    (07)

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    (08)

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