以前的数学家有多“闲”？花十年用379页证明1+1=2

用379页来证明1+1=2？乍听之下荒谬至极！但这背后其实有个精彩绝伦的故事。

1+1=2，这种基础等式连幼儿园小朋友都能理解。我们形容事情简单明了时，就说"这不就像1+1=2一样显而易见吗？"

但真要问你为什么1+1=2，恐怕很难给出完整答案！

大多数人听到这问题会当场愣住，因为我们从未思考过这种"显而易见"事实背后的逻辑基础。但有些执着的天才偏要在这种看似简单的问题上钻研，甚至写出379页的论证来证明这个基本等式。

数学曾经很简单，直到它变得复杂

先回到公元前4世纪，那时的数学简单得像儿童游戏——只有几何和算术两部分。欧几里得作为那个时代的数学泰斗，宣称"数学是宇宙的语言"，似乎他与宇宙有着特殊联系。

欧几里得坚信他的几何公理绝对正确：平行线永不相交，三角形内角和必为180度，正方形的边一定相等。

在他看来，质疑这些就等同于质疑宇宙本身，当时的希腊人可不会接受他们的神创造了有缺陷的宇宙。

随着时间推移，数学越发复杂。

新领域不断涌现，虚数、无穷大等奇特概念层出不穷。最大的挑战来自"非欧几里得几何"的出现——这些数学家直接挑战欧几里得的第五公设。

简而言之，他们创造出一系列在欧几里得看来是"异端"的几何体系，但这些体系在逻辑上竟然无懈可击！

这一重大突破直接动摇了传统数学的根基，数学界陷入了混乱。

两个偏执天才的史诗救场

就在数学界一片混乱之际，两位主角登场了：伯特兰·罗素和阿尔弗雷德·诺斯·怀特海。

怀特海当时已是剑桥名流，罗素虽年轻但因出版各种深奥著作而声名鹊起。

这两位自信满满的天才决心拯救数学，为它建立无懈可击的基础。

罗素认为，数学最大的问题不在于复杂的高级理论，而在于最基础的常识性问题。若能稳固基础，整个数学大厦就能坚不可摧。

他们坚信，数学不能仅依靠观察，必须建立在严密逻辑之上。观察可能误导人，但逻辑永远真实。

这两位大师推出了一套后来被称为"形式主义"的体系，将所有数学转化为由符号、公理和推理规则组成的"形式语言"。

证明1+1=2的艰辛历程

这就是为何他们需用379页来证明1+1=2。

他们不仅要证明等式本身，还必须从基本逻辑出发定义"1"的本质，"+"的含义，"="的作用，以及"2"的真正意义。

最讽刺的是，这两位大师原本预计一年内完成此项目。

结果呢？整整花了十年才完成算术部分！

为提高效率，罗素和妻子甚至搬进了怀特海家中。

然而意外发生了，罗素与怀特海年轻的妻子产生了亲密关系！这使两家关系紧张，怀特海只好催促尽快发表论文了结此事。

更糟的是，没有出版社愿意出版这部巨著，因为内容深奥到普通读者无法理解！

最终，这两位学者不得不自费出版，终于在1910年以《数学原理》之名将其公之于世。

后来有数学家质疑这论文根本不是为普通人准备的。

罗素自己也承认，可能全世界总共只有6人完整阅读了此文。

具有讽刺意味的是，论文出版不久后，年轻数学家库尔特·哥德尔就证明了：任何数学系统都无法同时保证完整性和无矛盾性，包括他们的《数学原理》。

这相当于宣告他们十年心血并非完美无缺。

尽管如此，《数学原理》在数学史上的地位无可撼动。

尽管鲜有人真正通读，却影响深远至今。