The influence and challenge of experiment mathematics on the traditional deduction mathematics
Haiming Wang · Journal of Qinghai Normal University · 2004
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.