In article <87sk4ohwbt.fsf@dialatheia.truth.invalid>, Aatu Koskensilta <aatu.koskensilta@uta.fi> wrote:
> Virgil <Virgil@home.esc> writes: > > > Note that it is possible to have an uncomputable number whose decimal > > expansion has infinitely many known places, so long as it has at least > > one unknown place. > > You need infinitely many unknown places.
If the value of some decimal digit of a number depends on the truth of an undecidable proposition, can such a number be computable?
