W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

RE: Problems with dark triples approach

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 24 Apr 2002 10:35:19 -0500
Message-Id: <p0510152cb8ec80d72297@[]>
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.
>>>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')


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Wednesday, 24 April 2002 11:35:16 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:43 UTC