第(2/3)页

    “希望我们这一次合作愉快。”

    唐纳森之前已经陆续发表了几篇论文，都是和代数几何相关的，俄罗斯的代数几何这几年发展迅速，和德国平起平坐，唐纳森能从那里脱颖而出，自然不必说，在互相介绍后，就拿出了自己准备好的材料。

    ——关于如何攻克ACC猜想的几个方案。

    唐纳森是89年的，比洛叶还要大四岁，可是论起来名气洛叶已经胜过他太多，两个人合作发表论文，如果不拿出真本事来，到时候论文上洛叶的名字肯定要在他之前的。

    所以他做的准备特别充分，证明自己有和洛叶合作的实力。

    ACC这样的猜想并不是一朝一夕可以完成的，洛叶也不可能一直待在斯坦福，他们只能在洛叶在这里的几天内，讨论出阶段性的成果。

    斯坦福大学的图书馆容量不比普林斯顿来的差，而且也有他们学校独有的孤本，除了和唐纳森讨论ACC猜想，洛叶就喜欢来他们图书馆借阅材料。

    “高斯的代数基本定理，斯图默根的个数问题，阿贝尔不可能性定理，卡斯迪朗问题，马尔法蒂问题……”

    洛叶饶有兴趣的看着书架上的书籍名字，怎么说呢，普林斯顿的人文学术气息特别浓厚，他们的图书馆收藏的书籍，期刊等也全都属于那种严肃类型的，而斯坦福大学的图书馆似乎要活泼一点，在数学区居然还有趣味数学这样的书收藏。

    现在她手边就有一本在《趣说费马大定理》。

    费马大定理是业余数学家之王皮埃尔?德?费马在三百多年写的一个著名数学猜想。

    费马本身是解析几何的发明者之一，概率论的主要创始人，在微积分上，他的贡献仅次于牛顿和莱布尼茨。

    这个猜想本身就是一个很有名的数学故事。

    在费马写下这个著名的猜想时，“一个立方数是不能够表示成两个立方数之和的，四次方也同理，将一个高于2次幂的数分解为两个同次幂的数之和都是不可能的。可写成当整数n>2时，关于x，y，z的方程x^n+y^n=z^n没有正整数解.。”

    写完这段话后，他的这张纸要用完了，就又写到，“我有一个对这个命题十分美妙的证明，这里空白太小，写不下。”

    他没能写下这个猜想的证明结果，后来欧拉在写给哥德巴赫的信中证明了N=3，后来热尔曼，狄利克雷，加布里尔在那个猜想写下后的两百年后证明了五次幂和七次幂。

    希尔伯特把费马大定理比喻为会下蛋的金母鸡。

    直到1954年，谷山-志村猜想建立了椭圆曲线和模形式之间的联系，这是费马大定理破解的重要一步，证明了这个猜想就可以证明费马大定理成立，可是最终费马大定理被彻底证明是在1995年，中间又经过了无数的无数的波折。

    看完这本书后大概就能认识到数学界大部分的名人，中间还有哥德尔，伽罗瓦，图灵等人当初试图证明这个定理的部分思路，洛叶看的津津有味，尤其是那些最终证明失败的思路，让洛叶觉得十分有借鉴意义。

    忽然有人轻声道，“你觉得费马当时是真的想到了证明方式了吗？”

    “还是真的是因为写不下而放弃了？”
    第(2/3)页