递归论相关论文
<正>1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和......
语言递归思想贯穿于转换生成语法的整个发展过程,唯递归论是有关人类语言生物基础的假设,确定了语言生物演化研究方向,肯定了生物......
递归是语言机能的本质属性,语言中局部非递归成分不能改变语言递归的本质属性。语言物种特质必然要求生物演化解释,唯递归论极大促进......
闪光的价值孕育在自身的给予中。人的价值包含这样的运动:人给予社会 x,社会相对给予人 x′;人再给予社会 y,社会相对再给予人 y......
该会议论文集共收录了25篇论文,主要内容包括:递归结构理论;胡世华先生的学术成就;关于罗素悖论与弗协调逻辑;序数的核与自然运算;模型论对......
该文利用纯粹递归论的近代结果研究了单位闭区间Ⅰ上可计算实函数的最大值点集中诸点的可计算度的结构。得到如下结果:1、对于任一......
VLSI芯片的高度复杂性,一方面为制造具有高度并发处理能力的高性能的新型计算机系统提供了良好的物质基础,另一方面也导致了它所固有......
运用伏特拉核函数基本理论,建立了南桐矿区红岩煤矿矿井涌水量的线性、非线性核函数模型,介绍了计算核函数模型所用的递归算法,同时对......
长期以来图灵度形成的偏序结构D=(D,≤)是递归论的一个主要研究对象,对其子结构(R,≤)的研究则是一个重要分支。这里R是所有递归可枚......
算法信息论是一门新兴的理论计算机学科,它利用理论计算机的工具(图灵机)对复杂性的概念进行研究。Domination是算法信息论中的一个......
学位
证明了对任意r.e.度v<u,存在真d-r.e.度c,使得c在d-r.e.度结构中可分支,且v<c<u....
丘奇——图灵论点与认知递归计算假说郝宁湘提起哥德尔不完备性定理,从事数学哲学、乃至一般哲学研究的人几乎没有不知晓的。然而与......
【正】 由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于......
本文讨论多项式时间多一可化归度(p-m度)的分裂间题.主要结果是:存在非零的p-m度a,对任何自然数n≥1当a分裂成n+1个度a0,a1,…,an的并时,其中至少有n对(ai,aj)(i≠j;i,j≤n)不是极......
运用伏特拉核函数基本理论,建立了南桐矿区红岩煤矿矿井涌水量的线性、非线性核函数模型,介绍了计算核孙数模型所用的递归算法,同时对......
介绍并讨论了当前演绎数据库的理论基础及实现方法,提出了一种基于松、紧耦合相结合的实现机制;讨论了自行研制的演绎数据库系统DAC中知......
本文证明了一个一般性的关于复杂性集类集合剖分的定理。此定理叙述如下:设C1、C2是二递归集类,C1(?)P,C1与C2均递归可表现,C1封闭于......
哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统......
本文将对递归枚举度构造中的几种主要我穷损害方法-真步集方法、树构造方法、弹球机方法等作一框架性的描述,从而探讨其内在联系与区......
证明了“递归控制Turing可化归性”崩溃成平凡情形,即证明了任何两个有穷集合任何两无穷的递归可枚举集合都分别是rct-等价的,而它们两者之间则......
本文的主要结果是:对任何度,存在使并且对任何度。...
本文通过引进二重递归函数类的一种分层{Y<sub>n</sub>}<sub>n∈∞</sub>,证明了借助于本原函数(后继函数、零函数和投影函数)以及原......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学......