第一百五十六章 算典初成,“一加一”问(4/4)
看起来,后者好像是比前者复杂无数倍,简直就是将简单问题复杂化。但是,在数学家眼中,确实是后者的说法更加明确。更加根本,更加可操作——当然,在这之后,他们需要面对一连串新问题。比如“集合”是什么,如何定义“并集”之类的。
但是,这就是意义所在。
——这个世界不存在阿尔弗雷德·诺斯·怀特海德等任务,但是,算主却完成了他们的工作。
“我看看啊,光是为了解释加法的定义。还有证明‘一加一等于二’,这本书就写了五百多页……”王崎匆匆读了这一部分,然后苦笑。
这本算经确实定义出了“一加一等于二”,但是,只要哥德尔不完备定理一出现,这一部凝结了众人心血、智慧的典籍就不得不面对一个恐怖的事实。
无法证明任何足以推到算学理论的集合论规则是自洽的。你无法用逻辑去否定“一加一等于三”的可能性。但是,任何人都可以用直觉判断出,那是不可能的。
“1”“2”“3”“4”“5”……这些数字本身,就是超越了人类思维的客观事实。
“于无声处听惊雷”。数学之中最最基础的数字,就是如此可怕的东西。
“典型的数学家在工作日是柏拉图主义者,在休息日则是形式主义者。”地球的数学家在经历过那可怕的绝望之后,只能无奈的写下这么一句话。
当我们必须做出正确的陈述时,我们不得不承认,我们无法断言数学当中不存在矛盾,但是我们不会因此而中断对数学的探索。
“一加一等于二”,说到底就是这么可怕的问题。
“哎……这个问题还真就是费脑子。人族‘一加一等于二’用了不知道几千年还是几万年,不还是没人怀疑吗。”
王崎合上书,继续向蒙学走去。
突然,他停住脚步。
“等一等啊……我最开始意识到的数学,好像就是‘一加一等于二’?”未完待续。