鸿尘逍遥提示您:看后求收藏(第三百三十五章 遇到麻烦,万能数据,鸿尘逍遥,废文网),接着再看更方便。
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
…………
地点:数学院方教授办公室。
时间:2021年11月27号晚10点。
人物:方若愚,程诺。
办公桌上,摆着整整三大摞的草纸。这些,便是两人这段时间关于BSD猜想的全部心血。
明亮的灯光下,面色有些憔悴的程诺开口,“教授,你说到底是哪个步骤我们出现了问题?”
方教授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难知道,到底是前面哪个环节出现问题,导致造成如今这个局面。”
“因此,想要让证明工作继续进行下去的话,我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦,但对现在的情况最为有效的解决方案。
程诺苦笑着点点头,表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况,但当事实真的发生在你面前时,还是有些难以接受。
其实,乐观上讲,他们能够及时的发现证明中存在的错误,总归是一件好事。
总比那些一错到底,把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗,那就乐观面对。
不就是爆肝嘛……他程诺不怕!
拿起第一摞的几张草稿,程诺低头便认真看起来。
设L(E,s)是椭圆曲线E对应的Hasse-WeilL-fun。事实上BSDure包含下面两条函数L(E,s)在处Taylor展开的阶等于椭圆曲线的Mordell-Weilrank……那么就有L(E,1)=0,~L'(E,1)\nhtarrowr(E)≥1】
无误!
下一部分证明过程。
那么就有L(E,1)=0,~L'(E,1)\not=0≥r(E)=1由Kolyvag定理,得……】
无误!
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式,字符,在大脑内结合,运算,并产生逻辑结果。
仿佛不知疲倦般,程诺从尾到头的逐页翻看。
…………
时间,已经来到凌晨三点。
程诺放下手中的一页草稿纸,扭了扭脖子,一抬头,发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方教授盖上,然后,便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间,一分一秒的流逝。
程诺目光一行行扫视。
突然,他的目光紧锁在一行算式上。
……在p≥11的条件下,设椭圆曲线是sei-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
这里,这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对,不应该是这样!
GL2公式的求解完全没必要,如果想要从逻辑上得到Kolyvagure的话,应该用……
一瞬间,程诺灵光迸裂!
………………
………………
PS:一个字:热!!!
本章未完,点击下一页继续阅读。