>>546 ”In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"? I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N_ 1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
