Dynamical systems with double recursion are undecidable
arXiv:0710.2090
Abstract
A primitive type of two-dimensional dynamic system is introduced. It is shown that there is no decision procedure able to answer if such a dynamical system is ultimately zero.
7 pages