算法、图灵机、哥德尔定理与知识的不确定性

摘要：

知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立，使我们不得不面对知识中逻辑证明背后不确定性的东西。

关键词：算法、图灵机、哥德尔定理、知识、不确定性

所属期刊栏目：18

分类号：B023(辩证唯物主义)

资助基金：江苏省教育厅高校人文社会科学基金00SJB720002

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：48-51