Decidability of chaos for some families of dynamical systems

We show that the existence of positive Lyapounov exponents and/or SRB measures are undecidable (in the algorithmic sense) properties within some parametrized families of interesting dynamical systems: the quadratic family and Henon maps. Because the existence of positive exponents (or SRB measures) is, in a natural way, a manifestation of "chaos," these results may be understood as saying that the chaotic character of a dynamical system is undecidable. Our investigation is directly motivated by questions asked by Carleson and Smale in this direction.