News for hackers. Stuff that matters.

A comment on Now I’m calculating with constructive reals. Parent comment

Re:Now I’m calculating with constructive reals by amelius on Wednesday April 27, 2022 @06:01AM (#31178150)
It's the difference between:

    (lim x->0 1-x) == 1
and

    lim x->0 (1-x == 1)
The top one yields True, the bottom one False.
[ Parent | on HN ]
Re:Now I’m calculating with constructive reals by jonsen on Wednesday April 27, 2022 @11:07AM (#31180813) 

  > lim x->0 (1-x == 1)
How do you define the limit of a sequence of truth values?
[ Parent | on HN ]
Re:Now I’m calculating with constructive reals by amelius on Wednesday April 27, 2022 @07:24PM (#31187072)
Same as when using 1 and 0 for True and False.
[ Parent | on HN ]