那只是还没有足够的时间让我们这么干。当然,很有可能有朝一日我们的后代会要求把我们所不允许的推理方式引进集合论。甚至很有可能以后用我们现在所用的推理模式发现今天我们还没有看出的矛盾的萌芽,虽然近代逻辑学家的工作说明这种情况出现的可能性很小很小。到那时,就需要进行一次普遍的修正,不过即使现在我们也能肯定算学中最本质的要素也不会受到影响。”
只听到第一句话,包括算君在内的所有少黎派修士都勃然色变。
王崎这便是相当于指着他们的鼻子开骂!
但是,王崎一定要这么说。
这就是他后续思想的铺垫。
“他到底还是离宗弟子……”若澈仙子脸上浮现出复杂的表情,不只是欣慰还是怨恨。
“即使在二十三问的问题中,仍然有几个问题离我们很遥远,虽说它们还不是不可达到的目标,它们或许继续给不止一代人提供研究课题。其中第五个关于李群的问题就是一个例子……”
“黎曼猜想,在人们放弃用变天式的方法证明它的打算之后,现在似乎出现了新光明。它表明它与某个变天式的猜想密切相关,这样一来使得这两个问题成为同一算术-代数问题的两个方面。而对这个问题,对于给定数域同时研究其所有分圆扩张无疑起着决定性的作用……”
“……算王高嗣的算术集中在二次互反律的周围;现在我们知道,二次互反律只不过是‘类域’诸定律的头一个特例,而这些定律是决定代数数域的阿氏扩张的定理,我们也知道怎样表述这些定律使得它们看起来是一个紧凑的整体……”
一个个问题被提出。诸多算家都不傻。他们肯快意识到,这是一个成熟的思想体系。
既包括离宗的那些逻辑、形式化。也有连宗的代表的低维拓扑、代数拓扑。隐约之间,还有一些更在其之上的东西。
何外尔的眼神热切起来。
“这个王崎,求的果然是算学的涅槃!”(未完待续。)