Re: DRAFT position paper

[Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx>]

Jürgen Wolff von Gudenberg wrote:
> I suggest to use D_0 (Nate) or ILL  (Arnold) to only indicate really 
> illformed intervals 

I agree with the above ...


(with inf > sup, e.g.

... but I don't see anything ill-formed in the interval
   [l,u]:={x in R | l<=x<=u}
when l>u. It is a valid representation of the empty interval.


> I further suggest to change formula (33) to:
> D_4/D_4 = D_2
> because the division provides the decoration D_2 (somewhere undefined)

This is indeed what my decoration semantics does, starting from a 
conceptual semantics that is independent of propagation.


> Am 13.12.2010 03:11, schrieb Kreinovich, Vladik:
> > Honestly, I am waiting for John Pryce's formalization that he promised 
> > a few days ago. I think it will clarify the issue.

I think so, too.


Arnold Neumaier