分段阅读_第 1043 章
一些说不清道不明的紧张感。
周雨安苦笑摇摇头:“好嘛,欧叶这个无党派人士,带着三个无党派学生,在不经过党和国家批准的情况下,私自进行重大数学问题的研究,要不得,要不得……我强烈建议,你们的这个强bsd猜想课题,必须马上立项,去申请科研经费。哪怕是申请燕大内部的基础理论研究资金,也是可以的,这个事情我会跟欧叶讲的。你们三个也别用这几台破电脑了,用这几台破电脑进行验证,要验证到猴年马月?从明天开始,你们仨来沈奇科研中心,我提供中心数学室最高xing能的计算机给你们使用。”
“那感情好,谢谢周老师!”学生们感受到了组织的温暖,周老师是个老党员,老党员的觉悟果然是高,老党员考虑问题深刻而细致。
于是在党的安排下,赵天、小云、曾寒来到沈奇科研中心大楼,他们利用中心的高xing能先进计算机,对欧叶设定的椭圆曲线进行验证。
bsd猜想与计算机有不解之缘。
20世纪60年代初期,计算机处于早期发展阶段,世界上只有很少几台,主要放在几个重要的大学内。
英国数学家伯奇、斯温纳顿-戴尔是剑桥大学的教授,他俩利用当时世界上最强大的计算机之一“cambridge edsac”,来计算和推演多项式方程可能存在的解。
两位数学家遨游在数据的海洋中,他俩从海量的计算机数据里敏锐的识别出一个新模式,从而提出了数学史上的千禧难题之一,bsd猜想。
在几千年的数学史上,大多数提出猜想的人,往往不是证明猜想的人。
当代很多职业数学家最推崇的古代数学家是欧几里得,欧几里得用五个常识xing的公理推导出了浩瀚而严谨的欧氏几何体系。
伯奇和斯温纳顿-戴尔在20世纪,利用计算机提出了bsd猜想。
他俩对这个猜想的证明,其实没有做出多少有效的贡献。
我猜你证,你证出来你牛批,你证出来我也牛批……大概就是这种套路。
当然了,这也有历史原因。
1995年之前,即安德鲁-怀尔斯证明费马大定理之前,国际数学界连bsd猜想是否有意义都没整明白。
关于bsd猜想证明的有效贡献,大多诞生于1995年之后。
当代国际数学界对bsd猜想的数学意义乃至哲学意义已认识的很深刻了,这个猜想肯定是有意义的,意义深远,星辰大海。
国际数学界十分期待能有一位或几位牛批的数学家,完成对bsd猜想的证明。
被国际数学界公认最有希望证明bsd猜想的数学家是沈奇,然而沈奇一直没有正式向bsd猜想发起冲击。
沈奇的老婆在这个猜想上倒是做出了实质xing的研究成绩。
与伯奇、斯温纳顿-戴尔最早提出bsd猜想那会儿类似,欧叶的三个学生采取上机cāo作的方法,首先通过暴力穷举法排除掉不具备kolyvagin定理、gross-zagier定理、shafarevich-tate群阶数特征的椭圆曲线。
这个cāo作并不难,就是挺耗时间的。
在加入哈塞-韦伊l函数特征条件后,赵天不禁身子一抖:“多加一个基础条件,运算量增加了10的12次方倍……好在周老师借给我们使用这组高xing能计算机啊,否则我博士毕业了,也不可能算完叶子姐的手稿……”
我只想当一个安静的学霸
我只想当一个安静的学霸
655章 安排
计算机处理器高速运转,l(e,s)在s=1处泰勒展开,其展开的阶等同于椭圆曲线e的哈塞-韦伊rank r(e)。
椭圆曲线上的有理点在计算机的指挥下跳起神秘舞蹈,看似杂乱无章,实则踏着节拍。
形如y^2=x^3+ax+b的简单椭圆曲线亦有无穷多个有理点,而这样的椭圆曲线无穷多。
模曲线的条件被赵天等三个学生限定死,因为在1999年,加藤和也证明了有理数域上所有的椭圆曲线都是模曲线。
这是一场数字与符号间的盛大舞会,素数p登场了,它们在数据海洋中旋转跳跃,对某些椭圆曲线上的有理点的个数进行计数,转化为对以素数p为模
周雨安苦笑摇摇头:“好嘛,欧叶这个无党派人士,带着三个无党派学生,在不经过党和国家批准的情况下,私自进行重大数学问题的研究,要不得,要不得……我强烈建议,你们的这个强bsd猜想课题,必须马上立项,去申请科研经费。哪怕是申请燕大内部的基础理论研究资金,也是可以的,这个事情我会跟欧叶讲的。你们三个也别用这几台破电脑了,用这几台破电脑进行验证,要验证到猴年马月?从明天开始,你们仨来沈奇科研中心,我提供中心数学室最高xing能的计算机给你们使用。”
“那感情好,谢谢周老师!”学生们感受到了组织的温暖,周老师是个老党员,老党员的觉悟果然是高,老党员考虑问题深刻而细致。
于是在党的安排下,赵天、小云、曾寒来到沈奇科研中心大楼,他们利用中心的高xing能先进计算机,对欧叶设定的椭圆曲线进行验证。
bsd猜想与计算机有不解之缘。
20世纪60年代初期,计算机处于早期发展阶段,世界上只有很少几台,主要放在几个重要的大学内。
英国数学家伯奇、斯温纳顿-戴尔是剑桥大学的教授,他俩利用当时世界上最强大的计算机之一“cambridge edsac”,来计算和推演多项式方程可能存在的解。
两位数学家遨游在数据的海洋中,他俩从海量的计算机数据里敏锐的识别出一个新模式,从而提出了数学史上的千禧难题之一,bsd猜想。
在几千年的数学史上,大多数提出猜想的人,往往不是证明猜想的人。
当代很多职业数学家最推崇的古代数学家是欧几里得,欧几里得用五个常识xing的公理推导出了浩瀚而严谨的欧氏几何体系。
伯奇和斯温纳顿-戴尔在20世纪,利用计算机提出了bsd猜想。
他俩对这个猜想的证明,其实没有做出多少有效的贡献。
我猜你证,你证出来你牛批,你证出来我也牛批……大概就是这种套路。
当然了,这也有历史原因。
1995年之前,即安德鲁-怀尔斯证明费马大定理之前,国际数学界连bsd猜想是否有意义都没整明白。
关于bsd猜想证明的有效贡献,大多诞生于1995年之后。
当代国际数学界对bsd猜想的数学意义乃至哲学意义已认识的很深刻了,这个猜想肯定是有意义的,意义深远,星辰大海。
国际数学界十分期待能有一位或几位牛批的数学家,完成对bsd猜想的证明。
被国际数学界公认最有希望证明bsd猜想的数学家是沈奇,然而沈奇一直没有正式向bsd猜想发起冲击。
沈奇的老婆在这个猜想上倒是做出了实质xing的研究成绩。
与伯奇、斯温纳顿-戴尔最早提出bsd猜想那会儿类似,欧叶的三个学生采取上机cāo作的方法,首先通过暴力穷举法排除掉不具备kolyvagin定理、gross-zagier定理、shafarevich-tate群阶数特征的椭圆曲线。
这个cāo作并不难,就是挺耗时间的。
在加入哈塞-韦伊l函数特征条件后,赵天不禁身子一抖:“多加一个基础条件,运算量增加了10的12次方倍……好在周老师借给我们使用这组高xing能计算机啊,否则我博士毕业了,也不可能算完叶子姐的手稿……”
我只想当一个安静的学霸
我只想当一个安静的学霸
655章 安排
计算机处理器高速运转,l(e,s)在s=1处泰勒展开,其展开的阶等同于椭圆曲线e的哈塞-韦伊rank r(e)。
椭圆曲线上的有理点在计算机的指挥下跳起神秘舞蹈,看似杂乱无章,实则踏着节拍。
形如y^2=x^3+ax+b的简单椭圆曲线亦有无穷多个有理点,而这样的椭圆曲线无穷多。
模曲线的条件被赵天等三个学生限定死,因为在1999年,加藤和也证明了有理数域上所有的椭圆曲线都是模曲线。
这是一场数字与符号间的盛大舞会,素数p登场了,它们在数据海洋中旋转跳跃,对某些椭圆曲线上的有理点的个数进行计数,转化为对以素数p为模