Orwell wrote:
Ambivalence wrote:
My answer (as a lapsed physicist) would be that
in reality, 0.9 recurring does not equal 1, because 0.9 recurring does not exactly represent any real concept (go small enough and you
cannot split things further into arbitrarily small chunks), and so does not exist.

In mathematics, continuity is a very important concept. Within the real number system, yes, you can always split things further into arbitrarily small chunks. If you don't like this, well, be prepared to give up pi, e, and the square root of 2 as these numbers would no longer exist. By your argument, the real number system would have to be invalid and thus we would be left with only the rationals, which on their own are grossly inadequate.
The real deficiency of the rational number system (which is linearly ordered and dense in the ordering) is that Cauchy Sequences of rational numbers do not always converge to a rational number. In short the system is not sequentially compact.
Likewise sets of rational numbers bounded from above do not always have a least upper bound and sets of rational numbers bounded from below do not always have a greatest lower bound.
So the rational numbers are all computable but the set of rational numbers lacks certain topological graces.
The real numbers constitute a locally compact topological space that is linearly ordered, but only a small subset of the reals are computable (that set is a set of measure zero in the reals).
How do you like your mathematical entities? Do you like them computable or do you like them beautiful?
ruveyn