第432部分 (第1/5页)

——第三次数学危机，集合论的自我指涉引发的矛盾。

王崎闭上眼睛，在这里停顿了一下。然后，他坚定的，毅然决然的说出了自己的想法：“只有少数思想落后的人仍坚持这样的立场：算学家必须依靠他的‘直觉’来得出新的‘非逻辑的’或‘前逻辑的’推理要素。如果某些算学分支还没有公理化，也就是还原成这样的陈述方式，其中所有名词都用集合论的基本概念来定义，所有公理都用集合论的原始概念明显表示出来，那只是还没有足够的时间让我们这么干。当然，很有可能有朝一日我们的后代会要求把我们所不允许的推理方式引进集合论，甚至很有可能以后用我们现在所用的推理模式发现今天我们还没有看出的矛盾的萌芽，虽然近代逻辑学家的工作说明这种情况出现的可能性很小很小。到那时，就需要进行一次普遍的修正，不过即使现在我们也能肯定算学中最本质的要素也不会受到影响。”

只听到第一句话，包括算君在内的所有少黎派修士都勃然色变。

王崎这便是相当于指着他们的鼻子开骂！

但是，王崎一定要这么说。

这就是他后续思想的铺垫。

“他到底还是离宗弟子……”若澈仙子脸上浮现出复杂的表情，不只是欣慰还是怨恨。

“即使在二十三问的问题中，仍然有几个问题离我们很遥远，虽说它们还不是不可达到的目标，它们或许继续给不止一代人提供研究课题，其中第五个关于李群的问题就是一个例子……”

“黎曼猜想，在人们放弃用变天式的方法证明它的打算之后，现在似乎出现了新光明。它表明它与某个变天式的猜想密切相关，这样一来使得这两个问题成为同一算术—代数问题的两个方面，而对这个问题，对于给定数域同时研究其所有分圆扩张无疑起着决定性的作用……”

“……算王高嗣的算术集中在二次互反律的周围；现在我们知道，二次互反律只不过是‘类域’诸定律的头一个特例，而这些定律是决定代数数域的阿氏扩张的定理，我们也知道怎样表述这些定律使得它们看起来是一个紧凑的整体……”

一个个问题被提出。诸多算家都不傻。他们肯快意识到，这是一个成熟的思想体系。

既包括离宗的那些逻辑、形式化，也有连宗的代表的低维拓扑、代数拓扑。隐约之间，还有一些更在其之上的东西。

何外尔的眼神热切起来。

“这个王崎，求的果然是算学的涅槃！”

第二百四十二章　昨日今日

“尽管图灵真人已经用‘大道之器’的比喻来否决了‘大道圣音’的无所不能，所以这里提出这个比喻很奇怪。但是，今日，我仍旧要说——我们依旧可以相信，自己终有一日可以直面大道，聆听真音。”

“如果有人谴责我们态度高傲，如果有人勒令我们去尽人伦义务而放弃仙道之求索，如果有人问我们为什么非得顽固地坚持在冰川冻土之上，而除了我们的同道就没有人能够在这里生存下去，那我们可以挺起胸膛，高声回应——为吾道长存！”

王崎以激昂的语调，结束了这一次宣讲。

依旧是无人鼓掌。但是，很多人依旧沉浸在王崎刚才的讲演之中。

如果说，不完备和不可判定，是对原有体系的破坏，那么，王崎的这一番演讲，就是在破坏之上的重建。

他提出在“不完备”和“不可判定”两重限制之下，神州算学还有可能突破的方向，并且附上了详实的思路。

他在摧毁了万法门的信心之后，再告诉万法门的其他修士，他们应该往哪个方向努力，算学接下来应该如何发展。

每个人都能够根据自己的见识，对于“发展”发表自己的意见。但是，不