News for hackers. Stuff that matters.

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

Re:0.999...= 1 by tom-thistime on Tuesday April 28, 2020 @03:18PM (#23010708)
Ok. (a) I think you're saying that 0.00 ... 1 is not a real number. (b) Do we agree that lim n->inf 10^-n is a real number? (I.e. zero?) (c) Then you're saying that limit in "(b)" is not a reasonable definition of the string "0.00 ... 1". Is that correct?
[ Parent | on HN ]
Re:0.999...= 1 by DavidVoid on Tuesday April 28, 2020 @03:51PM (#23011077)
That is correct.

The limit of lim n->inf 10^-n is exactly 0, it is not 0.00...1.

[ Parent | on HN ]
Re:0.999...= 1 by tom-thistime on Tuesday April 28, 2020 @04:11PM (#23011320)
Since we have no common definition of what 0.00...1 might possibly mean, let's say we agree.
[ Parent | on HN ]