无穷损害方法的框架模式

本文将对递归枚举度构造中的几种主要我穷损害方法－真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。     

关于一些多项式时间度对的连续性

本文的主要结果是:对任何度,存在使并且对任何度。     

20世纪数理逻辑的概貌

这篇文章从历史的视角回顾了20世纪数理逻辑的面貌，并展望了21世纪或者21世纪早期数理逻辑的发展。     

关于相对反杯性质的一个结果

1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,     

复杂性集类的递归论结构

本文使用间隙语言方法研究了复杂性集类的递归论结构,得到了复杂性集类集合剖分的许多新结果。     

递归论在复杂性组织系统中的应用及方法论意蕴——以VSM模型为例

递归论不仅是设计和描述算法的一种有力工具,也是理解复杂性系统层次性、有机性的一个重要视角。英国系统科学家斯塔福德·比尔提出的VSM模型,将递归引入复杂性组织系统中,把管理对象看作是目的本身而非工具,将组织系统视作为具有递归功能的活系统,对组织进行递归与多维递归。VSM模型不仅扩展递归理论的应用范围,也将递归作为复杂性组织系统存在、运作和发展的一个基本手段。在方法论上,递归不仅包含还原的功能,还有助于对突现进行理解。     

关于Grzegorczyk第九问题

本文通过引进二重递归函数类的一种分层{Y_n}_(n∈∞),证明了借助于本原函数(后继函数、零函数和投影函数)以及原始递归和复合运算,如果仅增加有限多个二重递归函数作为开始函数,则不足以产生全体二重递归函数。     

关于递归控制Turing可化归性

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