三视角专栏THREE VIEWS · SDE UNIVERSES
三视角基础理论 · 网页长文

从哥德尔到三视角智慧

王德生(原文介绍部分转自「慧小田哲思学」) · 原稿未标日期 · 三视角阶段(2017.01—2022.10) · 正文约 3,305 字 · 约 7 分钟

本篇为编辑整理稿:分段、小标题、错字与标点经校订,观点与原话保持原貌;原稿可随时翻阅或下载核对。

本文目录
  1. 一、希尔伯特的计划
  2. 二、哥德尔的两条定理
  3. 三、三视角的读法
编者导读一边读一篇哥德尔不完备性定理的科普,一边逐段加上三视角的读法。希尔伯特想把整个数学形式化并在系统内部证明它的完备与一致,哥德尔证明这条路走不通。文中的三视角解读把它接到一句话上:对比视角不能离开分布视角,离开处境去假定「任何情形」,必定自相矛盾。

我们一边阅读"慧小田哲思学"的哥特尔不完备性定理简介,一边加上三视角解释以便大家更加明白。

一、希尔伯特的计划

1978 年1 月14 日,一颗伟大的心脏停止了跳动,世界著名的哲学家,逻辑学家和数学家哥德尔病逝。他对逻辑学和数学基础等领域的研究做出了突出的贡献,我们仅从爱因斯坦的一句话就可以大致判断出哥德尔是属于重量级的人物,爱因斯坦说:"他晚年之所以坚持每天都去办公室,是因为在路上可以和哥德尔聊天。"哥德尔一生最重要的工作是证明了哥德尔不完备性定理,要想了解不完备性定理的大致含义,我们先从希尔伯特雄心勃勃的计划说起。

德国著名数学家希尔伯特出生于东普鲁士的哥尼斯堡,与伟大的哲学家康德是同乡。希尔伯特是一位名副其实的数学大师,有人将他称为“数学界最后的一位全才”。希尔伯特希望为整个数学寻求一个坚实的基础,他的目标是将整个数学体系严格公理化(就像欧几里得的平面几何学一样),然后运用元数学(证明数学的数学)来证明整个数学体系是建立在牢不可破的坚实的基础之上的。

首先,他计划要将所有数学形式化,让每一个数学陈述都能用符号表达出来,让每一个数学家都能用定义好的规则来处理这些已经变成符号的陈述。这样就可以使数学家们在思考任何数学问题的时候能够彻底摆脱自然语言的模糊性,取而代之的是毫无含糊之处的符号语言。

(三视角智慧解读:就是希望把波的视角去掉,希望只用粒子和场的视角来绝对正确认识世界).然后,证明数学是完整的,也就是说所有为真的陈述都能够被证明,这被称之为数学的完备性;再来证明数学是一致的,也就是说不会推出自相矛盾的陈述,这被称为数学的一致性。完备性保证了我们能够证明所有的真理,只要是真的命题就可以被证明;一致性确保我们在不违背逻辑的前提下获得的结果是有意义的,不会出现某一个陈述,它既是真的又是假的。最后,期望可以找到一个算法,用此算法可以机械化地判定数学陈述的对错,这被称为数学的可判定性。一致性保证了自相矛盾的情况不会出现。

** 「在保证数学一致性这个前提之下,如果又有了数学的完备性,也就是说任何一个数学命题都可以被证明或者被证伪」 **。这其实就是说,对于任意一个数学猜想,不管它有多难,只要假以时日,通过一代又一代人的努力,总是可以知道这个猜想对不对,并且证明或证伪它。换句话说,在数学中,通过逻辑,我们必定能够知道我们想要知道的东西,这只不过是个时间问题。

希尔伯特提出,先计划在基础的数学系统中进行这样的形式化,然后再将其推广到更广阔的数学系统中,最后实现整个计划。于是,整个计划便归结为在算术系统中进行这样的形式化,并且在算术系统的内部证明它的完备性、一致性和可判定性。算术系统可以说是非常基础的系统,我们做算术,对自然数做加法、乘法和数学归纳法,就都用到了这个系统。但我们平时只是凭直觉来理解这个系统,而数学家追求的是用逻辑的方法来定义它,因为只有这样做才会使他们觉得安心。这似乎不是一个十分困难的任务,因为算术系统并不是一个很复杂的系统。

二、哥德尔的两条定理

在希尔伯特提出这个雄心勃勃的计划以后,许多数学家都投入了对于这个问题的研究,其中就包括哥德尔。在完成自己的博士论文以后,哥德尔就着手研究更为一般的数学系统。1931 年,他对算术系统的探索宣告胜利,然而他的这个胜利也就意味着希尔伯特计划的失败。哥德尔的结论后来被称为哥德尔不完备性定理。

哥德尔不完备性定理包含两个:第一,他证明了,对于任意的数学系统,如果其中包含了算术系统的话,那么这个系统不可能同时满足完备性和一致性。也就是说,要是我们能在一个数学系统中做算术的话,那么要么这个系统是自相矛盾的,要么有那么一些结论,它们是真的,但是我们却无法证明。

第二,他证明了,对于任意的数学系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性。

哥德尔不完备性定理的证明过程十分复杂,但是其核心思想是运用了逻辑学里的“自指”的概念,说的通俗一点就是:「这个陈述它陈述了它自己」。自指是逻辑学里面很多悖论的根源,比如理发师悖论——在一个小镇内,只有一名理发师,他在理发店门外公布了这样一个原则:「只为不给自己理发的人理发」。那么,他自己的头发谁来理呢?要是他自己理的话,他就会自己理发了,那么根据他的原则,他不应该为自己理发;要是他不给自己理发的话,根据他的原则,他倒是应该给他自己理发了,逻辑似乎在这里失效了。这和中国的"矛和盾"的问题一样!

