每一个新生事物的产生、发展和推广都必然伴随着许多著名的人物。计算机的产生和发展也是如此。每一个时期都有其创造者和代表人......

本文利用 Shore[1988]创造的新的 o 方法,证明了,对任意集合 B,存在 e,i使对任递旧可枚举集 A,如果 B<_TA。那么不可能 AW_e~A 和 ......

证明了任何带等词的二阶语言的逻辑有效公式集不是递归枚举的。...

<正> 一公理方法在現代数学中有着广泛的应用。近来这种方法并且开始应用于一些与数学密切相关的学科中。有关公理方法的問題一直......

证明了“递归控制Ｔｕｒｉｎｇ可化归性”崩溃成平凡情形，即证明了任何两个有穷集合任何两无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则......

本文研究了ｐ－脱殊集，８－脱殊集，ｅ－脱殊集的子集的各种性质。...

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自......