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