SUO: Re: IFF Comments Requested
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
JF = Jim Farrugia
PH = Pat Hayes
JF: Please submit your comments by October 18, 2001, replying
to this subject line ("IFF Comments Requested"), so that
we can easily gather all comments. (At some point later,
we may suggest other subject lines to group together
related comments.
PH: OK, I have a few.
PH: First, I fail to see the utility of the emphasis placed on category theory.
This is not motivated anywhere, but it badly needs to be motivated if you
expect anyone to take it seriously enough to even read the sources to
find out what you are talking about.
I think that the following is a fair statement:
A modest amount of category theory, along with
a modest amount of set theory, is indispensable
to understanding what mathemtics is about and how
mathematics is done today. This is important, not
just for representing the ontology of mathematical
objects, structures, and systems, but further, and
more importantly for applications, because these
objects, structures, and systems are used in
modeling most other objects, processes, and
situations of any complexity that anyone
might happen to care about.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