Dynamical systems with double recursion are undecidable

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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

Keywords

Dynamical Systems, Commutative Algebra, 12L05

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/139775

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0710.2090
 http://arxiv.org/abs/0710.2090

Collections

arXiv