程诺朗声开口,“所谓的极小模型纲领第二问题,便是问fli操作是否在有限次后终止。既然我们前面已经证明了fli操作的存在性,那这个问题便有了讨论的必要!”
“经过我的推导,得出的答案是,fli操作具有终止性,也就是说,这个操作会在有限次后停止!”
“下面,我就来讲一下具体的推导过程。我们先假设这个操作不会在有限次后终止,那么……”
二十分钟后。
“……公式十一同公式八的推导思路,代入三维代数簇中的单元环,三步推导后,发现得出的结果和前面的条件三矛盾。”
“因此,fli操作在有限次后终止。至于这个终止时的次数,我也算出来了,是第8741780462次。”
为了在有限的时间内尽量用数学语言讲述清楚自己的解决思路,程诺不得不刻意加快的一些语速。
程诺拧开摆在演讲桌上的一瓶矿泉水,咕咚咕咚喝下去。
一边喝,他的眼睛一直注意这下面的听众。
菲涅尔教授悄悄竖起大拇指。
另一位菲奖大佬浑浊的眸子满是好奇的打量着程诺。
其余大部分数学家在皱眉沉思。
程诺抛出来的信息量太大,即便他们个个都是才思敏捷之辈,也难以跟得上程诺的思路。
程诺笑了笑,“各位不用担心,我已经将极小模型纲领两大问题的推导过程整理成两篇论文,将预印本上传到arxiv上,诸位可以随时下载验证。”
程诺抬起手腕看了一下时间。
五十分钟的报告时间结束。