| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
John Pryce wrote:
I'm finalising a revision of a motion on the "defined and continuous" (actually, its negation)
IMO this is a huge mistake, as P1788 will then have two decorations that use opposite logical conventions. For example, the "domain" tetrit propagates via conjunction/and/infimum but your "discontinuous" bit will propagate via disjunction/or/supremum.
A constructor for a bare interval can't do that. Briefly put Dinterval(3,NaN) can make a result that behaves like NaI. Interval(3,NaN) can't. So what _should_ it return?
At Level 2 Interval(3,NaN) returns empty set. The representation of empty set is a Level 3 and/or Level 4 question. Nate