英国数学家伯奇、斯温纳顿-戴尔是剑桥大学的教授,他俩利用当时世界上最强大的计算机之一“”,来计算和推演多项式方程可能存在的解。
两位数学家遨游在数据的海洋中,他俩从海量的计算机数据里敏锐的识别出一个新模式,从而提出了数学史上的千禧难题之一,bsd猜想。
在几千年的数学史上,大多数提出猜想的人,往往不是证明猜想的人。
当代很多职业数学家最推崇的古代数学家是欧几里得,欧几里得用五个常识性的公理推导出了浩瀚而严谨的欧氏几何体系。
伯奇和斯温纳顿-戴尔在20世纪,利用计算机提出了bsd猜想。
他俩对这个猜想的证明,其实没有做出多少有效的贡献。
我猜你证,你证出来你牛批,你证出来我也牛批……大概就是这种套路。
当然了,这也有历史原因。
1995年之前,即安德鲁-怀尔斯证明费马大定理之前,国际数学界连bsd猜想是否有意义都没整明白。
关于bsd猜想证明的有效贡献,大多诞生于1995年之后。
内容未完,下一页继续阅读