有的集体。
冠以“万法”二字的,就是“数学”的正统!
前几年的时候,万法门内部连宗离宗这两个思想流派,就为了这一步算经的编篡之权而作过一场。王崎甚至还因为发表了“哥德尔完备定理”而在这场争斗之中大放异彩。
如今,数年过去,这本算经终于编成了……第一卷。
“只得一卷啊。也是。‘数学’作为一个学科,发展得已经太过可怕了。绝世天才也没法做到全通全懂。想要完全描述整个数学体系,只怕非得有一个小图书馆才行。”王崎翻开了这本书。
尽管只是第一卷,但是这本书已经称得上篇幅浩大。它的目的就是重铸算术,使之归类为集合理论。在这个系统当中“一加一等于二”被描述成“当含有一个元素的集合和另一个同样含有一个元素的集合合并时,所得到的并集总是有两个元素”。
看起来,后者好像是比前者复杂无数倍,简直就是将简单问题复杂化。但是,在数学家眼中,确实是后者的说法更加明确。更加根本,更加可操作——当然,在这之后,他们需要面对一连串新问题。比如“集合”是什么,如何定义“并集”之类的。
但是,这就是意义所在。
——这个世界不存在阿尔弗雷德·诺斯·怀特海德等任务,但是,算主却完成了他们的工作。
“我看看啊,光是为了解释加法的定义。还有证明‘一加一等于二’,这本书就写了五百多页……”王崎匆匆读了这一部分,然后苦笑。
这本算经确实定义出了“一加一等于二”,但是,只要哥德尔不完备定理一出现,这一部凝结了众人心
第一百五十六章 算典初成,一加一”问(5/6)