摘要
20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生,在数学界、哲学界引起了极大的振动。尤其是实验数学的产生,数学的基本范式-欧几里德范式受到了空前的挑战,整个数学世界开始分裂,传统的数学信念发生了变革,计算机实验作为一种全新的研究手段或方式逐渐渗透到数学研究的各个分支,过分强调严格性有阻于数学的创新;在半严格数学时期,各种定理将被附上价格标签,概率开始赋予数学真理。
Because of the proving of the Four Colours Theorem by computer is 1970's and the appearance of the experiment mathetics in the begining of 1990's.The mathematic circles and philosophic circles were greatly sholked. Especially with the existence of the experiment mathematics, the foundational pattern namly the Euclid pattern has faced a unprecdented challenge.The whole mathemathic had been reformed.The experiment made by computer has been reguarded as abrand new method and it has also been applied in all schools in mathematic reseach, Overempha-sizeing the rigor of mathelics would prevent the creation of mathematils. During the semi - rigorous period, made by price tags would be attached to all kinds of theorems,the probability would entrust the mathmatic truth.
出处
《青海师范大学学报（自然科学版）》
2004年第2期19-23,共5页
Journal of Qinghai Normal University(Natural Science Edition)
关键词
实验数学
现代数学
计算机推测
计算机证明
数学真理观
挑战
<Keyword>experiment mathematics
modem mathematics
computer conjecture
computer proof
mathematics truth
challenge
