| 实验数学对传统演绎数学的挑战与影响 |
| |
| 引用本文： | 王海明. 实验数学对传统演绎数学的挑战与影响[J]. 青海师范大学学报(自然科学版), 2004, 0(2): 19-23 |
| |
| 作者姓名： | 王海明 |
| |
| 作者单位： | 青海师范大学,学报编辑部,青海,西宁,810008 |
| |
| 摘 要： | 20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生,在数学界、哲学界引起了极大的振动.尤其是实验数学的产生,数学的基本范式-欧几里德范式受到了空前的挑战,整个数学世界开始分裂,传统的数学信念发生了变革,计算机实验作为一种全新的研究手段或方式逐渐渗透到数学研究的各个分支,过分强调严格性有阻于数学的创新;在半严格数学时期,各种定理将被附上价格标签,概率开始赋予数学真理.
|
| 关 键 词： | 实验数学 现代数学 计算机推测 计算机证明 数学真理观 挑战 |
| 文章编号： | 1001-7542(2004)02-0019-05 |
| 修稿时间： | 2004-03-16 |
The influence and challenge of experiment mathematics on the traditional deduction mathematics |
| |
| WANG Hai-ming. The influence and challenge of experiment mathematics on the traditional deduction mathematics[J]. Journal of Qinghai Normal University(Natural Science Edition), 2004, 0(2): 19-23 |
| |
| Authors: | WANG Hai-ming |
| |
| Abstract: | 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. |
| |
| Keywords: | experiment mathematics modem mathematics computer conjecture computer proof mathematics truth challenge |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
