Some Questions of Uniformity in Algorithmic Randomness

Abstract

The numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L\"of random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L\"of 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.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…