论文部分内容阅读
知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而 ,即使在处理抽象的数量概念的数学基础研究中 ,也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立 ,使我们不得不面对知识中逻辑证明背后不确定性的东西
算法、图灵机、哥德尔定理与知识的不确定性
【摘 要】
：
知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而 ,即使在处理抽象的数量概念的数学基础研究中 ,也不能达到最终逻辑证明的确定性。图灵对停机问题的算法
【机 构】
：
淮阴师范学院经法系
【出 处】
：
自然辩证法研究
【发表日期】
：
2002年03期
【基金项目】
：
江苏省教育厅人文社科基金项目 (0 0SJB72 0 0 0 2 )研究成果之一
其他文献
<正>韦达定理是初中代数的重要定理,应用十分广泛,韦达定理有用但需会用.运用韦达定理除确切掌握定理外,还必须注意以下五个细节问题.一、注意根的符号例1已知α、β是方程x2
阐述了微博的内涵与特征,分析了利用微博开展竞争情报的基础,并从企业竞争对手挖掘、客户信息获取、人际网络建立和危机信息处理等4个方面,分析了微博在企业竞争情报工作中的
背景:神经营养因子可以有效抑制脊髓损伤后神经元凋亡,促进神经再生及分化,但由于其半衰期短,难以通过血/硬脊膜屏障,无法完成空间重建等限制了其应用。目的:文章综述了神经
自古我国就是一个“礼有则,乐有序”的国度。从《尚书》中的“萧韶九成”到孔子讲述的“六成而终”的《大武》;从《吕氏春秋》中所说的“投足以歌八阕”之乐到汉“相和大曲”
分析了从传统文献分类法到信息分类法和分众分类法的发展过程,论述了信息分类法和分众分类法在网络中的应用,阐述了分众分类法的发展趋势。
文章以"痛并快乐着"为代表的新兴构式"A并B着"为研究对象,运用构式语法的相关理论,全面描写分析了"A并B着"构式在句法与语义上表现出的特殊性,得出"A并B着"的构式义为"呈现感
随着互联网的迅速发展 ,互联网信息资源为越来越多的高校图书馆重视和利用 ,本文意在探讨高校图书馆互联网信息采集的原则 ,组织、利用互联网信息资源的措施等问题