The existence of deterministic chaos in dynamical systems is related w
ith Godelian undecidability of a symbolic dynamical system defined in
terms of Markov maps associated with the principal congruence subgroup
s of the modular group (corresponding to flows on manifold with overal
l negative curvature). The main ingredients are the group-orbit word-c
oding of the symbolic dynamics, and the Dehn's word problem for the ma
pping class group of the manifold.