第243章 七号关键质疑点的釜底抽薪(2/2)
爱德华·艾尔利克斯同样笑着回应道:“自从那天早上知道你就是秦衡以后,我就预感到会有这天了。”
台下众人面面相觑,从这些对话中不难推断,这两人似乎见过面认识彼此,或者还有更深的渊源,该不会影响论证吧。
爱德华适时出声解释道:“说来也巧,就在大会开幕前两天,秦衡先生出来晨练时追无脸羊入林,迷路以后居然撞到了我居住的林间小屋。
要知道就算我前女友都不知道我在瑞士有这么一栋房子,我当时第一眼差点怀疑他是我前女友请的私人侦探,后来交流后才打消了这种想法,因为私人侦探绝对回答不出我问的那些数学问题。”
秦衡也是紧跟着开口跟话茬。
“当天爱德华问了我三个问题,从代数跳跃到弦理论研究。
我当时就在想,一个隐居山林的农夫样貌的人居然有这样的学术水平,怪不得全球数学家协会会把这里当成大本营呢。
直到后来互通姓名,我才知道这位是剑桥教授,相比我一个学生而言,真是人外有人天外有天。”
爱德华·艾尔利克斯和秦衡的这个解释引的会场一阵哄笑。
欧洲这边很喜欢这种灵机一动的小幽默,既解释缘由又打消了顾虑,还能增加质证前话题性,实在是一举两得。
轻松过后,质证正式开始。
由爱德华代表G组提出关键质疑点。
“我们G组四百名协会成员不辞辛苦日夜研究整篇霍奇猜想论文,从中找出了7个技术性问题,最后修改整理成了一个关键质疑点。
这个质疑点指向的是论文前半部分……”
这句话还未说完,场上就有人惊讶出声。
“这论文的前半部分,不就是陈老整理的遗文吗,G组这是打算釜底抽薪啊?”
这个声音的主人立刻引起在场很多人怒目而视,立刻就有工作人员直接过去将这名不分场合不守规矩的人请出场馆。
这个小插曲并没有影响爱德华的节奏。
他继续缓缓说道。
“在论文的2.8部分中,所进行的证明是基于特定的数学定义、公理以及一系列严谨的推导过程,其证明范围是在一个明确界定的数学空间S内展开的,比如可能是在某个特定的函数域F或者特定的代数结构(A,+,\\tis)中进行论证,限定了相关变量x\\ S的取值范围和运算规则。
然而,当我们G组成员审视论文的2.9部分时,却发现其中所涉及的概念、运算或者推理过程与2.8部分出现了不等差异。
这种差异具体表现为,在2.9部分中引入了新的数学元素或者条件,这些新元素与2.8部分所定义的范围无法完全兼容。
例如,在2.8部分中所讨论的定义域满足某种特定的连续性条件\\li_{x\\to a}f(x)=f(a),\\forall a\\ d(d为定义域)。
而在2.9部分中,在没有充分说明的情况下,函数的定义域变为d',且d'\eq d,同时新定义域d'下的连续性情况未得到恰当处理,即\\li_{x\\to a, x\\ d'}f(x)与f(a)的关系未明确。
从数学逻辑封闭性的专业角度而言,一个具有良好逻辑封闭性的论证体系,要求在整个论证过程中,所有的推理和结论都应该在预先设定的逻辑框架内自洽。
而此处2.8部分与2.9部分的不等差异,使得整个论证过程无法满足这一要求,破坏了逻辑的封闭性,进而影响了论文整体论证的严谨性和可靠性。
这就是我们G组提出的七号质疑点,请秦衡先生进行论证!”