(三视角解读:人类无法进行普遍性地任何情况下都适用的判定!即对比视角不能离开分布视角!)也即是,离开分布视角,进行"任何情形"的假定,必定带来自相矛盾!)

这种逻辑上的混乱局面,背后就是罗素悖论:定义一个集合,它包含所有不包含自身的集合,那它是否包含自身?罗素悖论的产生就是因为他的问题本身就违背了三视角智慧理论!他预设了一个普遍适用的概念的存在!

从上面的分析我们可以看到,一切问题在于“包含自身”这种自指的描述。然而这种“自指”的性质,在哥德尔的手中,却变成了完成证明的重要工具。哥德尔构造了一个命题,这个命题说的正是它自身的不可证明性。

如果用类似说谎者悖论的语言来描述的话,就可以表达为:** “不存在对这个命题的形式证明。” **如果它是真的,那么它是不可证明的,说明系统是不完备的,因为存在一个真的而又不可证明的命题;如果它是假的,那么就存在一个对它的证明,这样它应该是真的,这又说明了系统是自相矛盾的、不一致的。

(根据三视角智慧,人类无法通过理性得到一个普遍适用于任何情形的知识结论!这是理性的局限!)

这就是哥德尔第一不完备性定理:如果系统包含有自然数的话,「完备性和一致性不可得兼,这个系统要么自相矛盾,要么存在着既不能证明也不能证伪的命题」。

然后,我们再来仅考虑一致性的问题:假定系统是一致的,也就是说不会自相矛盾的,那么我们刚才提到的命题就是不可证明的。如果我们能在系统内部证明系统的一致性的话,我们就相当于在系统内部证明了那个命题,这与不可证明性是矛盾的。也就是说,我们做了错误的假设:能在系统内部证明系统本身的一致性。由此,哥德尔证明了他的第二不完备性定理。

如果我们假定数学是不会自相矛盾的话,我们就必须承认数学是不完备的,也就是说有那么一些数学命题是不可判定的:我们既不能证明它们为真,也不能证明它们为假。

三、三视角的读法

自从哥德尔不完备性定理被证明以来,越来越多的数学问题被证明是不可判定的,这些不可判定的问题也越来越初等。乍看起来并非不可捉摸,但到头来却是不可判定的。这就给数学家们的心头上压了重重的一块大石头,谁也不能肯定自己辛辛苦苦做了十几年甚至几十年的题目,会不会突然有一天被证明是在现有的数学系统中是不可判定的。

尽管这样,哥德尔不完备性定理仍然带给我们很多收益,** 至少我们知道了,有些东西我们是不可能知道的。**(三视角智慧:人类认识任何一个事物都是有限的,不可透知的,所以事物总是具有变化视角!)

==哥德尔的不完备性定理,首先是针对“形式系统”的。只有在存在“形式系统”的条件下,才会产生“形式与内容”之间的不相容性的问题。(三视角解读:形式和意义不能分开,而意义和处境不能分开,所以数学形式不能离开现实世界,希尔伯特的人类巴贝塔是无法建成的!认识任何一个事物,我们不能离开它的分布视角,数学也一样!)

理论物理系统作为一个标准的“形式系统”,其终极形式最终会导致“完备性”与“一致性”之间的不相容。所以,理论物理的理论的发展只能是渐进的、分层次的,这就是为什么爱因斯坦的相对论可以超越牛顿力学却无法取代牛顿力学的原因。同样超越爱因斯坦的相对论也不意味着取代爱因斯坦相对论,因为包含相对论理论的形式系统(黎曼几何)在相应的物理内容范围内是无矛盾的,相容的。

三视角智慧告诉我们,对事物的对比视角,即对比特征的认识是永无止境的,我们必须不断地扩充它的分布视角来丰富变化视角,进而升华对事物的本质认识!数学知识的分布视角就是它的公理假设系统,物理学也是如此!不断地扩大分布视角,就不断地推进物理学和数学的发展!

真理与命题之间的矛盾,似乎是悖论的必然表现。这个表现的本质在于,它证明了“真理”本身的相对性,而“绝对真理”只能建立在体系完备的基础上,哥德尔定理证明了这是不可能的。因此,当人们追求“绝对真理”的时候,实际上就已经偏离了追求“真理”的正确道路,其结果必然就是:发现“绝对真理”就是绝对的悖论。(三视角智慧断然否定人类掌握这些"绝对真理"的可能性,或者说,人类没有必要和能力掌握"绝对真理").适用于任何情形的形式机械模式不再存在!

因此,20 世纪的哲学终于摆脱了“绝对真理”的庞杂体系,开始了自身的变革。虽然,哲学不再充当“科学的教父”,“意识形态的总司令”,但它自身却变的更加接近真理而远离了谬误。这也许就是20 世纪的数学,对于哲学的最大贡献,而且对于整个人类文明的影响也是非常深远的!

这就是哲学自身追求成为"理性上帝"的失败!哲学只是认识世界的一个视角而已!科学,哲学,形而上(广义神学)成为人类知识体系的三视角!彼此互相需要,彼此互相关联,互相解释!

编辑整理说明:正文逐字取自原稿。原稿里用来分隔的成串等号与百分号已按申报的样式统一删去,别的字一个没动;作者插在文中的三视角解读仍留在原位(原稿用圆括号标出);小标题由编辑按各段内容补写。数学史部分的介绍文字出自「慧小田哲思学」,原稿开头已注明。
全文结束。
在线翻阅原稿下载原稿 PDF · 返回网页长文目录
回顶部 ↑