不完全性定理元数学和自然数_开读哥德尔原著第一章——哥德尔读后之十

最新推荐文章于 2022-12-04 12:20:39 发布

weixin_41670255

最新推荐文章于 2022-12-04 12:20:39 发布

阅读量540

点赞数

分类专栏：逻辑文章标签：抽象代数

本文链接：https://blog.csdn.net/weixin_41670255/article/details/117443232

版权

本文介绍了哥德尔的不完全性定理，探讨了数学发展的精确化趋势以及其局限性。哥德尔指出，尽管数学试图通过少数公理和规则断定所有可形式表达的命题，但实际上并非如此。文章详细阐述了哥德尔如何证明在PM系统中存在不可判定命题，展示了其论证过程和关键概念，如元数学、自然数类K的定义，以及反证法的应用，揭示了形式系统的不完全性。

摘要由CSDN通过智能技术生成

不完全性定理元数学和自然数_开读哥德尔原著第一章——哥德尔读后之十

把R.B.B的导论弄完，终于轮到读哥德尔原著的英译文本了，今天开读原著的第一章。R.B.B的导言给了人很多哥德尔定理的背景知识，但背景知识代替不了原著。抚卷细读，九十年前，一个二十出头的年轻人，喜欢安定，喜欢精确，好像也很较真（见王浩著《哥德尔》），更好像有点超越实在。可就是这个不起眼的家伙，却发现了两个重要的逻辑与数学奉献中隐含着的元数学问题。
年轻时的哥德尔彩照
在这里插入图片描述

哥德尔黑白照
在这里插入图片描述

以上提及到的两个逻辑与数学奉献，一个就是罗素-怀特海的《数学原理》中表述的PM系统，另一个则是策梅洛-弗兰克尔的ZFC公理集合系统。而那著名的元数学问题，则是哥德尔1930年的《PM及有关系统中的形式不可判定命题》论文中，他所论证的两个元数学定理：一个称之为哥德尔第一不完全性定理，另一个称之为哥德尔第二不完全性定理。按照哥德尔唯一的中国学生王宪钧先生在其《数理逻辑引论》一书的说法，
第一不完全性定理说的是：
一个包括初等数论的形式系统P，如果它是一致的，那么它就是不完全的。
第二不完全性定理说的是：
如果一个系统是一致的，那么这个系统的一致性在该系统中不可证。
（参见王宪钧《数理逻辑引论》第333页）
策梅洛照片（1871-1953）
在这里插入图片描述

在我们这个时兴实用，时兴经验，更讲究话语权的时代，哥德尔的研究似乎一条都不沾边。上个世纪30年代做逻辑和做数学的人，和现时代做同样研究的人大概颇有类比之处。这个世界有用的东西多了去了，哪里轮得上这个不食人间烟火的所谓基础性研究来供人选择？不过话又说回来，个人对人生路途的选择，似乎全由偶然中的某个瞬间来定。那里也许有上帝的呼唤，也许有个人灵性的导引，更实在一点，也许出于生计的，也许出于感情的，也许出于趣味的。至于其它那些看着就像假大空的超级动机，那就天知地知你知我知，不用我赘言了。
闲言少叙，我还是回到这个开始细读的哥德尔文本上来。年轻让人羡慕，这是经验世界的常规情感，年轻而让人敬畏，则肯定超越常规。哥德尔原著文本那错综复杂的符号关系，看得人眼花缭乱，但无数智者为之所倾倒。自然是该如《诗经》小雅所言：
高山仰止，景行行止。
我辈跟读，就因那敬畏向往之心而作也。依然离不开对于那个三的依恋，且分三个部分来解读哥德尔原著英译的第一章。