Randomness in mathematics
The following sections are included:
“Lawlessness” = “algorithmic incompressibility”
Normalised random sequences
Halting probability
“Computational irreducibility”
von Mises collectives
Bernoulli sequences
Church random sequences
Wald random sequences
Axiomatisation of randomness
Statistical-based randomness
Martin-Löf random sequences
Solovay random sequences
Equivalencies and comparisons