- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Wed, 24 Apr 2002 10:35:19 -0500
- To: "Ziv Hellman" <ziv@unicorn.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? Foundations Of Mathematics. See http://www.math.psu.edu/simpson/fom/ (Third on Google, given 'FOM') Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 24 April 2002 11:35:16 UTC