|
|||||
|
|
| 递归论方法与应用(二) | |
| 引用本文： | 李祥.递归论方法与应用(二)[J].贵州大学学报(自然科学版),1985(2). |
| 作者姓名： | 李祥 |
| 作者单位： | 贵州大学数学系 贵阳 |
| 摘 要： | 我们知道:是递归集的图灵度,'是∑_1完全集 K 的图灵度,且有<'。一个十分有趣而重要的问题是:在与'之间是否还有其它的图灵度呢?Kleene 与 Post 在1954年证明了有度■使<■<',他们的方法现在称为“有穷延伸方法”;不幸,他们构造的度■不是 r.e.度,因为这种使用“有穷延伸”的构造不是能行的,而是相对于 |
| 本文献已被 CNKI 等数据库收录！ | |