在「确定论文第三部分中存在逻辑问题后,彼得-萨那克发起的临时小组已经解散。
彼得-萨那克认为,论文被证明错误,就没有再继续研究的意义了。
当然,有兴趣可以继续研究,但以数学小组的形式去对论文进行研究、审核就不必了。
彼得-萨那克、阿克沙伊-文卡特什,都没有再继续看论文,他们有自己的研究要做。
特雷弗-伍利正好相反,他还在继续看论文。
一方面是论文中采用的「素数对偶二次规约法很新颖。
第二就是,他一直觉得有问题的部分,逻辑理解上不是那么清晰。
小组讨论过程中,他们都感觉是理解了,但又好像差那么一些,主要是因为逻辑过程非常复杂,只能够一步步的去研究、论证。
「那个部分真的有问题吗?」特雷弗-伍利相信小组的判断结论,但心里觉得也不是百分百。他相信,小组里没有任何一个人能百分百确定那个部分有问题,判断有问题只是因为代入数值验证结果不同。
前后数值验证结果不同,自然能直接认定是错误的。
办公室里,特雷弗-伍利抓著头皮苦思冥想著,继续梳理被认定错误部分的逻辑关系。
埃隆-林登施特劳斯推门走了进来,他有一头棕色的长发,戴著个圆框眼镜,看起来还算年轻。实际上,林登施特劳斯已经年近六十,只是长相年轻而已,凭借解决算术情形的量子唯一遍历性问题,他获得了菲尔兹奖,也成为普林斯顿高等研究院遍历理论、数论应用等领域的权威专家。
「特雷弗,你还在研究那篇论文吗?不是已经认定是错的?」
林登施特劳斯进门直接开口,没等特雷弗-伍利回答就直接道,「我也看了论文,但只是前面的部分,素数对偶规范很有意思。」
「我有个新想法,利用素数对偶规范来分析算术遍历问题,怎么样?要不要加入我的研究组?」特雷弗-伍利揉了揉额头,「那先不急。埃隆,看看这个。」
他指著稿纸上的一个位置,「这一步,函数分析和整数集判定的关系,我发现我们的理解可能是有问题。」
「我们最初认为其与最终推导结果是完全包含的关系,但仔细分析之后,我发现不是这样的。」「这很可能是半包含的关系,要结合后面的部分,才能确定解集……」
特雷弗-伍利认真解释起来。
林登施特劳斯跟著看过去,他没有认真研究