Motions 5 and 6 under discussion --
Hi
a short note on motion 6 section 3 .5.2
last parragraph:
"we treat [-oo.-oo] and [oo,oo] as having no meaning (rather than
being empty)"
This sentence introduces a 3rd kind of emptyness, emptyset and NaI are
the first 2
I suggest to drop this sentence and replace it by:
"Note that no operation ever returns [-oo.-oo] or [oo,oo]"
I know that this would mean to set 1/0 or Log(0) equal to the emptyset
and not to infinity,that is exactly what was intended.
It also is suggested in motion 5 for division
Concerning motion 5 I think its value is that the 4 basic operations are
defined in an operational manner at level 3. That makes the definition
more readable.
If we vote with Yes for the motion we acknowledge the need for such a
definition and provide the first set of operations.
more operations will have to be defined, the square root and backward
versions of multiplication or division can easily be supplied
Juergen
--
=======
o Prof. Dr. J. Wolff v. Gudenberg, Informatik 2
/ \ Univ. Wuerzburg, Am Hubland, D-97074 Wuerzburg
info2 o Tel.: +49 931 / 31-86602 Fax: +49 931 / 888-6603
/ \ Uni e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg http://www2.informatik.uni-wuerzburg.de/