19
个编辑
更改
跳到导航
跳到搜索
第57行：
第57行： + + + + + +
无编辑摘要
* <math>2 + 1 \rightarrow \underline{3}; 1 \times 2 \rightarrow \underline{2}; \underline{2} \times 2 \rightarrow \underline{4}; \underline{4} - 1 \rightarrow \underline{3}; \underline{3} \times \underline{3} \rightarrow \underline{9}; \underline{9} - 6 \rightarrow 3</math>
* <math>2 + 1 \rightarrow \underline{3}; 1 \times 2 \rightarrow \underline{2}; \underline{2} \times 2 \rightarrow \underline{4}; \underline{4} - 1 \rightarrow \underline{3}; \underline{3} \times \underline{3} \rightarrow \underline{9}; \underline{9} - 6 \rightarrow 3</math>
其中带有下划线的数字表示在估值过程中得到的中间结果。
其中带有下划线的数字表示在估值过程中得到的中间结果。
==实数域上的困难==
实数域上的困难，主要是由 [[Richardson 定理]]带来的。我们不能轻易的断定两个由超越函数带来的实数在算术表达式组合下得到的值是不是零。不同于有理数域，可以存在整齐划一的算法来判定一个表达式是否为零。
另外一种困难是没有足够的计算资源去计算和分析一个大数是否满足一定的性质，比如我们不知道<math>e^{e^{e^79}}</math>是否是整数？
==参考文献==
==参考文献==
本节的内容主要来自苑明理的[https://github.com/mountain/aeg-paper 研究手稿]。
本节的内容主要来自苑明理的[https://github.com/mountain/aeg-paper 研究手稿]。