Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: Comment #8 'Upper?'





I would like to include in the definition of "Upper" some notion of 
primitiveness of some portion of the concepts we will define.

By primitive here I refer to terms that will not use any others in 
their definitions, or terms that basically can't be defined formally, 
we just take their meaning for granted or provide some operational 
definition.

I haven't thought enough yet about how to word such a thing, but it 
doesn't seem to take much, on this list, to start the text generation 
machine.

-Chris

****NOTE NEW AREA CODE:
Christopher A. Welty        http://www.cs.vassar.edu/faculty/welty/
Vassar College Computer Science Dept.         Voice: (845) 437-5992
Poughkeepsie, NY 12604-0462                     Fax: (845) 437-7498