李昂生
- 作品数:8 被引量:1H指数:1
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:国家自然科学基金云南省应用基础研究基金更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 关于伪JUMP运算的一些结果Ⅰ
- 1991年
- 本文利用 Shore[1988]创造的新的 o 方法,证明了,对任意集合 B,存在 e,i使对任递旧可枚举集 A,如果 B<_TA。那么不可能 AW_e^A 和 AW_i^A 均是 B 递旧可枚举的进而,存在 e,i 使对任集合 B 和 A,如果 B<_TA 且 A 是递旧可枚举集,那么不可能 AW_e^A 和 AW_i^A 均有 B 递归可枚举度,从而否定地解决了 Jochusch 和 Shore[1983]提出的一个未解决问题:是否对任 e 和 i,存在非递旧递归可枚举集 A 使 AW_e^A 和 AW_i^A均有递旧可枚举度?
- 李昂生
- 关键词:递归可枚举集递归可枚举度
- 递归可枚举度的强分解定理被引量:1
- 1992年
- 本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)]中一切(?)-cappable 度不作成理想.同时可推出:对任 r.e.度(?),存在 r.e.度(?),(?)和(?)使得(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?)有(?).这是 r.e.度分解的一个临界性结果.
- 李昂生
- 关键词:递归可枚举度
- 一个高的钻石定理(英文)
- 2000年
- 证明存在一个保持最大元 1的可计算枚举高度的钻石格 .
- 李昂生杨东屏
- 关键词:可计算性理论
- 不可解度研究
- 李昂生
- 伪跃变算子的一个结果
- 1992年
- 伪跃变算子的概念参见文献[1],同时证明了下列命题1和命题2, 命题1 对任e,存在非递归r.e 集A使得。且 命题2 对任e及任r.e.集B,如果B有Low度,那么存在r.e.集A。
- 李昂生
- 0^1的一个分解定理
- 1992年
- 本文讨论递归可枚举度的分解与格嵌入问题,证明了存在r.e.度a,a0和a1使得a
- 李昂生
- 带可枚举信息源的计算和学习理论
- 杨东屏眭跃飞李昂生张萍吴国华
- 该成果主要研究可计算理论中可计算枚举图灵度所组成的上半格的结构性质,证明了存在两个可计算枚举图灵度使得其所囿界的极小图灵度的集合是相同的。该结果解决了Epstein提出的未解决问题。证明了Shoenfield的可盖猜测在...
- 关键词:
- 递归可枚举度临界性问题的一个结果(Ⅰ)
- 1993年
- 本文证明:对任 cappable r.e.度■,存在 r.e.度■和■使得■>■,■∧■=0且对任 r.e.度■,如果■且■,那么■∧■≠■.
- 李昂生眭跃飞
- 关键词:递归可枚举度临界性