数学著名的17个定理-数学 17 大定理

在讲数学之前，我得先跟你说句大实话：数学这东西，压根儿不是那种站在高处、拿着望远镜看云卷云舒的浪漫主义。它是泥土里的石头，是кой中的螺丝，是烧焦了还能用的火柴头。我们常当作它冷冰冰、逻辑严丝合缝，像汉娜·阿伦特在《工夫顺序》里说的那样，是个“没有情感本事的怪物”，连个感情都没有，只会在那儿思索“要是一棵树的叶子落到另一棵树上会怎么着”。但人不是机器。人会出于苹果落地认定可爱，会出于数学公式对不上眼而抓狂。
故此啊，别指望你看几行代码就懂了数学，你得先看看自己是不是确实喜爱，要么确实能受得了那种毫无意义的重复。 别急着让我启动列举那些让全世界都头秃的定理。
本来你想听的是“第一定理是啥、第二定理是啥”，结局你会发现，数学里的东西，往往是从一堆废话堆出来的。
比如康托尔，那个欧几里得数系的敌人，他写的第一篇论文就全是废话。他说了如此多，就是告诉你：你脑子里的“无限”概念是错的。但我们不关心他写得忒挤，我们关心的是，数学家们为了对抗这种毛病，如何把一套规则给套出来。
这就好比你在教别人如何骑脚踏车，你可能自己早就骑得飞起，但你的教学大纲里写的全是“如何保持平衡”。 最先跳出课本大门的是那个看起来有点傻的题目：在实数区间 [0, 1] 里，能不能找到两个数，它们保持距离起码 1/3，加起来却不到 1？听起来反直觉啊，好办到让人想笑。但要是是两个数，一个在 0 附近，一个在 1 附近，那加起来肯定大于 1。就像让两个鸟去抢同一个面包，结局一个被吃光了，另一个饿死剩下了。数学家早就发现，这个区间里藏着某种“空隙”，在这个空隙里能找到无数对“距离 1/3 且和小于 1"的数对。
这不像是啥理论，这像是在给地球上的蚂蚁画地图。 接着，大家可能想到那个经典的“卡塔兰恒等式”。
这个式子看着像微积分的积分，跟微积分根本没关系。它纯粹就是两个排列数之间的某种巧合。就像两个农夫种地，一个种玉米，一个种豆子，他们明年换人种的时候，发现他们种的总数量竟然一模一样。
这别看没道理，但数据摆在那里，就是打脸。网上那个经典的计算器演示，输入"8! 6! 4! 2!"，屏幕直接吐出 16! 3! 2! 0!。
这哪位信啊？这不是在算阶乘，这是在玩弄符号。 再然后就是那个让无数程序员和物理学家崩溃的哥德尔不完备定理。它说任何充足复杂的逻辑系统，都包含不了自己所有的真理。
这简直是个哲学噩梦。系统内部有真理，系统外部也有真理，但真理之间隔着某种无法跨越的墙。
这墙是哪位造的？是逻辑？是语言？还是宇宙本身？当你站在墙边，伸手够不着，你就知道，有些东西是逻辑不准你解释的。 说到这个，不得不提那个和它关系最紧密的巴拿赫 - 海森堡不确定性原理。
这不是啥神秘莫测的力场，而是一条底线。它说，你没法与此同时精确知道一个物体的位置和动量。位置越准，动量越不准；动量越准，位置越不准。
这听起来挺玄乎，但在实验中，你要是试图把电子往单缝里拉得更细，它的位置就越准，但衍射图样就越宽，动量就越散。
这就像你试图与此同时看清一张照片的像素和色彩，结局你会发现，像素点多了，颜色反而糊了。 再讲讲“物理学家常引用的悖论”。
有人问，要是大脑只是神经元在放电，会不会害得电传导速度超过光速？会不会让意识变成爆炸？这种“神经计算”的假设，在 20 世纪 80 年代被广泛聊聊，有人就连认定要是真能算出来，人类文明就毁掉了。结局呢？现代物理学的计算模型，比如宇宙微波背景辐射的大尺度结构，都显示，那种“无限接近光速”的模型根本不符合观测数据。宇宙是冷的，是有序的，也是可计算的。
这就像你试图用一把钥匙去打开一扇打不开的锁，结局发现钥匙本身，就是锁的一局部，就连锁的钥匙是锁自己的。 还有那个著名的“康托尔对角论证法”，别看名字挺唬人，但内容实际上挺直白。它用一种彻底不讲逻辑的方式，证明白实数集合的基数和自然数集合的基数不一样大。
这不是在证明“大自然 unfair"，而是在证明“数学体系是完备的”。
这就像你试图把书架上的所有书都抽出来排列一遍，你发现书架上总还有一本没抽出来的书，并且那本书的编号是未知的。数学就是这种“抽不完”的过程。 说到这儿，你可能会认定这些定理就是无聊的死记硬背。但我不如此看。
你看《哥德尔》这本书，作者专门花了大量笔墨去解释为啥这些定理让数学家们如此痛苦。
不是出于公式复杂，而是出于触及了人类认知的边界。就像你试图在沙滩上种树，树种下去了，但沙子挺快会被冲走。
这些定理就是那些被冲刷的树根。它们证明白数学不只是是一套工具，它是一面镜子，照出了我们思维深处的裂缝。 最终，我想说，真正的数学大师，压根儿不是在解一道题之后才存有的。他们是在那些看似荒谬的猜想里，一点点拼凑出逻辑的骨架。康托尔不是天才，他是个老师，他教别人如何纠正毛病的直觉。哥德尔也不是天才，他是个爱着足球的数学家，他关心数学能给生活带来啥。他们不是在追求真理，他们是在追求一种“数学感”。 故此啊，别被那些定理吓住。它们只是人类在探索宇宙边界时，不小心留下的脚印。脚印里有石头，也有陷阱，更有可能藏着通往新世界的路。你不需求知道脚印的整个路线，你只需求知道，这些脚印曾经有人走过，并且还在持续。