Section: New Results

Randomness and ergodicity: limit frequencies

Participant : Mathieu Hoyrup.

A new constructive proof of Birkhoff's ergodic theorem, with as an application a strengthening of former results on random elements: in ergodic systems, random elements eventually reach effective closed sets of positive measure (while it was only known for a more restricted class of sets). The paper [19] is in press and will appear soon in Information and Computation.