哥德尔定理:对卢卡斯-彭罗斯论证的新辨析
发布时间：2019-06-06 18:12
【摘要】：卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在于所谓的"一致性或健全性前提",卢卡斯和彭罗斯坚持回应各种质疑,认为可以知道我们(心灵)是一致的。事实上,卢卡斯-彭罗斯论证需要加上一些理想化的假设,尤其应该对彭罗斯论证中"F是健全的"这一断言予以澄清和补充。费弗曼指出彭罗斯论证的疏忽,试图调和机械论和反机械论的完全对立,并提出开放模式的公理系统表示心灵的数学能力。由对数学实践的分析阐述费弗曼论证存在不足之处后,在借鉴卢卡斯-彭罗斯论证和费弗曼论证的基础上,考虑数学理解力和环境的重要性,尝试提出基于完全开放的数学形式系统的心灵模型。
[Abstract]:Lucas and Penrose have discussed that the mind is uncountable by using the Godel incompleteness theorem that the heart is superior to the machine (Turing machine), which is now collectively referred to as the Lukas-Penrose argument. The main focus of the Lucas-Penrose argument is on the so-called "premise of consistency or soundness." Lucas and Penrose insist on responding to doubts that we can be known to be consistent. In fact, the Lukas-Penrose argument needs to add some idealized assumptions, especially the claim that "F is sound" in Penrose's argument should be clarified and supplemented. Feverman pointed out the negligence of Penrose's argument, tried to reconcile the complete opposition between mechanical theory and anti-mechanical theory, and put forward the axiomatic system of open model to represent the mathematical ability of the mind. After analyzing the shortcomings of Feverman's argumentation from the analysis of mathematical practice, this paper considers the importance of mathematical understanding and environment on the basis of drawing lessons from Lukas-Penrose argumentation and Feverman's argumentation. This paper attempts to propose a spiritual model based on a completely open mathematical form system.
【作者单位】： 湖南师范大学公共管理学院哲学系;
【分类号】：N02
本文编号：2494503
[Abstract]:Lucas and Penrose have discussed that the mind is uncountable by using the Godel incompleteness theorem that the heart is superior to the machine (Turing machine), which is now collectively referred to as the Lukas-Penrose argument. The main focus of the Lucas-Penrose argument is on the so-called "premise of consistency or soundness." Lucas and Penrose insist on responding to doubts that we can be known to be consistent. In fact, the Lukas-Penrose argument needs to add some idealized assumptions, especially the claim that "F is sound" in Penrose's argument should be clarified and supplemented. Feverman pointed out the negligence of Penrose's argument, tried to reconcile the complete opposition between mechanical theory and anti-mechanical theory, and put forward the axiomatic system of open model to represent the mathematical ability of the mind. After analyzing the shortcomings of Feverman's argumentation from the analysis of mathematical practice, this paper considers the importance of mathematical understanding and environment on the basis of drawing lessons from Lukas-Penrose argumentation and Feverman's argumentation. This paper attempts to propose a spiritual model based on a completely open mathematical form system.
【作者单位】： 湖南师范大学公共管理学院哲学系;
【分类号】：N02
【相似文献】
相关期刊论文 前6条
1 吴忠超;;彭罗斯与“皇帝的新脑”[J];科学;1991年02期
2 ;宇宙具有多重历史[J];科学;2002年03期
3 ;环球动物趣闻[J];小哥白尼(野生动物画报);2010年07期
4 ;视觉与意识[J];科技信息;1999年10期
5 郭玉芝;;作父亲的年龄不可过大[J];科学之友;1994年02期
6 ;[J];;年期
相关会议论文 前1条
1 陈峥;;管理者主观认知与企业内生成长[A];第八届（2013）中国管理学年会——组织与战略分会场论文集[C];2013年
相关重要报纸文章 前3条
1 李华芳;企业,要挖掘未利用的资源[N];21世纪经济报道;2007年
2 梁捷;第三种眼光看企业的成长[N];第一财经日报;2007年
3 徐瑾;企业成长：功夫在诗内[N];上海证券报;2007年
相关博士学位论文 前2条
1 白晨燕;滤色阵列的设计研究[D];北京交通大学;2016年
2 李嘉;面向复用成像的像素设计研究[D];北京交通大学;2017年
相关硕士学位论文 前4条
1 彭本义;彭罗斯拼图的构型及变换性质[D];华南理工大学;2015年
2 左承承;彭罗斯对意识的量子力学探索及其心灵哲学意义[D];华中师范大学;2015年
3 彭彩霞;基于彭罗斯拼图的复杂网络的统计性质[D];华南理工大学;2016年
4 沈晨;彭罗斯效应动力模型在知识型企业中的运用与实证[D];复旦大学;2009年
，本文编号：2494503
本文链接：https://www.wllwen.com/zhexuezongjiaolunwen/2494503.html
