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