第一百五十六章 算典初成，“一加一”问 (第3/3页)
会、哪一所大学有这样的影响力，能够作为“全体数学家”的代表。
但是。在神州，“修士”这一阶级、这一身份乃是联系那些数学家最天然的纽带，门派就是天然的学会。万法门，是超越地球上一切学术组织的，所有数学家共有的集体。
冠以“万法”二字的，就是“数学”的正统！
前几年的时候，万法门内部连宗离宗这两个思想流派，就为了这一步算经的编篡之权而作过一场。王崎甚至还因为发表了“哥德尔完备定理”而在这场争斗之中大放异彩。
如今，数年过去，这本算经终于编成了……第一卷。
“只得一卷啊。也是。‘数学’作为一个学科，发展得已经太过可怕了。绝世天才也没法做到全通全懂。想要完全描述整个数学体系，只怕非得有一个小图书馆才行。”王崎翻开了这本书。
尽管只是第一卷，但是这本书已经称得上篇幅浩大。它的目的就是重铸算术，使之归类为集合理论。在这个系统当中“一加一等于二”被描述成“当含有一个元素的集合和另一个同样含有一个元素的集合合并时，所得到的并集总是有两个元素”。
看起来，后者好像是比前者复杂无数倍，简直就是将简单问题复杂化。但是，在数学家眼中，确实是后者的说法更加明确。更加根本，更加可操作――当然，在这之后，他们需要面对一连串新问题。比如“集合”是什么，如何定义“并集”之类的。
但是，这就是意义所在。
――这个世界不存在阿尔弗雷德・诺斯・怀特海德等任务，但是，算主却完成了他们的工作。
“我看看啊，光是为了解释加法的定义。还有证明‘一加一等于二’，这本书就写了五百多页……”王崎匆匆读了这一部分，然后苦笑。
这本算经确实定义出了“一加一等于二”，但是，只要哥德尔不完备定理一出现，这一部凝结了众人心血、智慧的典籍就不得不面对一个恐怖的事实。
无法证明任何足以推到算学理论的集合论规则是自洽的。你无法用逻辑去否定“一加一等于三”的可能性。但是，任何人都可以用直觉判断出，那是不可能的。
“1”“2”“3”“4”“5”……这些数字本身，就是超越了人类思维的客观事实。
“于无声处听惊雷”。数学之中最最基础的数字，就是如此可怕的东西。
“典型的数学家在工作日是柏拉图主义者，在休息日则是形式主义者。”地球的数学家在经历过那可怕的绝望之后，只能无奈的写下这么一句话。
当我们必须做出正确的陈述时，我们不得不承认，我们无法断言数学当中不存在矛盾，但是我们不会因此而中断对数学的探索。
“一加一等于二”，说到底就是这么可怕的问题。
“哎……这个问题还真就是费脑子。人族‘一加一等于二’用了不知道几千年还是几万年，不还是没人怀疑吗。”
王崎合上书，继续向蒙学走去。
突然，他停住脚步。
“等一等啊……我最开始意识到的数学，好像就是‘一加一等于二’？”(未完待续。)