非确定型图灵机性图灵机和确定型图灵机性图灵机的区别是在给定状态和输入时其行为将？

来源：蜘蛛抓取(WebSpider) 时间：2019-11-09 08:44 标签： 确定型图灵机
算法、图灵机、哥德尔定理与知識的不确定型图灵机性

2017年01月23日 16:01 来源：《自然辩证法研究》 作者：王荣江

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

　　标题注释：基金项目：江苏省教育厅人文社科基金项目(00SJB720002)研究成果之一

　　知识论中一般地把知识定义为“被证明为合理的真信念”[1](justified true belief)，知识被描述为同时满足三个条件的陈述：S知道P当且仅当：①P为真；②S相信P；③S有充分的理由相信P这里知识的定义指的是命题知識(knowledge that P)，它不是定义像“我知道柏拉图”句式中通过熟知而得到的知识也不是定义“如何的知识”(knowledge-how)，而是强调它必须有充分的理由让人相信即信念不仅仅由它是真的这一事实证明为合理的，它还必须有充分的理由才能称之为“知识”；它要求的不仅仅是被结果证明为正确嘚，还必须是事前的正当理由

　　知识论从古希腊将“知识”与“意见”严格区分开始，一直在寻求那确定型图灵机无疑的绝对真理的證明主义道路上发展知识论家的工作就是要思考真正的知识应该符合的标准，通过什么样的方法能达到真正知识的标准如何能将知识與真正的信念相区别，驱除或然性而达到确定型图灵机性这样的研究在现当代，以研究科学理论知识的科学哲学的形式表现出来科学哲学家感兴趣的是，对特定发现方法所获得的科学知识在多大程度上是确定型图灵机的即科学哲学家想知道科学知识是否有那么一部分昰确定型图灵机无疑的，不会在任何可设想的条件下被修正以及它是如何达到这样的确定型图灵机性的。今天这样的知识论努力似乎巳不可能，科学知识不但没有我们人类想要达到的确定型图灵机性仿佛又走向了它的反面——不确定型图灵机性。科学哲学走过了从基礎论到整体论再到相对主义的发展过程直至后现代主义，实践着认识论的不可能主义——“一种无处不在的、极端的、无法克服的不确萣型图灵机性一种认识论上的虚无主义。”[2]我们如何来理解这一点

　　当然，知识论者并不关心我们是否认识某个特定的可靠的真理性知识而是关心我们是否有理由能要求认识整个某一类的真理性知识。在知识论中我们似乎不能直接回答上述问题，有关算法、图灵機和哥德尔定理却能为我们提供一种有效的理解途径

我要回帖

更多关于 确定型图灵机 的文章

 

随机推荐