图灵停机论,哥德尔不完备定理,还有通俗的理发师悖论等等,说明人的逻辑和数理系统根本上是不完整的

来源: 2020-12-19 20:55:36 [博客] [旧帖] [给我悄悄话] 本文已被阅读:

人工智能充其量是用尽了数理体系赋予的一切能力吧,即使如此,连机器若进入死循环会否自己停机都无法肯定。人类若这样,根本建立不起来任何文明 - 犯错后停下探索新路的可能和一条道走到死的可能是一样的,完全随机。所幸我们有自由意志,有非计算性(数理性)的意识。当代有很多科学家否定自由意志,就等于承认自己只是一台机器人,那么好了,机器人都是有缔造者的,而这些科学家往往有同时否认缔造者,结果把自己也搞成一个逻辑悖论。