Re: P1788: Motion 26 PLEASE VOTE
Dear Chenyi Hu
On 15 Aug 2011, at 14:35, Chenyi Hu wrote:
> I vote no on this motion.
>
> However, I would vote yes if the description of the motion assures that proposed decorations will assure reliability repeatedly (i.e. on the same and different machines the intervals contain the solution although the intervals may not be the same exactly.)
It does assure that. After all, theorem 5.2 on the second page of 5.8 includes the original FTIA:
> Then p_d(f, xx) holds. (10)
> This is in addition to the enclosure ff \supseteq Range(f | xx) given by Moore’s Theorem 5.1.
You may not get the same xx or the same d on different machines (or on different runs on the same machine if there's some asynchronous behaviour).
But the requirement you state above is always satisfied. If I understand you correctly.
John