While computability theory on many countable sets is well established and for computability
on the real numbers several (mutually non-equivalent) definitions are applied, for most other
uncountable sets, in particular for measures, no generally accepted computability concepts
at all have been available until now. In this contribution we introduce computability on the
set M of probability measures on the Borel subsets of the unit interval [0; 1]. Its main purpose
is to demonstrate that this concept of computability is not merely an ad hoc definition but has …

While computability theory on many countable sets is well established and for computability
on the real numbers several (mutually non-equivalent) definitions are applied, for most other
uncountable sets, in particular for measures, no generally accepted computability concepts
at all ha, ve been available until now. In this contribution we introduce computability on the
set M of probability measures on the Borel subsets of the unit interval 0; 1. Its main purpose
is to demonstrate that this concept of computability is not merely an ad hoc definition but has …