Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

motion35

i
I think the motion is completely unnecessary, because
1. we NEED unbounded intervals
2. Nate's statement "you cannot proof anything for unbounded intervals is wrong 3. The embedding of a family of bounded bot overflowed intervals harder to comprehend and implement 4. I see no problem if Nate implements a Kaucher extension of the bounded subset of his P1788 library 5. It is impossible for us and we do not want to define P1788 for Kaucher intervals only 6. We have already spent too much time in order to provide an extension point for Kaucher intervals 
7 etc
More than that I think that motion, if accepted, would lead to a break-down of P1788 as a whole. 

Juergen

--
-                Prof. Dr. Juergen Wolff von Gudenberg
     o           Lehrstuhl fuer Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602 Fax ../31 86603
  / \  Uni       E-Mail:wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg