It's a sad conclusion - though. Computation exists in the countable space. So there is no computationally representable symbolic model that can ever algebraically capture the reals.

The other thing that came to mind when you mentioned root-2 is a similar realization as with pi. That somehow a diagonal is not well defined in discrete terms with respect to two orthogonal vectors. So here once again, you have this weird impedance mismatch between orthogonality (a rotational concept) and diagonals (a linear concept).

I don't have the formalisms to explore these thoughts much further than this.. so it's hard to say whether this is just some trivial numerological-like observation or if there's something more to it. But it's kinda pleasant to think about sometimes.