递归性与计算阐释学
先前对递归算法的理解仍然是技术性的，且不够哲学；要做到这一点，我们需要进一步探讨递归性问题及其在逻辑与数学上的意义。在他的著作《递归函数与可计算性的早期历史：从哥德尔到图灵》[62]中，数学和数学史家罗德·亚当斯(RodAdams)概述了从19世纪中叶到图灵机时代递归概念在数学证明中的发展。在亚当斯的叙述中，理查德·戴德金(RichardDedekind)是第一位使用递归定义术语的数学家，在他1888年的文章《数字是什么，数字应是什么?》中，他用它来处理数学归纳。这在戴德金的例子中变得非常清晰，如图表21所示。
递归地理解数字意味着什么？它意味着将数字转换为递归函数。
论数码物的存在
226