摘要
一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。
In some articles,it is not explicit about technical details of proof of Gdel＇s incompleteness theorem,and misunderstandings occur.So it is necessary to emphasize the importance of ω-consistency,proving outside formal systems,expressing meta-statements and other technical details of proof.Inspired by proving outside systems,this paper analyzes some arguments about relations between mind and machine aroused by Gdel＇s theorem,and points out that minds are superior to machines based on today＇s principles.
出处
《中南大学学报（社会科学版）》
2009年第6期733-738,817,共7页
Journal of Central South University：Social Sciences
关键词
哥德尔不完全性定理
一致性
可证
心灵与机器关系
Gdel＇s incompleteness theorem
consistency
provable
mind-machine relationship
