RE: Problems with dark triples approach

>  >-----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