加载中…
2007-10-10
Dynamical systems with double recursion are undecidable
Mihai Prunescu
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本