Motion 37 query
Vladik
On 28 Sep 2012, at 14:17, Kreinovich, Vladik wrote:
> This motion about midpoint and radius is based on the
> discussions during our 2012 annual meeting at SCAN'2012,
> specifically on the idea proposed by Siegfried Rump:
> *******************************************************
> Definition of the _midpoint_ of an interval [a,b]:
>
> * we compute the mathematical midpoint
> (a + b) / 2 in the extended real line (whenever it is
> possible), and then take a finite computer representable
> floating point number which is the closest to this mathematical
> midpoint; if there are two closest numbers, we use rounding to
> even, i.e., select the one whose binary expansion ends in 0
>
> * the only interval for which the mathematical midpoint is not
> defined is the interval (-oo, +oo); for this interval, natural
> symmetry prompts us to define the midpoint as 0;
What do you want midpoint(Empty) to be? Not also 0 by natural symmetry, I hope?
John