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

Gdel's incompleteness theorem and relations between mind and machine

作　　者：刘大为[1] 孙明湘[2] 

机构地区：[1]华南师范大学公共管理学院,广东广州510006 [2]中南大学哲学系,湖南长沙410083

出　　处：《中南大学学报（社会科学版）》2009年第6期733-738,817,共7页Journal of Central South University：Social Sciences

摘　　要：一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。In some articles,it is not explicit about technical details of proof of Gdel＇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 Gdel＇s theorem,and points out that minds are superior to machines based on today＇s principles.

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

分 类 号：B81-05[哲学宗教—逻辑学]