第103章 证明Duffin-Schaeffer猜想 (3/5)

sp; 写着写着，李广直又看到许青山打开了自己的电脑，开始快速地敲起了代码，这就是李广直看得目瞪口呆的地方了。

    像李广植这种偏向于传统型的数学研究者，他其实并不太擅长于用计算机代码来辅助自己的数学计算。

    这倒不是说他不会。

    在很多的论文证明中，数学研究其实也脱离不了计算机的帮助，但是他偏向于传统保守型的研究风格，偏理论探讨，让他的很多推导部分并不需要用到高端的计算机计算方法。

    所以当他看到许青山双指纷飞的在计算机上快速的打出了一长串的代码，尝试用它寻找不等式的有理数p\/q来逼近一个给定的无理数。

    他突然明白了许青山这个实验室的组成意义。

    为什么在数学研究室的旁边就是信科实验室。

    虽然计算机的发展已经很快了，超级计算机在科学方面所带来的影响力在全球都迅速地膨胀。

    许青山的工作节奏非常的快，而且他的正名之中也使用上了比较详尽的前人结果。

    像是Pollington和Vaughan在1990年尝试使用简单的筛法给出了测度中一个更加精细的估计，并且用它证明了Duffin-Schaeffer猜想在高维的自然推广。

    这种简单筛法的应用让后人对于Duffin-Schaeffer猜想的研究获得了重大的突破方向。

    许青山现在就正在用计算机通过他们的这一筛法对该测度做出更精细的平均估计在更强的发展条件下得到新的结果。

    而在他之前所遇到的分析独立性的障碍，作为最后解决问题的关键。

    当许青山尝试地拿出了图论作为解决工具，他就成功的突破了这一点。

    “嚯，还真能行！”

    许先生停下了手，看着电脑里的结果，还有自己在手稿上得出的估算答案，虽然现在并没有完整的论文可以证明全过程。

    但在许青山这里，他的思路通了，就代表了这个猜想，被他完全证明了。

    一旁的李广直看的有些目瞪口呆，他还没反应过来许青山到底是行了什么，但看着许青山那桌上几页满满的手稿，还有电脑上运行的程序。

    他突然发现似乎现在走在时代最前沿的数学研究方法不再是传统的那一套了。

    “许导，这是”

    李广直有些想问，但是又不太好意思问，只能是下意识地伸手指着指桌上的那手稿，毕竟能够让老大突然开口让自己安静下来，然后进入一种专注研究状态所做的课题一定不会简单。

    “这个啊？丢番图逼近和Duffin-Schaeffer猜想。说起来还多亏了你，你就想用图论的方法解决这个问题，就突然想到了我在这个点上也能用它来证明分析独立性的障碍。”

    许青山拿起自己的手稿看了看，递给了李广直。

    李广直接过了手稿，他就像是手捧圣物的虔诚朝拜者，用一种求知若渴的眼神看了起来。

    许青山并不担心李广直在得到了自己的第一手证明之后会有什么抄袭或者抢注的行为。

    且不说，李广直的研究领域并不在这里，就是目前在国内外的科研地

本章未完，请点击下一页继续阅读