计算主义形式系统难题:基于哥德尔不完全性定理的讨论

2018年第7期

关键词:
形式系统;计算主义;哥德尔不完全性定理

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


本文地址:www.fabiao.net/content-15-638900-1.html

上一篇:试论国家自然科学基金资助项目重复申报问题
下一篇:基于CIM的偏差补偿稀疏NLMAD算法研究

分享到: 分享计算主义形式系统难题:基于哥德尔不完全性定理的讨论到腾讯微博           收藏
评论排行
公告