中南大学学报（社会科学版）
中南大學學報（社會科學版）
중남대학학보（사회과학판）
JOURNAL OF CENTRAL SOUTH UNIVERSITY(SOCIAL SCIENCE)
2009年
6期
733-738,817
,共7页
哥德尔不完全性定理%一致性%可证%心灵与机器关系
哥德爾不完全性定理%一緻性%可證%心靈與機器關繫
가덕이불완전성정리%일치성%가증%심령여궤기관계
一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调.通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点.
一些文獻在闡述哥德爾不完全性定理的證明過程時,對一些技術細節沒有做齣明確說明,容易使人誤解,因此需要對證明過程中ω一緻性、繫統外證明、元語句可錶達性等作齣彊調.通過繫統外證明的啟示,分析瞭由哥德爾定理引起的有關心靈與機器(計算機)關繫的爭論,得齣心靈優于所有目前原理計算機的論點.
일사문헌재천술가덕이불완전성정리적증명과정시,대일사기술세절몰유주출명학설명,용역사인오해,인차수요대증명과정중ω일치성、계통외증명、원어구가표체성등작출강조.통과계통외증명적계시,분석료유가덕이정리인기적유관심령여궤기(계산궤)관계적쟁론,득출심령우우소유목전원리계산궤적론점.
