书海居 m.shuhaiju.net

    第二百四十一章 算学的涅槃(第 4/4 页)

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

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

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

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

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

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

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

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

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

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

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

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

    何外尔的眼神热切起来。

    “这个王崎，求的果然是算学的涅槃！”(未完待续。)手机用户请访问http://m.piaotian.net