Post Made Community Wiki by François G. Dorais
show/hide this revision's text 1

The mean and pointwise ergodic theorems are non-constructive, and I understand they were originally developed for applications to thermodynamics.