27 Aug '04 10:42>
Originally posted by AcolyteI think we can declare 1-0.9999... to be infinitesimal (non zero) and we still have workable mathematicics. See http://mathworld.wolfram.com/NonstandardAnalysis.html
If 0.999... is not 1, then since 1 - 0.999... is not 0, it isn't real, either. The approach from there that causes least damage is to declare 1 - 0.999... to be surreal, and by implication 0.999... is surreal as well. I can see no way in which 0.999... can be real and irrational, unless you accept that the reals are no longer closed under addition, a troubling prospect.