当前位置:
X-MOL 学术
›
J. Symb. Log.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR
The Journal of Symbolic Logic ( IF 0.5 ) Pub Date : 2020-07-21 , DOI: 10.1017/jsl.2020.18 MIHAI PRUNESCU
The Journal of Symbolic Logic ( IF 0.5 ) Pub Date : 2020-07-21 , DOI: 10.1017/jsl.2020.18 MIHAI PRUNESCU
We show that the set of natural numbers has an exponential diophantine definition in the rationals. It follows that the corresponding decision problem is undecidable.
中文翻译:
指数的二番石问题
我们证明了自然数集在有理数中具有指数丢番图定义。由此可见,相应的决策问题是不可判定的。
更新日期:2020-07-21
中文翻译:
指数的二番石问题
我们证明了自然数集在有理数中具有指数丢番图定义。由此可见,相应的决策问题是不可判定的。