The removal of from some undecidable problems involving elementary functions
The removal of from some undecidable problems involving elementary functions
复制标题
消除一些涉及初等函数的不可判定问题
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
M. Laczkovich
中科院分区：
文献类型：
--
作者：
M. Laczkovich
我们证明了在由整数和函数x生成的环中；sinx (n)和sinx。sin x(n)) （n = 1,2，…）定义在R上的函数是正数还是有根是不确定的。我们还证明了指数场C的存在论是不确定的。
We show that in the ring generated by the integers and the functions x; sin x(n) and sin(x . sin x(n)) (n = 1, 2,...) defined on R it is undecidable whether or not a function has a positive value or has a root. We also prove that the existential theory of the exponential field C is undecidable.