I don't think you can make the non-computable reals with your "indefinite fair coin flips". All you're making there is an approximation. You can make all the r

I don't think you can make the non-computable reals with your "indefinite fair coin flips". All you're making there is an approximation. You can make all the rationals this way, but that's Almost None of the real numbers.