哥德尔定理的正规表述

1931年，25岁的“小毛头”哥德尔证明了一条定理如下：

“Anyrobust mathematical system contains statements that are true yet unprovablewithin the system.”

哥德尔定理的意思是说：“任何强壮的数学系统必定包含一个真的陈述句，然而，在该系统中，这个陈述句却是不可证明的。”

记得，在1979年，中科院计算所举行哥德尔去世一周年纪念活动，计算所杨东屏研究员报告了哥德尔的生平与科学成就，并且简要介绍了哥德尔定理的证明方法（即哥德尔首创是命题编码方法）。

我应邀与会参加纪念活动。同时在会上作了发言，主题是：利用超滤器（Ultrafilter）构建超实数的新途径。这涉及到模型论的范围。

袁萌 10月23日

哥德尔定理的正规表述相关推荐

算法、图灵机、哥德尔定理与知识的不确定性
摘要:知识论一直在寻求对知识的确定性作一般算法式的逻辑证明的辩护.然而,即使在处理抽象的数量概念的数学基础研究中,也不能达到最终逻辑证明的确定性.图灵对停机问题的算法步骤的否定回答.哥德尔定理对真理的 ...
哥德尔定理的背景知识1：戴德金的数观念——哥德尔逻辑与哲学之3
哥德尔定理的背景知识1:戴德金的数观念--哥德尔逻辑与哲学之3 哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃.有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中 ...
从哥德尔定理及其哲学意义来看人工智能的可行性
CSDN话题挑战赛第2期参赛话题:人工智能的[能]与[不能] 1. 逻辑推理的形式化 2.哥德尔定理 3.人工智能及其目的(可行性目的) 4.计算机科学上的局限性 5.人脑与人工智能的区别 6.结论 ...
“哥德尔不完备定理”到底说了些什么？
[编者按:不知为何?一直不相信已有的数理.物理.生理.心理.管理--能够研究好人机融合智能系统.究其因,需要出现新的数/物/心理逻辑和哥德尔.有些经典是偶然的,但有些经典却是必然的.美,不一定是漂亮( ...
哥德尔不完备定理”到底说了些什么？
来源:人机与认知实验室 (一) [中文网上深入介绍哥德尔不完备定理的文章很少,我这篇文章写得很长,花了不少时间打磨它,希望能帮助到爱好数学与逻辑的人.文章把理解哥德尔不完备定理分为了五重,建议只是想初 ...
理性的光辉，“哥德尔不完备定理”到底说了些什么？
关注:决策智能与机器学习,聚焦AI干货编者按:智能技术要在理论研究方面必须要解决非线性现象的可建模机理与规律,其中哥德尔不完备定理不容忽视,哥德尔不完备定理.塔尔斯基形式语言真理论,图灵机和判定问题 ...
第一不完全性定理证明标号分类拆解汉译知识背景——哥德尔原著英译拆解汉译之一
第一不完全性定理证明标号分类拆解汉译知识背景--哥德尔原著英译拆解汉译之一哥德尔原著中的第一不完全性定理证明的全过程,已经艰难地旅行了一趟.不是浮光掠影,却依然处在似懂非懂之中.静坐沉思,常自叹 ...
哥德尔不完备性定理——从数学危机到哲学危机
一.哥德尔不完备性定理的基本内容一个普遍公认的事实是,哥德尔不完备性定理在数理逻辑中占有极其重要的地位,是数学与逻辑发展史中的一个里程碑. 哥德尔关于形式系统的不完备性定理,首次发表在他的论文< ...
什么是哥德尔不完备定理？
到底什么是哥德尔不完备性定理, 总结成一句话就是,任何包含了自然数论的形式体系中,自洽性和完备性必定无法同时满足, 也就是说,哥德尔用数学及逻辑学的方法证明出了完备性与一致性无法共存于一个数学系统里, ...

哥德尔定理的正规表述

哥德尔定理的正规表述相关推荐

最新文章

热门文章