Statistical Properties of Martin-L\"of Random Sequences
Logic
2014-10-14 v2
Abstract
We study the statistical properties of random numbers under the Martin-L\"of definition of randomness, proving that random numbers obey analogues of Strong Law of Large Numbers, the Law of the Iterated Logarithm, and that they are normal. We also show that weakly (1-)random numbers do not share these properties.
Keywords
Cite
@article{arxiv.1410.1859,
title = {Statistical Properties of Martin-L\"of Random Sequences},
author = {Matthew Pancia},
journal= {arXiv preprint arXiv:1410.1859},
year = {2014}
}
Comments
11 pages, LaTeX; changed style and added acknowledgements