算法、图灵机、哥德尔定理与知识的不确定性 |
| |
引用本文: | 王荣江. 算法、图灵机、哥德尔定理与知识的不确定性[J]. 自然辩证法研究, 2002, 18(3): 48-51 |
| |
作者姓名: | 王荣江 |
| |
作者单位: | 淮阴师范学院 经法系,江苏 淮安 223001 |
| |
基金项目: | 江苏省教育厅人文社科基金项目(00SJB720002)研究成果之一。 |
| |
摘 要: | 知识论一直是在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而,即使在处理抽象的数量概念的数学基础研究中,也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立,使我们不得不面对知识中逻辑证明背后不确定性的东西。
|
关 键 词: | 算法 图灵机 哥德尔定理 不确定性 知识论 不可证明性 |
文章编号: | 1000-8934(2002)03-0048-04 |
修稿时间: | 2001-09-09 |
The Uncertainty of Knowledge in Algorithm,Turing Machine and Gǒdel''s Theorems |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 维普 万方数据 等数据库收录! |