具有双重递归的动力系统是不可判定的
动力系统
2007-10-11 v1 交换代数
摘要
引入了一种原始类型的二维动力系统。结果表明，不存在能够判断此类动力系统是否最终为零的判定过程。
引用
@article{arxiv.0710.2090,
title = {Dynamical systems with double recursion are undecidable},
author = {Mihai Prunescu},
journal= {arXiv preprint arXiv:0710.2090},
year = {2007}
}
评论
7 pages