A note about Motion 5, NaI and modal intervals
I receive some private e-mails asking why I support Motion 5, even though it
clearly does not include NaI or modal intervals. It is true I believe a
third option for division is required, i.e., one that produces NaI (or
"moral equivalence") for division by any interval containing zero (even if
the zero is not interior point). Also, I still wish in the future that
non-standard intervals will be interpreted as modal intervals.
However, in my personal view, I do not see that Motion 5 is written in such
a way that these features can't be added later in other motions or votes. I
also wish to support Ulrich's rule that 0*Inf=0 in calculation of unbounded
intervals.
So I leave it to others, now, to decide the fate of Motion 5. But I just
wanted to mention my reason, and what is the spirit I chose to second the
motion.
Sincerely,
Nate Hayes
Sunfish Studio, LLC