Originally posted by DeepThought
Well without having looked at your link I'd imagine that what they are referring to is precision. So the trailing zero shows that the number is only known to that precision and the next (unknown) digit could be non-zero, so that in this case 1.0 means any number between 0.95 and 1.05. But the number 1 when treated as an exact entity on the real line is ...[text shortened]... a number ŋ > 0 such that 0.999··· < 1 - ŋ < 1, since we cannot find such a number 0.999··· = 1.
Well without having looked at your link I'd imagine that what they are referring to is precision.
That is correct. I just made a quick look at that link and straight away saw its title which says;
“Rounding and Significant Digits”.
(you will obviously already
know all of what I am about to say below but I say it for the benefit of a few other readers here who know a bit less about maths notation than we do)
But when we write 1.0
out of context of precision i.e. when we are
not trying to say anything about its precision in particular such as when we write it in this thread, then “1.0” really IS just another way of writing “1”.
In addition, “0.9999...”,
not to be confused with just “0.9999 ”, simply
does equal 1.
The “...” part sort of means “and so on for infinitum” or words of that effect. So it isn't just only merely a case that 0.9999 “tends towards” 1 as you keep adding more and more finite number of digit 9s to the end of 0.9999 (although it
does tend to 1 as you do so) but, rather, you
can rationally talk about it exactly equaling 1 if you had (hypothetically ) literally an
infinite number of digit 9s after that 0.9999. So;
0.9999... = 1
is literally correct.