实数的低函数
Low functions of reals
摘要:
在$\R^N$上引入了可计算函数的概念,并证明了一些基本性质.我们给出了两个应用,首先是吉永定理的一个简短证明,即周期是\el(它们实际上很低)。我们还证明了低复数在幂函数和其他特殊函数下形成一个代数闭域。
英文摘要:
We introduce a new notion of computable function on $\R^N$ and prove some basic properties. We give two applications, first a short proof of Yoshinaga's theorem that periods are \el (they are actually low). We also show that the low complex numbers form a algebraically closed field closed under exponentiation and some other special functions.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。