【摘 要】
：
卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在
论文部分内容阅读
卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在于所谓的"一致性或健全性前提",卢卡斯和彭罗斯坚持回应各种质疑,认为可以知道我们(心灵)是一致的。事实上,卢卡斯-彭罗斯论证需要加上一些理想化的假设,尤其应该对彭罗斯论证中"F是健全的"这一断言予以澄清和补充。费弗曼指出彭罗斯论证的疏忽,试图调和机械论和反机械论的完全对立,并提出开放模式的公理系统表示心灵的数学能力。由对数学实践的分析阐述费弗曼论证存在不足之处后,在借鉴卢卡斯-彭罗斯论证和费弗曼论证的基础上,考虑数学理解力和环境的重要性,尝试提出基于完全开放的数学形式系统的心灵模型。
其他文献
推进不动产交易登记一体化改革成效显著,获得国务院大督查通报表彰;将不动产登记"5日办结"纳入省政府年度工作考核指标,不动产登记"一窗受理"改革等多项工作走在全国前列……
由于受新冠肺炎疫情影响,辽宁义县瓦子峪镇五间房村原有线下销售渠道受阻,30多万公斤价值100多万元京白梨严重滞销,正值春耕农时,农民急需资金购买种子、化肥和农药,如果滞销
尤金·奈达出名于他所提出的“动态对等”理论,其翻译标准也主要出自其对等理论。一般来说,尤金·奈达的对等理论立足于目标语读者。按照尤金·奈达的说法,翻译过程中所真正
目的:观察穴位埋线疗法治疗脑卒中后轻度认知障碍的临床疗效。方法:将64例患者随机分为两组,治疗组32例,对照组32例。治疗组采用穴位埋线的方法,对照组采用常规的针刺方法,两
本文提出了在E-learning环境下的虚拟校园中分析学生浏览行为的框架。学生通过浏览基于Web的虚拟校园与采用SCORM E-learning标准结构的学习资源相交互。本文的主要目是设计
对于舍岩针法在韩国的传承发展研究,本研究主要通过论述舍岩针法的形成背景、介绍近现代前后舍岩针法发展情况,并按照时间顺序分析代表人物的学术思想与创新点,明晰舍岩针法
<正>1临床资料患者女,33岁。因"孕1产0(G1P0),孕34+1周,单绒毛膜双羊膜囊双胎"于2012年7月入某妇幼保健院待产。该孕产妇在妊娠中晚期出现高血压,门诊予口服柳氨苄心定50mg,3
目的观察糖皮质激素联合特布他林治疗慢性阻塞性肺疾病急性加重期的疗效。方法选取慢性阻塞性肺疾病急性加重期患者96例,随机分为观察组和对照组,每组48例。2组患者均接受常
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技