Computable Measure Theory and Algorithmic Randomness

Mathieu Hoyrup (1) , Jason Rute (2)

1 MOCQUA - Designing the Future of Computational Models
2 Penn State - Pennsylvania State University

We provide a survey of recent results in computable measure and probability theory, from both the perspectives of computable analysis and algorithmic randomness, and discuss the relations between them.

Domaines: Logique en informatique [cs.LO]; Logique [math.LO]; Probabilités [math.PR]

Mathieu Hoyrup, Jason Rute. Computable Measure Theory and Algorithmic Randomness. Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩. ⟨hal-02938919⟩