哥德尔定理

作品数:71被引量:112H指数:5
导出分析报告
相关领域:哲学宗教理学更多>>
相关作者:罗翊重沈卫国温邦彦黄秦安胥良更多>>
相关机构:中国人民大学云南省社会科学院北京大学南京大学更多>>
相关期刊:更多>>
相关基金:国家社会科学基金国家自然科学基金江苏省高校人文社会科学研究项目中国人民大学科学研究基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
“+”时代的涅槃被引量:2
《自然辩证法研究》2024年第2期142-144,共3页刘啸霆 
国家社会科学基金重大项目“自然辩证法中国化及当代创新研究”(20&ZD043)。
人类文明经过几千年的攀爬走到了人类世的晚期,各种环境与资源问题的极化都预示着这个时代行将终结,从而促使文明的模式必须发生根本转换。当此之时,认真审思人类存在的基础和规范显然是必要而迫切的。一、前提:文明的支撑定律一般认为...
关键词:哥德尔定理 相似定律 人类世 环境与资源 永动机 生命态 自在性 物理学 
从后现代科学看克尔凯郭尔的悖论真理观
《齐齐哈尔大学学报(哲学社会科学版)》2022年第3期39-43,47,共6页潘志新 
在符合论真理、有用即是真理、逻辑自洽即真理和充足理由的真理等多种形式的真理观中,克尔凯郭尔认为真理是内心性、建设性和生成性的,并利用“自我中心困境”批判客观真理是与主体的生存相连的、渗透着理论的激情,指出真理是通过最具...
关键词:悖论 生成 自我中心困境 哥德尔定理 涌现 
哥德尔定理证明对自指悖论的化解及其自组织涌现机理
《系统科学学报》2020年第1期29-34,共6页马晓苗 
国家自然科学基金项目(71562032);国家社会科学基金项目(16BGL077);新疆自治区教育厅人文社科学重点研究基地项目(XJEDU050216C01).
哥德尔定理证明的核心思路可以概括为以化解"说谎者悖论"中蕴含的"真假自指悖论"为目标,区分思维层次,发现新概念/逻辑(即"可证"概念)的创新过程,这一"利用悖论""消解悖论"的过程可以用思维的自组织涌现机理进行系统概括。在分析总结哥...
关键词:哥德尔定理 自指 悖论 自组织 涌现 
数学基础若干问题的创新性思考被引量:3
《理论数学》2018年第5期516-533,共18页沈卫国 
在前期一系列论文的基础上,提出康托对角线法以及区间套法在证明实数集合不可数过程中的明显逻辑问题,其本质是反证法在这个具体的使用案例中出现了以往难以察觉的问题。实数集合的不可数性尽管广为人们所接受,但其造成的问题很多。它...
关键词:康托对角线法 区间套法 实数 可数 不可数 反证法 准一进制实数表示法 哥德尔定理 图灵机 人工智能 微积分 
论维特根斯坦对哥德尔定理的评析
《洛阳师范学院学报》2017年第10期8-13,共6页樊岳红 
教育部人文社会科学青年基金项目(15YJC720006)
数学哲学的基础问题一直是维特根斯坦所关注的核心领域之一。20世纪30年代哥德尔提出的第一不完备性定理彻底地动摇了数学的逻辑主义、直觉主义和形式主义的基础。在这种背景下,中后期的维特根斯坦对哥德尔第一不完备定理进行了评论,但...
关键词:维特根斯坦 GIT 数学命题 不可判定 有限论 
哥德尔定理:对卢卡斯-彭罗斯论证的新辨析被引量:6
《科学技术哲学研究》2017年第4期25-30,共6页刘大为 
卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在于所谓的"一致性或健全性前提",卢卡斯和彭罗斯坚持回应各种质...
关键词:哥德尔不完全性定理 卢卡斯-彭罗斯论证 心灵与机器 一致性 开放形式系统 
划时代的里程碑——哥德尔的不完备性定理
《语数外学习(高中版)(下)》2017年第2期59-60,共2页
在科学界有一些问题,当你由已知条件不可能证明其结论正确或是不正确,就被称为'悖论'问题。早在公元前的四百多年,古希腊埃利亚学派巴门尼德的门徒芝诺,就曾经提出过'飞着的箭是静止的'等四个悖论来反对赫拉克利特的流动说,以维护自己...
关键词:哥德尔 数学家 集合论悖论 完备性定理 哥德尔定理 划时代 
对数学基础问题研究的认识与思考
《数学之友》2014年第4期3-5,共3页潘干 
数学的发展从来不是一帆风顺的,每次数学危机都触及到了数学基础的牢固性与否的问题.而伴随着数学危机的发生,数学哲学往往也获得了很好发展的机会本文将通过讨论近代哲学上的直觉主义、形式主义、逻辑主义、柏拉图主义以及哥德尔定...
关键词:数学基础问题 数学危机 数学哲学 哥德尔定理 柏拉图主义 直觉主义 形式主义 逻辑主义 
无尽的对角线被引量:1
《科学文化评论》2014年第3期5-20,共16页邢滔滔 
教育部人文社会科学重点研究基地重大项目"基于心灵与认知观的逻辑与数学哲学研究"(项目批准号:12JJD720011);国家社科项目"分析哲学若干基本理论问题新探"(项目号:12AZD072)资助
本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义。文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索。
关键词:对角线方法 康托尔定理 罗素悖论 塔斯基定理 哥德尔定理 
道可道,非常道——从准晶体到自我意识的硬难题
《现代物理知识》2013年第6期57-61,共5页吴建永 
两年前,当我听到2011年诺贝尔化学奖的消息,晚上浮想联翩,竟至失眠。脑子里涌现出一大串看似关联,又非关联的故事:准晶体、王浩瓷砖、彭罗斯地板、图灵机、哥德尔定理、意识的硬难题……次日是周五,教课开会虽然很累,但还是迫不...
关键词:准晶体 自我意识 诺贝尔化学奖 哥德尔定理 非关联 图灵机 
检索报告 对象比较 聚类工具 使用帮助 返回顶部