Dynamical systems with double recursion are undecidable
Dynamical Systems
2007-10-11 v1 Commutative Algebra
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.
Keywords
Cite
@article{arxiv.0710.2090,
title = {Dynamical systems with double recursion are undecidable},
author = {Mihai Prunescu},
journal= {arXiv preprint arXiv:0710.2090},
year = {2007}
}
Comments
7 pages