Recursive events in random sequences

DOI10.1007/s001530100075zbMath1021.03033OpenAlexW2030205321MaRDI QIDQ1407515

George Davie

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530100075

zbMATH Keywords

Kolmogorov complexityhalting probabilitysemirecursive setcomputable probabilitycomputable realKolmogorov-Chaitin random sequencerecursive predicate

Mathematics Subject Classification ID

Descriptive set theory (03E15) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Related Items (1)

Computability of convergence rates in the ergodic theorem for Martin-Löf random points

This page was built for publication: Recursive events in random sequences