第一一二章 钱太多,数不完(4/5)
阿贝尔簇是什么玩意儿,曲军最近才刚刚搞明白。
简单来说,阿贝尔簇属于高维代数簇的概念,证明费马大定理过程中用到的椭圆曲线,又属于阿贝尔簇的一个特例。
如果用一句小学生也能看懂的话来解释莫德尔猜想,就是在某种条件下,某个算式的解,必定是有限的。
数学家把莫德尔猜想和费马大定理联系起来,推导得出结论,只要证明了莫德尔猜想,就能证明费马大定理的解也是有限的。
剩下的工作就简单了,既然是有限的解,把它们一个一个算出来,就可以搞定费马大定理。
前辈的数学家,其实早就在做这项工作。
十八世纪的瑞士数学家欧拉,证明n3和n4的情况下,费马大定理成立。
十九世纪的高斯,绊倒在n7。
……
超大数字的计算,用人力无法完成,但是现代的计算机可以代劳,在二十世纪七十年代,计算机已经证明,n小于100000的情况下,费马大定理都是成立的。
如果证明了莫德尔猜想,费马大定理的n就是有限的,数学家乐观的认为,性能不断提高的计算机会把剩下的n全部算出来。
本章未完,下一页继续