Every computably enumerable random real is provably computably enumerable random
From MaRDI portal
Publication:3391740
DOI10.1093/jigpal/jzp015zbMath1178.03057arXiv0808.2220WikidataQ57001570 ScholiaQ57001570MaRDI QIDQ3391740
Nicholas J. Hay, Cristian S. Calude
Publication date: 12 August 2009
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0808.2220
03D25: Recursively (computably) enumerable sets and degrees
03D32: Algorithmic randomness and dimension
Related Items
Simplicity via provability for universal prefix-free Turing machines, Representation of left-computable \(\varepsilon \)-random reals, Incompleteness, Undecidability and Automated Proofs, Formal Proof: Reconciling Correctness and Understanding