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

摘要：

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

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

所属期刊栏目：37

分类号：N031(科学的方法论)

资助基金：贵州师范大学2016年博士科研启动项目12004-0516018

在线出版日期：2018-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：12-19