If they aren’t equal, there should be a number in between that separates them. Between 0.1 and 0.2 i can come up with 0.15. Between 0.1 and 0.15 is 0.125. You can keep going, but if the numbers are equal, there is nothing in between. There’s no gap between 0.1 and 0.1, so they are equal.
What number comes between 0.999… and 1?
(I used to think it was imprecise representations too, but this is how it made sense to me :)
!0hn0@discuss.tchncs.de
If you’d like to learn how to speedrun a niche puzzle game, check this one out :)
I haven’t written all the tutorial posts I’ve wanted to yet, so stay tuned.
There’s some unexplored territory I haven’t explained for myself, like the connection to graph theory (i dont have any foundational knowledge for graph theory so maybe someone smarter than me can help ;) i figure it would help formalize some proofs)
Feel free to share your progress!