而另一方面 ， 电子计算机正越来越多地介入到数学中的各个领域里来 。 特别是近年在数学中的某些领域 ， 有许多的问题如果不借助于大型的计算机 ， 常常是无法解决的 ， 如关于大数素性的检验、关于一个有限单群的构造性的证明等问题 。
【数学|什么是数学证明？四色猜想的证明为何震动了整个数学界？】总之 ， 围绕着四色猜想的计算机解决 ， 人们提出了许多重大的问题∶技术上的和哲学上的 。 四色猜想的计算机证明之意义 ， 决不仅仅在于一个历时多年的难题的解决 。 就从目前的趋势看 ， 它很可能将成为数学发展史上一系列新思想的引子 。 分形几何的创立就是一个说明 。
推荐阅读
- 招聘|学历重要还是能力重要？
- 数学|称平行线能相交的数学奇才，遭质疑郁郁而终，其理论12年后被证实
- 本科生|仅4.3％本科生毕业后月入过万：钱好挣，是年轻人最大的错觉
- 考试|“考第一请吃海底捞”，考试成绩出来后，老师感叹：是给自己挖坑
- 考研|95后家长有苦难言，毕业后不是考研就是考编，新型啃老悄然而至
- 备考|大学毕业是该直接去上班，还是安心备考公务员？
- 什么|广州入户心得：我不是学霸，只是听话照做了~
- 高学历|西安一研究生私自离校，跑路方式出乎意料，这就是高学历的素质？
- 事情|老外问“Are you there?”，真的不是问“你在那吗”， 而是问...
- 教师|又是美女，棠湖中学老师斩获全国赛课大奖，成功不易、历程艰辛