【什么是广义递归论-图】百科知识点
来源:学大教育 时间:2017-11-23 10:33:49
数学学习中大家会遇到很多数学名词,掌握这些名词的相关知识点对大家学好数学是很有帮助的,为此下面学大教育为大家带来【什么是广义递归论-图】百科知识点,希望大家能够记忆好这些知识点。
广义递归论(generalized recursion theory ),是指把自然数集上定义的递归论推广到其他数学结构上去而得到的数学理论。常见的有有穷类型对象上的递归论和序数上的递归论。
有穷类型对象如下定义:自然数称为0型对象。由型对象到自然数集的全函数称为+1型对象。一型对象的计算相当于有一个执行机械过程的机器,对输入数后可得到输出=()。二型对象(,)的计算相当于上述机器外加上一个外部信息源即 的图形。对输入,,对输入的计算时,常要问机外信息源对某个变目的值,根据值的不同而依不同的步骤进行计算,最后给出输出=(,)。上述两类计算都是有穷步内完成的计算。三型对象(,,)的计算相当于上述机器外加上两个外部信息源即的图形(基数为0)和 的图形(基数为2[276-111])。对输入 的计算时要问到对某变元的值,和问到对某变元的值。在问到对变元的值时要计算的图形,因此此时的计算不再是有穷步内可停止的计算了。相仿地可有更高类型对象的计算。
还可以把递归论推广到序数上去。最初是用集合论的工具,如降S-L定理,推广到一切序数上去。后来发展为推广到序数的某些前节上去。最主要的是推广到可允许序数上去,称为-递归论。当>后出现了许多-递归论中不存在的现象,例如有界和有穷不再是相同的概念了,这就使-递归论的证明大大地复杂了。 -递归论的某些结果可以推广到一切可允许序数上去,例如波斯特问题的解决。有些结果只在某些可允许序数上成立,而在另一些可允许序数上不成立,如极大集的存在性定理。再如当>后,以下-度的结构和以-度的结构不同构。
【什么是广义递归论-图】百科知识点学大教育网为大家带来过了,希望大家能够下功夫记忆好这些内容,从而在数学学习的过程中更加轻松。
热门资讯

-
★初三复读一年值得吗_初三复读一年期间应该注意什么
2018-11-13 -
中考家长如何正确的看待孩子的考试分数
2018-11-09 -
中考生在体育锻炼中如何避免受伤
2018-11-09 -
★2019年广州中考招生录取政策调整抢先看
2018-11-08 -
★2019年广州中小学生寒假放假时间
2018-11-08 -
★2019年广州中考招生考试报名准备工作公布
2018-11-08 -
薅学大羊毛,双11放肆购!11元任性抢!抢!抢!
2018-11-08 -
初二英语学习时,对语法死记硬背好不好
2018-11-07 -
★2018年中山大学自主选拔面试答卷参考
2018-11-06
热门问题
-
青岛高二学生去学大教育补习怎么样?
2021-09-03 -
秦皇岛高二学生英语差如何能进步?
2021-09-03 -
乌海初三化学成绩差有必要补习吗?
2021-08-13 -
兰州初中生报假期班有什么效果?
2021-06-25 -
深圳学大教育辅导班的费用贵吗?
2021-06-25 -
太原高中生从几个方面选择托管班?
2021-06-18 -
中小学辅导机构哪家比较好?
2021-06-18 -
小升初数学学习技巧有哪些?
2021-06-04