|
|||||
|
|
| 递归论方法与应用(二) | |
| 作者姓名： | 李祥 |
| 作者单位： | 贵州大学数学系 贵阳 |
| 摘 要： | 我们知道:是递归集的图灵度,'是∑_1完全集 K 的图灵度,且有<'。一个十分有趣而重要的问题是:在与'之间是否还有其它的图灵度呢?Kleene 与 Post 在1954年证明了有度■使<■<',他们的方法现在称为“有穷延伸方法”;不幸,他们构造的度■不是 r.e.度,因为这种使用“有穷延伸”的构造不是能行的,而是相对于 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||
|
||||||||||||||||
|
||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |