第214章 新的推演方式（3 / 5）
“我今天也是听到新鲜事了，咱们从来不服输的威腾，竟然也有说嫉妒別人的一天。”
“你是物理学家，你可以用你的长出去和別人的短处比，怎么样？”
听到德利涅如此说，威腾的神情却更加灰败。
“唉，得了吧，我就不信你看不出来，这傢伙在物理上的天赋也十分惊人，还是不说了。”
在他们侧后方，坐著一位来自水木大学的代数几何学家和他的博士后。
博士后脸上已满是迷茫，小声问：“老师，这个模型论的部分我完全没接触过，这是不是意味著我们很难完全验证这个证明？作者长翅膀的甜甜圈携《重生08：科研从学霸开始》在可乐小说等你。”
老教授摇了摇头，声音平和。
“不完全是这样，他使用了模型论的特定结论作为黑箱工具，关键在於他清晰地指明了这个黑箱的输入和输出。”
“只要我们认可他所引用的模型论结果，並且验证他描述的性质確实是我们证明所需要的，那么这一步在逻辑上就是成立的。具体的模型构造细节，並非我们必须检查的。”
他顿了顿，看著台上继续论证的沈牧，感慨道：“能將这样的工具如此自然地编织进一个深刻的几何论证里，本身就是大师手笔。”
“而我们今天来这里，未必能完全懂得每一处细节，但能亲眼见证一个新的、可能解决標准猜想的理论框架被如此清晰地阐述，已是莫大的荣幸。有些会议，你来是为了学习技术，而这场会议，我们来，是为了见证歷史。”
他的声音虽轻，却道出了后排许多听眾的心声。
许多来自其他数学分支、或水平尚未达到顶尖的学者和学生，此刻虽然被密集的技术细节所淹没，但心里的震撼却是可以清晰地记住很久。
是的，他们只是这场盛会的见证者，这就够了！
台上，讲完第二部分的沈牧並没有进行停顿，他认为刚才自己讲的已经足够细致，能懂的自然都懂了。
况且所有讲完，才是大家向他提问题的时间。
“基於上述构建的理论框架和关键引理，我们现在进入证明的最后阶段。”
他的声音依然平稳，带著一种篤定的穿透力，“我將首先推演標准猜想d，然后是標准猜想c。”
然而看著台下观眾，沈牧忽然俏皮一笑，像是忽然改了主意。
“或者，我们可以將两个证明的推演同时进行。”
沈牧的话音落下，台下的观眾唏嘘一阵，而后或是面中带笑，或是更加疑惑。
威腾看向德利涅，眉毛一挑，“要么说这小傢伙思维跳脱的厉害呢，刚才还要一个个论证，现在改成一起推演。”
德利涅点了点头，眼中含著隱晦的笑意。
“理论上来说是可以，但是如果思路不足够清晰，很可能把两个过程拧成一股乱麻，我倒是很期待沈牧能一起来讲，听起来也许会很有意思。”
威腾道：“那倒是，我也想听听，这个点子很新鲜，亏得他能想得出来。”
“不过如你所说，这可是个不小的挑战，让我看看他是把两个证明串在一起的？”
坐在他们侧后方的格里菲思，眉头重新锁紧，但这次锁紧的眉头下，目光却锐利如鹰，紧紧盯著沈牧。
刚才沈牧的论述明明逻辑十分严谨，就算是他这种研究了几十年代数几何的业界资深学者也无法不信服。
可现在他突然提出要两种標准猜想一起推演证明？在这种场合，这明明是给自己增加挑战。
而且这个挑战的难度还不小。 ↑返回顶部↑
“你是物理学家，你可以用你的长出去和別人的短处比，怎么样？”
听到德利涅如此说，威腾的神情却更加灰败。
“唉，得了吧，我就不信你看不出来，这傢伙在物理上的天赋也十分惊人，还是不说了。”
在他们侧后方，坐著一位来自水木大学的代数几何学家和他的博士后。
博士后脸上已满是迷茫，小声问：“老师，这个模型论的部分我完全没接触过，这是不是意味著我们很难完全验证这个证明？作者长翅膀的甜甜圈携《重生08：科研从学霸开始》在可乐小说等你。”
老教授摇了摇头，声音平和。
“不完全是这样，他使用了模型论的特定结论作为黑箱工具，关键在於他清晰地指明了这个黑箱的输入和输出。”
“只要我们认可他所引用的模型论结果，並且验证他描述的性质確实是我们证明所需要的，那么这一步在逻辑上就是成立的。具体的模型构造细节，並非我们必须检查的。”
他顿了顿，看著台上继续论证的沈牧，感慨道：“能將这样的工具如此自然地编织进一个深刻的几何论证里，本身就是大师手笔。”
“而我们今天来这里，未必能完全懂得每一处细节，但能亲眼见证一个新的、可能解决標准猜想的理论框架被如此清晰地阐述，已是莫大的荣幸。有些会议，你来是为了学习技术，而这场会议，我们来，是为了见证歷史。”
他的声音虽轻，却道出了后排许多听眾的心声。
许多来自其他数学分支、或水平尚未达到顶尖的学者和学生，此刻虽然被密集的技术细节所淹没，但心里的震撼却是可以清晰地记住很久。
是的，他们只是这场盛会的见证者，这就够了！
台上，讲完第二部分的沈牧並没有进行停顿，他认为刚才自己讲的已经足够细致，能懂的自然都懂了。
况且所有讲完，才是大家向他提问题的时间。
“基於上述构建的理论框架和关键引理，我们现在进入证明的最后阶段。”
他的声音依然平稳，带著一种篤定的穿透力，“我將首先推演標准猜想d，然后是標准猜想c。”
然而看著台下观眾，沈牧忽然俏皮一笑，像是忽然改了主意。
“或者，我们可以將两个证明的推演同时进行。”
沈牧的话音落下，台下的观眾唏嘘一阵，而后或是面中带笑，或是更加疑惑。
威腾看向德利涅，眉毛一挑，“要么说这小傢伙思维跳脱的厉害呢，刚才还要一个个论证，现在改成一起推演。”
德利涅点了点头，眼中含著隱晦的笑意。
“理论上来说是可以，但是如果思路不足够清晰，很可能把两个过程拧成一股乱麻，我倒是很期待沈牧能一起来讲，听起来也许会很有意思。”
威腾道：“那倒是，我也想听听，这个点子很新鲜，亏得他能想得出来。”
“不过如你所说，这可是个不小的挑战，让我看看他是把两个证明串在一起的？”
坐在他们侧后方的格里菲思，眉头重新锁紧，但这次锁紧的眉头下，目光却锐利如鹰，紧紧盯著沈牧。
刚才沈牧的论述明明逻辑十分严谨，就算是他这种研究了几十年代数几何的业界资深学者也无法不信服。
可现在他突然提出要两种標准猜想一起推演证明？在这种场合，这明明是给自己增加挑战。
而且这个挑战的难度还不小。 ↑返回顶部↑