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 ChrisLomont on Tuesday April 26, 2022 @10:59PM (#31175811)
Any two real numbers that are not the same has another distinct number between them; the midpoint for example.

No number fits between 1 and 0.99999....., so they are the same number.

[ Parent | on HN ]

There are no comments on this comment yet.