News for hackers. Stuff that matters.

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

Re:0.999...= 1 by gspr on Tuesday April 28, 2020 @01:53PM (#23009771)
That's not a definition. Neither 10^∞ nor 1/∞ is defined in any standard system, so you'll have to define those too if you want to use them to define 0.000…1.
[ Parent | on HN ]
Re:0.999...= 1 by brutt on Tuesday April 28, 2020 @01:59PM (#23009843)
See https://en.wikipedia.org/wiki/Surreal_number .
[ Parent | on HN ]
Re:0.999...= 1 by gspr on Tuesday April 28, 2020 @03:04PM (#23010555)
You're working with surreal numbers? This is not what people would expect unless it's explicitly stated. In addition, you're likely going to have a hard time explaining surreal numbers to someone who struggles to grasp that 0.999... = 1 in the ordinary reals.
[ Parent | on HN ]
Re:0.999...= 1 by drran on Tuesday April 28, 2020 @04:21PM (#23011442)
Surreal numbers and infinistemal are simpler to work with when you need to work with infinite series.

Here John Conway explains them: https://www.youtube.com/watch?v=1eAmxgINXrE

[ Parent | on HN ]