第211章 简化推算过程 咸鱼2号机
一样,建立一个框架,数学家们根据这个框架不断改进他的办法,成功把7000万缩小到246。
安德鲁·怀尔斯对费马大定理的证明虽然被誉为数学史上的杰作,但他在原始证明过程复杂且冗长,涉及了深邃的数学理论,如椭圆曲线、模形式和伽罗瓦表示理论等等。
在后续,数学家们减去冗杂,重新排列证明中的引理和定理,使用更高维的代数簇或更复杂的椭圆曲线族来替代原有的椭圆曲线。
除了这些,那些在数学界比较经典的理论同样也在被改进,比如原始的黎曼函数r(x)是定义在区间[0,1]上的一个特殊函数。
有人证明了黎曼函数在(0,1)内的所有无理数点处连续,在所有有理数点处间断,但每一点处都存在极限且极限为0。
还有微积分,漫长的时间中,数学家们引入了极限理论来严格定义微分和积分,解决了微积分学在诞生初期存在的逻辑不严密问题。
(本章完)
jdagly();