Here's a similar sort of problem I've been thinking about recently. √2 is a non-terminating irrational number. That is to say, its written magnitude is infinitely long, in any rational base. However, if √2 is accurate, then it expresses all that information. But this doesn't seem possible - how can a finite symbol encode infinite information, and with total accuracy?
My first thought is that (√2) is very different from other numbers, real and imaginary, because irrationals are numbers that have defined properties, (ie that (√2)^2 = 2), but undefined magnitude. In fact, √n is rather like a/n. There are certainly numbers such that a/n = m, where a, n and m are all rational. However, it does not follow from that that for any number m there is a number n such that a/n = m (ie when m = 0). In the same way, although there are certainly rational solutions for √n = m, this does not mean that for every number m there is a number n such that √n = m. My reasoning here is that by using √n you are saying "√n is a number such that √n√n = n", and so are defining a property of the number that has no defined magnitude. This puts irrational numbers in the same situation as ∞: There is no such number, but it is a concept that can be used in equations.
However, as one of my friends pointed out, it this holds true for surds, then it is also true for non-terminating rationals: If there is a number such that 1 = 3n, then n has a defined property but an undefined magnitude. But fractions are definitely not considered in the same was as irrationals. On the other hand, the information of their magnitude is finite - that is, it can be written with the 'recurring dot' notation, (I don't think I can type it :p). So perhaps this counts as having defined magnitude.
Has anyone got any comments on this particular consequence of irrationals? I'm only just starting to think about this sort of thing, and I'm not exactly sure where to begin.