科研之友
微信
新浪微博
Facebook
分享链接
摘要
卢卡斯和彭罗斯认为，人们从哥德尔不完全性定理出发可以推断“心灵不能被机械化”的论题。这是一个强论断。弱论断是由哥德尔提出的。他认为从自己的不完全性定理出发，人们只能推断或者“心灵不能被机械化”成立或者“存在不可判定的数学命题”成立。该析取式论断等价于“如果理想化人类心灵是理想化有限机器，那么人们无法判定某些数学命题的真或假”。哥德尔建议人们从解决内涵悖论入手，证明反机械主义论题成立。科尔纳在机械主义论题上取得的成功，激发斯特恩尝试从可替代真理论出发，证明反机械主义论题成立。科尔纳表明斯特恩的论证无效。斯特恩尝试改进他的论证。我们也表明斯特恩的改进方案无效。斯特恩两次尝试均无法取得成功，这实际上源于人们无法认清楚理想化人类心灵概念即绝对可证明性概念。
- 单位
