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

Re: The current proposal

>> This value is not even properly defined in many cases,
>> such as when F(x)=x-x or F(x)=(x-1)/(x+1) and A=[0,inf].
>
> If "infinity as number" is true, i.e., if the infinity is not a
> member of the interval but rather a token for an unbounded real
> number, then it is properly defined:
>
>    F(Inf)=Inf-Inf=0
>    F(Inf)=(Inf-1)/(Inf+1)=Inf/Inf=1
>
> Nate Hayes
> Sunfish Studio, LLC

"Infinity as number" is buggy. For instance, with the above point of
view, if F(x) = (x+1)-x, then F(Inf) = (Inf+1)-Inf = Inf-Inf = 0.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)