【汇旺担保】广义递回论

[拼音]: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

)。M对输入n 的计算时要问到ƒ对某变元的值,和问到F对某变元的值。在问到F对变元g的值时要计算g的图形,因此此时M的计算不再是有穷步内可停止的计算了。相仿地可有更高型别物件的计算。

还可以把递回论推广到序数上去。最初是用集合论的工具,如降S-L定理,推广到一切序数上去。后来发展为推广到序数的某些前节上去。最主要的是推广到可允许序数上去,称为α-递回论。当α>ω后出现了许多ω-递回论中不存在的现象,例如有界和有穷不再是相同的概念了,这就使α-递回论的证明大大地复杂了。

ω-递回论的某些结果可以推广到一切可允许序数α上去,例如波斯特问题的解决。有些结果只在某些可允许序数上成立,而在另一些可允许序数上不成立,如极大集的存在性定理。再如当α>ω后,O′以下ω-度的结构和O′以α-度的结构不同构。

更多信息: 太阳城 汇旺担保 搬砖 汇旺担保 引流 汇旺担保 场外交易