论文部分内容阅读
一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。
哥德尔不完全性定理和“心灵与机器”的关系问题
【摘 要】
：
一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通
【机 构】
：
华南师范大学公共管理学院,中南大学哲学系
【出 处】
：
中南大学学报(社会科学版)
【发表日期】
：
2009年06期
其他文献
目的观察宫腔镜电切术(TCRM)治疗子宫黏膜下肌瘤对术后妊娠结局的影响。方法选择84例黏膜下子宫肌瘤行宫腔镜电切术治疗成功妊娠后的入院待娩产妇作为观察组,另选择同时期入
随着新能源汽车技术的发展和完善,为其在应急通信保障车辆中的应用提供了可能。本文通过对传统汽车技术、新能源汽车技术和应急通信保障车辆需求的分析,总结出新能源汽车应用
考查了适合浸出渣中元素硫浮选回收的理想工艺参数,并利用旋流-静态微泡浮选柱取得了良好的分选指标,最终精矿的元素硫品位达到56.08%,为铜浸出渣的合理利用探求了一种工艺简
当前电视模式的发展已经成为全球重要的媒介、社会、经济和文化现象,模式输出不仅带来了巨大的经济效益,也逐渐成为国家软实力的重要构成之一。推进中国电视模式发展和相关研
介绍丁家坝大桥的加固方法 ,拱顶下部采用粘贴碳纤维和增大拱脚及横系梁截面 ,能较大提高桥梁的承载能力 ,延长桥梁的使用寿命。论文介绍的装修方法 ,对双曲拱桥和石拱桥的装
目的探讨ICU中下呼吸道感染患者病原菌分布及耐药性,为临床合理应用抗菌药物提供参考依据。方法对2011年1月-2013年12月医院ICU 500例患者中选择120例下呼吸道患者的痰标本细
当前,我国酒店业人力资源管理处于传统的人事管理阶段,还存在缺乏创新意志、人才流失严重、用人观念陈旧、激励机制不合理、员工服务意志淡薄等突出问题。更新管理思想、精心
黄宗智教授在其法律史"三部曲"的第三部中,以恢宏的气势来沟通了法律的"历史与现实",为今天的法律变革提供了相当重要的资源。作者从"通三统"的学术视野出发,发现黄宗智教授