News for hackers. Stuff that matters.

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

Re:0.999...= 1 by andrewprock on Wednesday April 29, 2020 @11:50AM (#23020626)
0.00...34
[ Parent | on HN ]
Re:0.999...= 1 by greenshackle2 on Wednesday April 29, 2020 @03:36PM (#23023238)
Is 0.00...1 times 34 equal to 0.00..1 times 3.4?
[ Parent | on HN ]
Re:0.999...= 1 by andrewprock on Wednesday April 29, 2020 @08:37PM (#23026277)
I think the answer to that question depends on the axioms you are using.
[ Parent | on HN ]