书海居 m.shuhaiju.net

    671章 全球各单位各部门的数学家忙碌了起来(第 1/4 页)

    经编委会同意，《数学学报》以迅雷不及掩耳之势发行了中英文专刊《强bsd猜想证明》。

    世界范围内，不少数学团队承担起了《强bsd猜想证明》的解释工作。

    解释和验证，有一点点的区别。

    解释团队，他们首先假设《强bsd猜想证明》成立，基于这个学术动机，他们采用各种数学手段以及计算机方法，去证明《强bsd猜想证明》成立，并给出合理的解释。他们给出的解释报告极其详细，甚至可以形成一篇新的论文。

    验证团队，他们主要给出结论，成立或不成立。

    成立或不成立的依据是什么，验证团队的做法类似于论文审稿人，他们只会给出一两页甚至几句话的决裁依据。

    验证团队中的成立派，其学术动机和解释团队类似，首先承认《强bsd猜想证明》成立，然后去验证它成立。不同的是，他们最终会给出“验证结论”，而解释团队给出的是“解释报告”。结论是简洁的，而报告通常是详实的。

    验证团队中的推翻派则反着来，他们首先假设《强bsd猜想证明》不成立，然后尝试去推翻它。

    解释团队也好，验证团队也罢，他们做解释、验证工作，几乎都是义务劳动，拿不到报酬。

    报酬什么的都是小事情啦，证明《强bsd猜想证明》成立，或者把它推翻，是解释团队、验证团队最感兴趣的。

    英国，牛津大学。

    阿达马博士和他的学术伙伴约翰-格林，正在研究英文版的《数学学报》。

    这期《数学学报》上只有一篇文章《强bsd猜想证明》，作者是ou ye、zhao tian、yun yimiao、zeng han。

    除了第一作者欧叶，其他三个作者都是名不见经传的小角色。

    而这篇论文末尾的感谢词中，全是大人物。

    别人看一篇论文，通常从摘要和关键词看起。

    阿达马博士看欧叶的这篇论文，最先看的是参考文献。

    欧叶列出的参考文献是：

    【1】约翰?卡尔?弗里德里希?高斯，《高斯笔记vol.15》（译者菲利普斯?克莱因）……

    【2】gross b.，zagier d，《gross- zagier方程》……

    【3】rubin k.，《kolyvagin的欧拉系统的补充证明》……

    -->>(第 1/4 页)（本章未完，请点击下一页继续阅读）