CAJ | 학술논문

一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器（计算机）关系的争论,得出心灵优于所有目前原理计算机的论点。
일사문헌재천술가덕이불완전성정리적증명과정시,대일사기술세절몰유주출명학설명,용역사인오해,인차수요대증명과정중ω일치성、계통외증명、원어구가표체성등작출강조。통과계통외증명적계시,분석료유가덕이정리인기적유관심령여궤기（계산궤）관계적쟁론,득출심령우우소유목전원리계산궤적론점。
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.