通过分析基于哥德尔不完全性定理的挑战,认为其对计算主义的批判是不成立的。虽然哥德尔不完全性定理确实可以打击形式系统,但却并不能说明它驳倒了计算主义,因为计算系统不是纯粹形式系统,而是由形式系统与非形式系统共同构成的完整系统,仅从形式系统来理解计算系统是偏狭的。卢卡斯等人对计算主义的反对与其论证背后的哲学预设"人心至上论"有关,从这个预设出发,自然会得出不利于计算主义的结论,而如果给予计算机和人以平等地位的话,并不能得出人心优于机器的结论。
科研之友
微信
新浪微博
Facebook
分享链接
