I stayed why I reject the conclusion.After this I will just be reating myself.
I have applied limits and series in real world problems. I'll go with my experience and analysis of the conclusion.
0.555.. . is a definition, an unchanging infinite number of 5s.
Converting to a geometric series and applying finite arithmetic is not the definition.
No conversion is going on. "an infinite number of 5s" is the definition of the
string. Used as a label, the geometric series is what this string refers to, always did, without any conversion needed.
Infinite and finite are mutually exclusive. 0.999... can never equal a finite 1. )0333.. results in 1/3 with no incremting to a higher values, 1.3 = 0.333...
The method applied to 0.999.. yields the fraction 1/1 as an approximation. The fact that 0.999.. gets a rollover to 1 and 0.333... does not round up means that 0.999.. = 1/1 is not a proof that it is a finite 1. As stated in the link geometric series applied to decimals yields a fractional approximation.
0.999... = 1, 1 does not yield 0.999... and 0.333... = 1/3 = 0.333... An unresolved discrepancy. Conclusion the algorithm does not serve as a proof, it serves to provide fractional approximations.
What discrepancy? Both the number that's the sum of the series [3 * 10 ^ -i for i in range(inf)] and the number that's the sum of the series [9 * 10 ^ -i for i in range(inf)] are finite real and rational numbers. The fact that one of them can be shortened to 1.0 or 1 in decimal notation while the other cannot is an idiosyncracy of decimal notation. In duodecimal, 1/3 is 0.4, plain and simple and very much finite.