Some Questions of Uniformity in Algorithmic Randomness

11/02/2021
by   Laurent Bienvenu, et al.
0

The Ω numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-Löf random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-Löf random left-c.e. real α, a universal prefix-free machine U whose halting probability is α. We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real α, one cannot uniformly produce a left-c.e. real β such that α – β is neither left-c.e. nor right-c.e.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset