一致性猜想假设了由自然数通过域运算、指数和对数构建的表达式的句法长度,与由这些表达式定义的最小非零复数之间存在关系。一致性猜想声称,如果表达式以展开形式书写,其中指数函数的所有参数的绝对值都以 1 为界,那么句法长度的小倍数给出了区分定义的数与零所需的十进制位数的界限 (Richardson 2002)。Richardson (2002) 系统地搜索了反例,但没有找到任何反例。
一致性猜想
另请参阅
常数问题, Schanuel 猜想使用 Wolfram|Alpha 探索
参考文献
Richardson, D. “一致性猜想。”Richardson, D. “一致性猜想。” 收录于分析中的可计算性和复杂性:第四届国际研讨会,CCA 2000,英国斯旺西,2000 年 9 月 17-19 日 (J. Blanck, V. Brattka, 和 P. Hertling 编辑)。柏林:施普林格出版社,第 253-272 页,2000 年。Richardson, D. “测试一致性猜想。” 草稿,2002 年。 http://www.bath.ac.uk/~masdr/testu.ps。van der Hoeven, J. “自动数值展开。” 收录于《“实数和计算机”会议论文集》,法国圣艾蒂安(J.-C. Bajard, D. Michleucci, J.-M. Moreau, 和 J.-M. Muller 编辑)。第 261-274 页,1995 年。van der Hoeven, J. 自动渐近线。 博士论文。巴黎综合理工学院,1997 年。van der Hoeven, J. “与指数函数相关的数的同步逼近。” 《澳大利亚数学学会杂志》 25, 466-478, 1978。在 Wolfram|Alpha 中被引用
一致性猜想请引用为
Weisstein, Eric W. “一致性猜想。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/UniformityConjecture.html