News for hackers. Stuff that matters.
Re:Now I’m calculating with constructive reals by pdonis on Tuesday April 26, 2022 @10:57PM (#31175778)
> 0.99 recurring is not the same as 1. how can it be?

Because 0.99 recurring is another way of writing an infinite series whose sum can be proved to be 1.

> 0.99 recurring" is an approximation

No, it isn't. See above.

There are no comments on this comment yet.