E. Asarin, Chaos and Undecidability

Several mechanisms providing undecidability of the reachability (or similar) problem for dynamical systems. It is stated that in many cases undecidability is due to the deterministic chaos (in its mathematical sense) and decidability is related to the absence of chaos. The key point is to consider Turing machines as dynamical systems. Some ideas of the manuscript intersect with those of Christopher Moore. [Pdf]