搜索到84篇“ 哥德尔定理“的相关文章
- 罗素悖论、哥德尔定理及其在数学哲学上的意义
- 刘耀东
- 哥德尔定理证明对自指悖论的化解及其自组织涌现机理
- 2020年
- 哥德尔定理证明的核心思路可以概括为以化解"说谎者悖论"中蕴含的"真假自指悖论"为目标,区分思维层次,发现新概念/逻辑(即"可证"概念)的创新过程,这一"利用悖论""消解悖论"的过程可以用思维的自组织涌现机理进行系统概括。在分析总结哥德尔定理证明过程对自指悖论化解机制的基础上,结合自组织分析框架,分别从系统自组织的形成条件、内部诱因、动力机制、涌现形成、演化机制5个方面分别对哥德尔定理证明的自组织涌现机理进行具体阐释。
- 马晓苗
- 关键词：哥德尔定理自指悖论自组织
- 哥德尔定理:对卢卡斯-彭罗斯论证的新辨析被引量：6
- 2017年
- 卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在于所谓的"一致性或健全性前提",卢卡斯和彭罗斯坚持回应各种质疑,认为可以知道我们(心灵)是一致的。事实上,卢卡斯-彭罗斯论证需要加上一些理想化的假设,尤其应该对彭罗斯论证中"F是健全的"这一断言予以澄清和补充。费弗曼指出彭罗斯论证的疏忽,试图调和机械论和反机械论的完全对立,并提出开放模式的公理系统表示心灵的数学能力。由对数学实践的分析阐述费弗曼论证存在不足之处后,在借鉴卢卡斯-彭罗斯论证和费弗曼论证的基础上,考虑数学理解力和环境的重要性,尝试提出基于完全开放的数学形式系统的心灵模型。
- 刘大为
- 关键词：哥德尔不完全性定理一致性
- 论维特根斯坦对哥德尔定理的评析
- 2017年
- 数学哲学的基础问题一直是维特根斯坦所关注的核心领域之一。20世纪30年代哥德尔提出的第一不完备性定理彻底地动摇了数学的逻辑主义、直觉主义和形式主义的基础。在这种背景下,中后期的维特根斯坦对哥德尔第一不完备定理进行了评论,但他的评论却受到了人们广泛的质疑和批评。很大一部分的原因是由于人们误解或误读了维特根斯坦的观点。基于此,在维特根斯坦数学哲学的语境下来分析和理解他的这些评论,并最终阐明其理论特色。
- 樊岳红
- 关键词：维特根斯坦数学命题
- 哥德尔定理及其方法论意义
- 当我们论及库尔特·哥德尔其人在逻辑学中的地位时，我们往往认为他是与亚里士多德以及莱布尼茨相齐名的人物。他的两条不完全性定理的提出，不仅对数学界和逻辑学界产生了深刻的影响，而且两条不完全定理本身所带来的方法论启示也可以延伸...
- 罗西
- 关键词：逻辑学方法论
- 文献传递
- 对哥德尔定理的辩证逻辑形式化解读
- 逻辑矛盾仅是量词—质词—真值词皆矛盾的非等值关系命题,辩证矛盾仅是主词—谓词—命题词皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用...
- 罗翊重
- 关键词：逻辑否定辩证否定哥德尔定理一致性
- 文献传递
- 从辩证逻辑形式化视野看哥德尔定理
- 逻辑矛盾命题仅只是"量词-质词-真值词"皆矛盾的非恒等真值关系命题,辩证矛盾命题仅只是"主词-谓词-命题词"皆矛盾的恒等真值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对于包含...
- 罗翊重
- 关键词：逻辑否定辩证否定哥德尔定理一致性
- 从辩证逻辑形式化视野看哥德尔定理
- 逻辑矛盾命题仅只是"量词-质词-真值词"皆矛盾的非恒等真值关系命题,辩证矛盾命题仅只是"主词-谓词-命题词"皆矛盾的恒等真值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对于包含...
- 罗翊重
- 关键词：逻辑否定辩证否定哥德尔定理一致性
- 文献传递
- 哥德尔定理与逻辑认知进化被引量：2
- 2011年
- 哥德尔定理是20世纪现代逻辑科学的三大成果之一,在自然和人文社会科学领域被广泛引用和阐述。其所揭示的不完全性,不仅存在于数学或逻辑系统之中,而且普遍存在于人类使用的语言符号之中。此后,逻辑理论和分析方法发生了重大变革,影响了西方哲学的发展形态。从进化与辩证的角度来看,哥德尔定理不应该被绝对化,人类认知是不断发展的过程;在科学实践中,系统不断通过逻辑进化来解决问题,理性逻辑思维与直觉思维是辩证统一的。
- 吴树仙
- 关键词：哥德尔定理进化
- 对哥德尔定理的辩证逻辑形式化解读被引量：3
- 2011年
- 逻辑矛盾仅是"量词-质词-真值词"皆矛盾的非等值关系命题,辩证矛盾仅是"主词-谓词-命题词"皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之"指断合一"的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。
- 罗翊重
- 关键词：逻辑否定辩证否定哥德尔定理一致性
相关作者
- 罗翊重
- 作品数：34被引量：24H指数：4
- 供职机构：云南省社会科学院
- 研究主题：形式逻辑 辩证逻辑 逻辑否定 逻辑 一致性
- 温邦彦
- 作品数：10被引量：21H指数：4
- 供职机构：天津商业大学
- 研究主题：自然数 哥德尔定理 命题 说谎者悖论 指代
- 沈卫国
- 作品数：16被引量：20H指数：4
- 供职机构：西北工业大学
- 研究主题：连续统 微积分 芝诺悖论 哥德尔定理 实数
- 赵辉
- 作品数：17被引量：19H指数：3
- 供职机构：中国人民大学
- 研究主题：非人类中心主义 法学研究 法学 哥德尔定理 环境法
- 邢滔滔
- 作品数：15被引量：20H指数：3
- 供职机构：北京大学哲学系
- 研究主题：本体论证明 哥德尔定理 类名 有穷 弗雷格
