词条 | 广义递归论 |
释义 | guangyi diguilun 广义递归论(卷名:数学) generalized recursion theory 把自然数集上定义的递归论推广到其他数学结构上去而得到的数学理论。常见的有有穷类型对象上的递归论和序数上的递归论。 有穷类型对象如下定义:自然数称为0型对象。由n型对象到自然数集的全函数称为n+1型对象。一型对象φ的计算相当于有一个执行机械过程的机器M,对M输入数n后可得到输出m=φ(n)。二型对象F(ƒ,n)的计算相当于上述机器M外加上一个外部信息源即ƒ 的图形。对输入ƒ,n,M对输入n的计算时,常要问机外信息源ƒ对某个变目的值,根据值的不同而依不同的步骤进行计算,最后给出输出m=F(ƒ,n)。上述两类计算都是有穷步内完成的计算。三型对象F(F,ƒ,n)的计算相当于上述机器M外加上两个外部信息源即ƒ的图形(基数为堗0)和F 的图形(基数为2 ![]() 还可以把递归论推广到序数上去。最初是用集合论的工具,如降S-L定理,推广到一切序数上去。后来发展为推广到序数的某些前节上去。最主要的是推广到可允许序数上去,称为α-递归论。当α>ω后出现了许多ω-递归论中不存在的现象,例如有界和有穷不再是相同的概念了,这就使α-递归论的证明大大地复杂了。 ω-递归论的某些结果可以推广到一切可允许序数α上去,例如波斯特问题的解决。有些结果只在某些可允许序数上成立,而在另一些可允许序数上不成立,如极大集的存在性定理。再如当α>ω后,O′以下ω-度的结构和O′以α-度的结构不同构。 |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。