Suppose a,b are real numbers constructed in some well-defined logical way, for example having in their decimal expansion the sequence of all odd & all even numbers respectively:
a = 0.135791113151719.... and b = 0.2468101214161820....
I think that logically these numbers are well-defined, but i have no clue as to how to proceed to get the decimal expansion of their sum, product or ratio. So my question how can we compute a+b, a*b, a/b ?