In mathematics, computable measure theory is the part of computable analysis that deals with effective versions of measure theory. As with measure theory, this topic draws heavily from knowledge in probability theory. It is concerned with determining whether classical theorems used to determine the "size" of a set (in measure theory) can be calculated with a precisely defined algorithm, that is, one suitable for a computer.
The inability of computers to represent all real numbers (especially irrational numbers) exactly can create errors in the calculations of some classical theorems. This error cannot be truly eliminated by just increasing the size of the digits stored, and so, computable measure theory was born as a way to standardize the limits of the computer in the field of measure theory.
Some other notable contributors include Šanin, Ko, Edalat, Müller and Weihrauch.
References
- Jeremy Avigad (2012), "Inverting the Furstenberg correspondence", Discrete and Continuous Dynamical Systems, Series A, 32, pp. 3421–3431.
- Abbas Edalat (2009), "A computable approach to measure and integration theory", Information and Computation 207:5, pp. 642–659.
- Stephen G. Simpson (2009), Subsystems of second order arithmetic, 2nd ed., Perspectives in Logic, Cambridge University Press.
- 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⟩