使用 FRACTRAN 计算 $\sqrt{2}$

提出 FRACTRAN 程序 $\sqrt{2}$GAME 和 NR$\sqrt{2}$GAME，两者都计算 $\sqrt{2}$ 的小数展开。我们的 $\sqrt{2}$GAME 类比 Conway 的 PIGAME 程序。事实上，我们的证明也适用于 PIGAME，以产生 Conway 定理的一个更简单版本，并突出如何提高程序效率。NR$\sqrt{2}$GAME 编码了 FRACTRAN 中牛顿-拉弗森方法的标准示例。