更新时间：2024-05-21 18:09
广义递归论（generalized recursion theory ），是指把自然数集上定义的递归论推广到其他数学结构上去而得到的数学理论。常见的有有穷类型对象上的递归论和序数上的递归论。
相关阅读
有穷类型对象如下定义：自然数称为0型对象。由型对象到自然数集的全函数称为+1型对象。一型对象的计算相当于有一个执行机械过程的机器，对输入数后可得到输出=()。二型对象(,)的计算相当于上述机器外加上一个外部信息源即 的图形。对输入，,对输入的计算时，常要问机外信息源对某个变目的值,根据值的不同而依不同的步骤进行计算,最后给出输出=(,)。上述两类计算都是有穷步内完成的计算。三型对象(,,)的计算相当于上述机器外加上两个外部信息源即的图形(基数为0)和 的图形（基数为2[276-111]）。对输入 的计算时要问到对某变元的值,和问到对某变元的值。在问到对变元的值时要计算的图形,因此此时的计算不再是有穷步内可停止的计算了。相仿地可有更高类型对象的计算。
还可以把递归论推广到序数上去。最初是用集合论的工具，如降S-L定理,推广到一切序数上去。后来发展为推广到序数的某些前节上去。最主要的是推广到可允许序数上去，称为－递归论。当＞后出现了许多-递归论中不存在的现象，例如有界和有穷不再是相同的概念了，这就使-递归论的证明大大地复杂了。 -递归论的某些结果可以推广到一切可允许序数上去，例如波斯特问题的解决。有些结果只在某些可允许序数上成立，而在另一些可允许序数上不成立，如极大集的存在性定理。再如当＞后，以下-度的结构和以-度的结构不同构。