期刊文章详细信息
算法、图灵机、哥德尔定理与知识的不确定性
The Uncertainty of Knowledge in Algorithm, Turing Machine and Gidel′s Theorems
文献类型：期刊文章
机构地区：[1]淮阴师范学院经法系,江苏淮安223001
基 金：江苏省教育厅人文社科基金项目 (0 0SJB72 0 0 0 2 )研究成果之一
年 份：2002
卷 号：18
期 号：3
起止页码：48-51
语 种：中文
收录情况：BDHX、BDHX2000、CSSCI、CSSCI2000_2002、RCCSE、RDFYBKZL(收录号：183957)、RWSKHX、ZGKJHX、核心刊
摘 要：知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而 ,即使在处理抽象的数量概念的数学基础研究中 ,也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立 。
关 键 词：算法 图灵机 哥德尔定理 不确定性 知识论 不可证明性
分 类 号：N02]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
