Book contents
- Frontmatter
- Contents
- Preface
- 1 Key developments in algorithmic randomness
- 2 Algorithmic randomness in ergodic theory
- 3 Algorithmic randomness and constructive/computable measure theory
- 4 Algorithmic randomness and layerwise computability
- 5 Relativization in randomness
- 6 Aspects of Chaitin’s Omega
- 7 Biased algorithmic randomness
- 8 Higher randomness
- 9 Resource bounded randomness and its applications
- Index
7 - Biased algorithmic randomness
Published online by Cambridge University Press: 07 May 2020
- Frontmatter
- Contents
- Preface
- 1 Key developments in algorithmic randomness
- 2 Algorithmic randomness in ergodic theory
- 3 Algorithmic randomness and constructive/computable measure theory
- 4 Algorithmic randomness and layerwise computability
- 5 Relativization in randomness
- 6 Aspects of Chaitin’s Omega
- 7 Biased algorithmic randomness
- 8 Higher randomness
- 9 Resource bounded randomness and its applications
- Index
Summary
In this survey, we lay out the central results in the study of algorithmic randomness with respect to biased probability measures. The first part of the survey covers biased randomness with respect to computable measures. The central technique in this area is the transformation of random sequences via certain randomness-preserving Turing functionals, which can be used to induce non-uniform probability measures. The second part of the survey covers biased randomness with respect to non-computable measures, with an emphasis on the work of Reimann and Slaman on the topic, as well as the contributions of Miller and Day in developing Levin's notion of a neutral measure. We also discuss blind randomness as well as van Lambalgen's theorem for both computable and non-computable measures. As there is no currently-available source covering all of these topics, this survey fills a notable gap in the algorithmic randomness literature.
- Type
- Chapter
- Information
- Algorithmic RandomnessProgress and Prospects, pp. 206 - 231Publisher: Cambridge University PressPrint publication year: 2020
- 2
- Cited by