Effective convergence in probability and an ergodic theorem for individual random sequences. (English. Russian original) Zbl 0917.60039
Theory Probab. Appl. 42, No. 1, 39-50 (1997); translation from Teor. Veroyatn. Primen. 42, No. 1, 35-50 (1997).
The author considers effective procedures in the ergodic theory for measure preserving transformations. He proves a version of the ergodic theorem for individual random sequences in the sense of Martin-Löf. The approach is based on A. N. Kolmogorov’s algorithmic framework for probability and information theory.
Reviewer: Wiesław Dziubdziela (Czestochowa)
MSC:
60F99 | Limit theorems in probability theory |
68Q99 | Theory of computing |
28D99 | Measure-theoretic ergodic theory |