Some Questions of Uniformity in Algorithmic Randomness
Logic in Computer Science
2023-06-22 v1 Logic
Abstract
The numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{\"o}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{\"o}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.
Cite
@article{arxiv.2111.01472,
title = {Some Questions of Uniformity in Algorithmic Randomness},
author = {Laurent Bienvenu and Barbara Csima and Matthew Harrison-Trainor},
journal= {arXiv preprint arXiv:2111.01472},
year = {2023}
}