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