Computable measure theory
= Computable measure theory
{wiki=Computable_measure_theory}
Computable measure theory is a branch of mathematics that studies measurable spaces and measurable functions from the perspective of computation and algorithmic processes. Essentially, it combines aspects of measure theory, which deals with the formalization of measure, integration, and probability, with concepts from computability theory, which studies what can be computed or solved by algorithms.