实验数学对传统演绎数学的挑战与影响

• 作者: 王海明
• 来源期刊: 青海师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 实验数学 现代数学 计算机推测 计算机证明 数学真理观 挑战
• 年，卷（期）: 2004,（2）
• 页码范围: 19-23
• 页数: 5页
• 分类号: O1-0
• 字数: 6207字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7542.2004.02.006

摘要

20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生,在数学界、哲学界引起了极大的振动.尤其是实验数学的产生,数学的基本范式-欧几里德范式受到了空前的挑战,整个数学世界开始分裂,传统的数学信念发生了变革,计算机实验作为一种全新的研究手段或方式逐渐渗透到数学研究的各个分支,过分强调严格性有阻于数学的创新;在半严格数学时期,各种定理将被附上价格标签,概率开始赋予数学真理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海明	青海师范大学学报编辑部	9	22	3.0	4.0