1: \begin{abstract}

2: We survey an area of recent development, relating dynamics to theoretical

3: computer science. We discuss the theoretical limits of simulation and

4: computation of interesting quantities in dynamical systems. We will focus on

5: central objects of the theory of dynamics, as invariant measures and

6: invariant sets, showing that even if they can be computed with arbitrary

7: precision in many interesting cases, there exists some cases in which they

8: can not. We also explain how it is possible to compute the speed of

9: convergence of ergodic averages (when the system is known exactly) and how

10: this entails the computation of arbitrarily good approximations of points of

11: the space having typical statistical behaviour (a sort of constructive

12: version of the pointwise ergodic theorem).

13: \end{abstract}

14: