| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
On 05/09/2012 09:30 PM, Nate Hayes wrote:
Arnold Neumaier wrote:On 05/09/2012 05:22 PM, Nate Hayes wrote:One may even argue that to justify midpoint([1,+Inf]) = REALMAX at Level 2 is due to implicit reasoning of overflow.The right definition of the midpoint of an empty or unbounded interval is 'undefined' on level 1 and NaN on level 2. Any other definition is mathematically artificially and hence misleading some users.That is an argument in favor of my motion, since as I said the motion does not define the midpoint of an unbounded interval at any level.
But one needs unbounded intervals on level 2 and then doesn't need the complicated overflow interval sets, as they don't serve any additional purpose.