Re: ASSERTION, QUESTION, SUGGESTION - final draft

From: Pat Hayes (phayes@ai.uwf.edu)
Date: 12/31/69


>"David R. Karger" wrote:
>
>>  Use standard math vocabulary---
>>  InjectiveProperty, SurjectiveProperty, BijectiveProperty.

Oh come on, get real. Do you think that the average DAML writer is 
going to have a graduate education in mathematics? This is supposed 
to be a WEB language, not a tool for mathematicians.

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


This archive was generated by hypermail 2.1.4 : 03/26/03 EST