4.2. 第二, 第三和迭代基本递归
现在, 我们来考察稍复杂一些的情形, 它容纳一个 (常值的) 参数参与递归.
定义 4.2.0.1 (第二基本递归). 给定二元基本函数符号 , 我们称满足以下性质的一元函数符号 为由 和集合 经第二基本递归所得的函数符号, 存在 的这种 将称作 -第二基本递归函数符号, 简称 -基本递归函数符号:
但我们其实有一个比它略简单的递归方案.
定义 4.2.0.2 (远第二基本递归). 给定两个一元基本函数符号 , 我们称满足以下性质的一元函数符号 为由 和集合 经远第二基本递归所得的函数符号, 存在 的这种 将称作远 -第二基本递归函数符号, 简称远 -基本递归函数符号:
显然, 第二基本递归允许我们时时查看参数 , 而远第二基本递归仅仅允许在第一次计算时查看参数 . 我们自然对应有两个和缓性概念.
定义 4.2.0.3. 如果 是 -基本递归函数符号, 是基本函数符号, 则称其复合 是 -和缓的函数符号. 如果 是远 -基本递归函数符号, 是基本函数符号, 则称其复合 是远 -和缓的函数符号.
幸运的是, 这两个和缓性是等价的, 我们从而不再需要刻意考察远第二基本递归与第二基本递归的区别.
元定理 4.2.0.4. -和缓当且仅当远 -和缓.
证明. 显然远 -和缓推出 -和缓, 我们只要证明反过来的方向. 不妨只考虑 是经 递归而成的 -基本递归函数的情况, 即有 . 取 , 显然可以通过 分离和基本替代公理模式从 还原出 , 不妨设基本函数 实现了 .
因此, 我们只要考虑 -和缓这一种概念即可. 显然, 当 时, -基本递归就是普通的基本递归, 因此我们也会把基本递归称作 -基本递归, 同样的把和缓称作 和缓. 这提示一个更好的观察.
元定理 4.2.0.5. 任给一元基本函数 , 若两集合 满足 且 , 则 -基本递归当且仅当 -基本递归, 远 -基本递归当且仅当远 -基本递归, -和缓当且仅当 -和缓.
但不幸的是, -和缓函数的复合可以不是 -和缓的, 这是因为它的递归方程需要传入含有更多信息的参数.
元定理 4.2.0.6. 如果 是 -和缓的, 是 -和缓的, 则 是 -和缓的.
证明. 同样只要考虑 是 -基本递归而 是 -基本递归的较简单情况, 寻找 对 足够并使得 与 共同由 -基本递归生成, 我们主要希望考察 是哪里来的.
若 , 则对 仍有 传递, 故可以取 传递, 且 . 假定 而 , 当务之急是寻找合适的函数 和传递集 .
注意到我们现在要用到 和 两个参数, 取 是没办法用 覆盖住的, 因此现在的 应当是一元函数 , 这样在 而 时 就能正确地返回 . 进而, 我们需要 , 这样才能有 .
这就说明像之前那样令 并不够. 记 , 我们展开 会得到至少有 , 再加入 确实会让 变得传递, 而加入 才能让 变得传递, 因此最终我们给出的构造是 . 此时另一个矛盾又出现了: 如果考虑传递集 , 则 , 这说明我们造辅助函数 和 的手法又要稍作改动.
首先, 若 , 我们仍有基本函数 满足 , 但我们并没有 . 不过, 由于我们确切地知道 中多出来的部分是什么样的, 我们确实能造出一个基本的 使得 , 其中 由 给出, 由 给出, 因此确有基本函数 使得 .
评注. 传递闭包 并不是基本的 (因为 不可证 ), 但它是基本递归的 ().
但 -和缓类的概念不受影响.
元定理 4.2.0.7. 的分离子 是 -和缓的, 当且仅当其特征函数 是 -和缓的.
定义 4.2.0.8. 我们称满足上一定理条件的 为 -和缓类.
同样的, -和缓的谓词中的 -和缓函数也不能断言为 -和缓函数.
元定理 4.2.0.9. 如果新谓词 的分离子 如分解 -和缓, 则在 中 -和缓的函数事实上是 -和缓的函数.
在此基础上, 加强第二基本递归的方案有两种: 一种是允许传入更多的变元, 另一种是允许反复递归; 我们先来看第一种.
定义 4.2.0.10 (第三基本递归). 给定一元基本函数符号 , 若二元函数符号 满足 , 则称 由 经第三基本递归而成. 由于元数不同不至混淆, 我们也会简称这种递归方式为基本递归.
如果我们把整个 都传给 , 那么只需要一点点典范的编码技术就能把任意多元的递归都按进这种递归方式之中, 因此我们在第三基本递归中要求固定一个变元. 这种递归产生的二元函数在集合论中相当常见, 序数的加法便是一个例子. 另一方面, 它也确实是第二基本递归的自然推广.
元定理 4.2.0.11. 对任意集合 与第三基本递归的函数符号 , 函数符号 是 -基本递归的.
注意二元基本函数符号按定义就不可能是基本递归的, 但现在元数增加了, 我们就可以宣称了.
元定理 4.2.0.12. 二元基本函数符号都是 (第三) 基本递归的.
评注. 由于基本递归的一元函数不妨再传入空参数 视为二元函数, 这个定理表明这样合称是有道理的.
换言之, 补完了第三基本递归的定义之后, 我们才能把基本算子都视为基本递归函数. 现在我们考虑另一种加强方案.
定义 4.2.0.13 (迭代基本递归). 我们元递归地定义以下概念:
1. | 称 -基本递归为 -基本 -递归. |
2. | 若 是 -基本 -递归的 (一元) 函数符号, 则满足 的函数符号 称作 -基本 -递归的函数符号. (由于 是一元的, 我们必须把 作为一个二元元组传给 ) |
3. | 若存在 使得 是 -基本 -递归的函数符号, 则称 是 -基本有穷迭代递归的函数符号, 简称 -基本有穷递归. |
评注. 迭代基本有穷递归其实比第三基本递归弱一点, 因为任何集合 都不能使得特殊的一元序数加法 成为 -基本有穷递归的函数符号, 但序数加法本身是第三基本递归的.
我们不再讨论它们衍生的和缓性概念, 转而考虑以下问题: 正如基本函数对应于 , 我们能否找到基本递归函数对应的弱集合论?