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  is in press and will appear soon in Information and Computation.