Motion M0034.01 -- Notations

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

I vote "no" on Motion 34.

I would vote yes if the "I"s were solid Bold font instead of the Blackboard
Bold font.

Real numbers have positive and negative elements, and intervals have proper
and improper elements. Kaucher used the notation with the "I" and the "R"
both in Blackboard Bold font for the set of intervals isomorphic to the R^2
plane. This set also forms a group with respect to addition. When the "I" is
in solid Bold font and the "R" remains in Blackboard Bold font, this denoted
the subset of proper intervals [a,b] such that a <= b.

The semantic theorems of modal interval analysis generalize the Fundamental
Theorem of Interval Arithmetic to include interval functions that accept
both proper and improper intervals as input, so one can obtain correct
digital roundings for functions of Kaucher intervals at Level 2.

Nate Hayes
Sunfish Studio, LLC

Attachment: notation.pdf
Description: Adobe PDF document