Re: SUO: On the supreme supertype
Robert,
I agree:
>### as indicated in my earlier message it would make a lot of sense. T
>could even stand for "THE true top type" :-)
Boolean algebra creates very nice lattices, in which T could
stand for True if it's a lattice of propositions or THE universe
if it's a lattice of sets.
>### but it actually could be preferable to have it start out standing for
>nothing :-) (as the French say, "les extrèmes se touchent" --and I
>always liked these projective spaces in geometry where the two infinities
>meet up)
But I also agree with Pat Hayes that if this group thinks that
the name of the top type is worth more than a millisecond of
debate, there is no hope for it to reach any agreement on
any substantive issues.
However, from the various ANSI, ISO, and IFIPS meetings that
we've attended, we didn't need any further evidence to convince
us of that point.
John