News for hackers. Stuff that matters.

A comment on 0.999...= 1. Parent comment

Re:0.999...= 1 by chottocharaii on Tuesday April 28, 2020 @02:33PM (#23010237)
? Just because there is nothing between two numbers does not mean the two numbers are equivalent. What nonsense is this
[ Parent | on HN ]
Re:0.999...= 1 by MockObject on Tuesday April 28, 2020 @03:11PM (#23010626)
Either two numbers are equal, or they're not equal. (Unless we're calling into question the law of excluded middle, but must we?)
[ Parent | on HN ]
Re:0.999...= 1 by Dylan16807 on Tuesday April 28, 2020 @03:52PM (#23011096)
Without using 9999..., please name any two real numbers that don't have a number in between.
[ Parent | on HN ]
Re:0.999...= 1 by momentbruh on Tuesday April 28, 2020 @03:12PM (#23010639)
That is true for the reals
[ Parent | on HN ]