包含两位最巅顶者的众多逍遥,几乎占据万法门半壁江山的人物。
但是。那又怎样?
仙盟终究是一个学术组织,而非宗教组织。?&& ?? .?u?8?x&n?只要“那个定律”还在这个世界成立,那么,它的地位就无可撼动!
“也该出现在这个世界了。”王崎深吸一口气:“哥德尔不完备定律……”
哥德尔不完备定律,在地球那个世界,击碎所有数学家幻想、打破人类数学神圣性的东西。
曾经的数学家。都有着这样的梦——“在保证数学一致性这个前提之下,如果又有了数学的完备性,也就是说任何一个数学命题都可以被证明或者被证伪”。对于任意一个数学猜想,不管它有多难,只要假以时日,通过一代又一代人的努力,总是可以知道这个猜想对不对,并且证明或证伪它。
换句话说,在数学中,通过逻辑,人们能够知道任何事情,这只不过是个时间问题。
即使那个目标是“道”,是“终极”。
这也就是所谓的“我们必须知道,我们必将知道”。
但是现在,王崎将要写出的两道理论,将会击碎这个尚存于神州的美梦。
我们永远无法证明,一个过一阶的、复杂的集合论规则是自洽的。
任何相容的形式体系,都无法证实自身的相容性。
这就是哥德尔的两条不完备定律。
人类的逻辑,实际上是不自洽的。
我们或许永远也不能抵达“那里”。
王崎知道,这一篇论文的出现,会造成整个万法门的动摇。无数修士将会恐惧这个理论,甚至惧怕它的提出者。
然后,曾经照拂过王崎一系的歌庭派,声望也必然会一落千丈。
这是必然的。
至于会有多少人因为道心动摇而走火入魔?
想必不会太少吧?
但是,王崎必须写。
与歌庭派分道扬镳对他来说是早已注定的事情了。而且,无论是情感上还是理智上,他也着实不希望算主带着一大群巅顶逍遥,往一个绝对不能说是正确的方向上死扑。
对于他来说,这么做,大约还可以算作是解放那些强大修士的劳动力,让他们可以将心思转向一些更加正确、更加有利于神州整体的方向吧?
而且,现在的王崎。也确实需要声名。
数据化修法具有开创时代的潜力。而王崎需要声名,更好的去推广它,去开创时代。他要做新时代的领军人物。对于这个计划来说,声名是必须的。
另外。歌庭派的赫赫威名,实际上也对王崎的计划,还有对神州的算学展造成了阻碍。
王崎早在六七年前,就公布了布尔巴基学派的思路。现在这么久远的时间过去了,他在扶桑表的演讲。应该已经接着歌庭派的威名传播出去了。但是,歌庭派的生命,反过来压制了布尔巴基学派思想在此方天地的生长。
——因为算主并不喜欢这个思想。
王崎最初是借东风。现在“东风”已经用完了,再吹下去,王崎反而要受到压制。
而布尔巴基学派的成果,又是后面许多物理理论的基石。
所以,王崎要么改变歌庭派,要么将歌庭派的声名打落。
当然,即使没有这些理由,王崎也会表这篇论文的。
因为……他是一个求道者。
“就是这么简单的事情啊……”王崎写这论文。脸上的表情渐渐从苦笑变成微笑。
这次《万法算藏》的卷一,是他表这一理论的导火索。有了这一篇理论,集合论已经规范。历史的转折点可以到来了。
而他与那个谪仙授课时有意无意传授的思想……大约就可以看做是他对着歌庭派的那些修士做出的预警吧。