递归论

递归论 正文　　数理逻辑的一个分支。它是一门研究递归涵数及其推广...，便是所谓广义的递归函数。 　　历史 　递归论这门学科最早可以追溯到原始递归...。 　　基本内容 　递归论研究的函数主要包括本原函数、原始递归函数、递归半函数...

所属分类： 术语 邱奇-图灵论题

广义递归论

广义递归论 正文　　把自然数集上定义的递归论推广到其他数学结构上去而得到的数学理论。常见的有有穷类型对象上的递归论和序数上的递归论。 　　有穷...。 　　还可以把递归论推广到序数上去。最初是用集合论的工具，如降S-L定理,推广到...

李祥

，贵州电子学会第二届副理事长，贵州省科协副主席。从事数理逻辑递归论、计算理论和计算复杂性理论等方面的研究。撰有论文《可计算性理论导引》、《递归可表现拓扑空间中处处非递归可枚举集》（英文）。 ...

所属分类： 红楼梦人物

不可解度

不可解度 正文　　从比较计算难易程度出发来研究自然数子集分类的递归论分支。在某种标准下计算难度相同的集合形成这种标准下的一个度。递归论中研究得...Ο≤a≤Ο┡。是否有递归可枚举度a使Ο a Ο┡呢？这个问题是递归论中有名的波斯特问题...

莫绍揆

。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面...均与直觉相符，这样的系统受到国内外学者的高度赞赏是可以想象的。 递归论...。莫绍揆在递归论方面作过许多重要的工作。50年代，他系统地研究了原始递归...

所属分类： 中国科学家 中国著名科学家 科学领域人物

哥德尔不完备性定理

.弗里德曼的工作很受人注意。 　　第一不完备性定理的证明方法对递归论...

克尔特·哥德尔

重要影响，而且直接导致了集合和序数上的递归论的产生。此外，哥德尔还从事哲学...

哥德尔

，而且直接导致了集合和序数上的递归论的产生。此外，哥德尔还从事哲学...

所属分类： 各时代历史人物 数学理论

模型论

论）和递归论也都与模型论相互渗透及应用。 　　模型论中的概念与方法，除了...模型论 正文　　数理逻辑的一个分支。它是研究形式语言及其解释（模型...）等人在数理逻辑研究中就已经得到有关模型论性质的重要结果。但作为系统的理论...

所属分类： 哥德尔不完备定理 数学 术语 自动化 计算机术语

图林机器理论

常强的，足以代替目前的任何计算机。实际上，任何递归半函数都可以用未必永停的图林机计算，任何递归全函数即任何一般递归函数（见递归论）都可以用永停的图林机计算。反之，凡能用一般图林机器计算的数论函数都是递归半函数，凡能用永停...

搜索递归论相关的维吧

1[2][3]下一页最后一页