# semimeasure

## EnglishEdit

### EtymologyEdit

### NounEdit

**semimeasure** (*plural* **semimeasures**)

- (mathematics) A function that assigns a non-negative number to each element of a set that is subadditive.
**2015**, T.F. Sterkenburg, “A generalized characterization of algorithmic probability”, in arXiv^{[1]}:- A universal a priori
**semimeasure**(also known as "algorithmic probability") is defined as the transformation, by a given universal monotone Turing machine, of the uniform measure on the infinite strings.