| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
On Sep 28 2012, Michel Hack wrote:
Baker Kearfott wrote:Does this mean we should revisit our decision that intervals are subsets of the set of real numbers?The use of Infinity as a bound is just a notation for unbounded, and Motion 3 makes clear that the Infinity of Extended Reals is never included as an element of an interval. So I don't see a problem here.
Right. So there are no closed unbounded intervals. It does mean that certain functions may need to give an error if passed an infinity as an argument, but that's not a major problem. Regards, Nick Maclaren.