- From: Ziv Hellman <ziv@unicorn.com>
- Date: Thu, 18 Apr 2002 20:04:26 +0300
- To: "Pat Hayes" <phayes@ai.uwf.edu>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: <www-webont-wg@w3.org>
>-----Original Message----- >From: Pat Hayes [mailto:phayes@ai.uwf.edu] >Sent: Thursday, 18 April, 2002 2:53 >To: Jeremy Carroll >Cc: www-webont-wg@w3.org >Subject: Re: Problems with dark triples approach > >>At this stage my assumption is that an adequate theory of >classes for the >>semantic web will be a major research undertaking, on a par >with creating an >>adequate set theory. I believe that the latter took about 30 years. > >More like 60, actually, if you go back to Frege. > >>Given >>that we have the prior work to guide us, we may be able to >look for a factor >>of 10 speed up. > >What this optimism doesn't take into account is that the search for a >fully adequate set theory was basically abandoned by most >philosophers of mathematics about 25 years ago. (For more on this >topic than anyone probably wants to know, subscribe to the FOM >mailing list.) > FOM? What is that?
Received on Thursday, 18 April 2002 13:05:09 UTC