Computability of probability measures and Martin-Löf randomness over metric spaces (Q2389335)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computability of probability measures and Martin-Löf randomness over metric spaces |
scientific article |
Statements
Computability of probability measures and Martin-Löf randomness over metric spaces (English)
0 references
15 July 2009
0 references
computability
0 references
computable metric space
0 references
computable probability measure
0 references
almost computable function
0 references
enumerative lattice
0 references
Kolmogorov-Chaitin complexity
0 references
algorithmic randomness
0 references
universal test
0 references
