哥德尔不完全性定理和"心灵与机器"的关系问题

摘要：

一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调.通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点.

关键词：哥德尔不完全性定理、一致性、可证、心灵与机器关系

所属期刊栏目：15

分类号：B81-05(逻辑学(论理学))

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

页数：共7页

页码：733-738,817