> >-----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/~phayesReceived on Wednesday, 24 April 2002 11:35:16 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT