Do I have a second? Re: P1788/M0003.01 Motion 3
Does someone care to second this motion? (If so, it will
then enter a three week formal discussion period, followed
by a 3-week formal voting period. If not, it will die.)
Baker
On 3/10/2009 3:58 AM, J. Wolff v. Gudenberg wrote:
Dear members of the working group.
Please note the following motion concerning the semantics of intervals
So it is not about structure and procedure, not to fiX the final
formulation, but about cootents
Comments welcome
Juergen
===Motion P1788/M0003.01_Set_of_reals===
Proposer: Juergen Wolff von Gudenberg
Seconder: required
===Motion text===
The P1788 Interval arithmetic standard defines intervals as closed and
connected sets of real numbers.
That means that +/- Infinity may be used to denote an unbounded interval
but are never considered as members of an interval.
===Rationale===
The Vienna Proposal section 1.2
Kulisch's position paper "Complete Interval Arithmetic"
The extensive discussion in the mailing list
--
---------------------------------------------------------------
R. Baker Kearfott, rbk@xxxxxxxxxxxxx (337) 482-5346 (fax)
(337) 482-5270 (work) (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------