第一百七十二章 离宗叛徒?离宗标杆?(第3/5页)
较长短的人。【这里指埃尔朗根纲领】
而他所概括的,也只有几何、群论两个领域而已。
王崎一开口,说的却是整个算学界。
如果是一般人这么说,哪怕是以为逍遥修士,恐怕这些巅顶修士都会开口斥责。
但是,唯独王崎,无人敢指责。
希门二十三问当中的第二问和第十问太有分量了。歌庭派众多逍遥攻坚,都未曾看到一丁点解决的希望。可是这个少年就解决了。
法力上,他或许还欠缺一点积累。但是,在算理逻辑的领域,他乃是巅顶级数。
“事实上,我既不能够也不打算给算学的未来发展指明一条道路我甚至没有这个资格,而且我也知道这样做肯定是劳而无功的,实际上是一件可笑的事。我始终坚信,未来的算家正如过去的算家一样,总不会走老路。他们会通过我们想不到的关系用新观点看问题,去解决我们留给他们的大问题只不过碍于见识,我们不知道。”
“但是,我至少知道,自己能够做什么。”
“不完备和不可判定并不是什么可怕的事情。缥缈之道证明了微观领域里,确定性丧失。但是,这对宏观的世界没有任何影响。我们依旧胜在一个有因有果的世界里。”王崎道:“我虽然证明了算学完备性和可判定性的缺失。但是,我只是证明了它们存在,却还不知道它们发生在何处。我们还远远没有触碰到算学的边缘。在已知的算学领域里,不完备和不可判定的意义不大。”
“至少在现在,我们已知的算学并没有和这个世界的客观事实产生矛盾。”
“或许,我们迟早有一天会面对这一切。就像我们想要探寻微观的世界,就不得不面对‘不确定’一样。但是,那一天不是现在。”
“那种研究过去还没有进行过,现在也还为时过早,至少现存的算学还不足以触及那个区域。我相信,当我们触及那个境界的时候,对于证明的需要早已达到意识的水平上,同时具有这种需求的技术
-->>(第3/5页)(本章未完,请点击下一页继续阅读)