哥德尔证明
文章平均质量分 86
lan_777
这个作者很懒,什么都没留下…
展开
-
《哥德尔证明》阅读笔记——初等命题逻辑的一致性证明过程
前两节主要阐述了公理系统的发展历史,一致性问题的提出,以及希尔伯特的洞见,本节将给出哥德尔证明所需的最后一次具体背景阐述,包含两个问题:一是罗素所著的《数学原理》是为何而写?二是从数学原理中截取一段,示范对初等命题逻辑系统给出希尔伯特所设想的那种一致性的绝对证明。原创 2023-12-19 22:31:00 · 1259 阅读 · 0 评论 -
《哥德尔证明》阅读笔记——一致性问题的绝对证明
追问一个公理系统的一致性,我们知道一个模型法,即从现实经验中找到一个模型,能将所有公理映射成此模型的真陈述,但很多系统模型是无穷的,比如想检验“空间中两点能确定一条直线”这个欧氏几何公理在空间模型中的陈述,需要检验所有无穷多的点,这显然不可能做到,这是模型法的固有缺陷。数学家也在尝试建立公理一致性的其他方法。原创 2023-12-16 19:40:30 · 945 阅读 · 0 评论 -
《哥德尔证明》阅读笔记——一致性问题
从第一次了解到哥德尔不确定性原理时,我就被此定理的内涵和意义所吸引,也对这个定理的证明过程充满兴趣,最近闲暇时,买了这本《哥德尔证明》的书,希望理解这个意义重大的数学定理的核心,在此做一个阅读笔记。原创 2023-12-15 21:19:48 · 1009 阅读 · 0 评论