From: Richard A. O'Keefe <ok_at_cs.otago.ac.nz>

Date: Tue, 21 Nov 2006 17:11:35 +1300 (NZDT)

Date: Tue, 21 Nov 2006 17:11:35 +1300 (NZDT)

I wrote:

I have to leave in a few minutes, and the Department is closed tomorrow

for a funeral, so I don't have time to reply at once in full to

Joachim Schimpf's <js10_at_crosscoreop.com> important contribution to this

thread.

But I DO have time to point you to

http://mathworld.wolfram.com/Maximum.html

Maximum

The largest value of a set, function, etc.

The maxiumum value of a set of elements $A = \{a_i\}_{i=1}^N$

is denoted $\max A$ or $\max_i a_i$,

==> and is equal to the last element of a sorted (i.e., ordered)

==> version of $a$.

The point I am making is that max(_,_) and min(_,_) are intimately and

essentially bound up with (<)/2 and its relatives, so that any data type

which cannot be sorted (as intervals cannot) doesn't *have* a maximum

or minimum.

I am about as far from denying the usefulness of meet and join as

you could possibly imagine. (The title of my PhD was "Logic and Lattices

for a Statistics Advisor", after all.) I just don't want them confused

with maximum and minimum.

_______________________________________________

prolog-standard mailing list

prolog-standard_at_neve.di.ubi.pt

http://neve.di.ubi.pt/mailman/listinfo/prolog-standard

Received on Mon Jul 14 2008 - 13:01:03 EST

*
This archive was generated by hypermail 2.2.0
: Wed Sep 08 2010 - 23:28:17 EST
*