实验数学及其哲学研究

被引:2
作者
郝宁湘
机构
关键词
实验数学; 数学界; 数学分支; 奎因; 计算机辅助证明; 数学定理; 数学家; 四色定理;
D O I
10.19484/j.cnki.1000-8934.1999.11.003
中图分类号
O1-1 [];
学科分类号
0701 ; 070101 ;
摘要
本文介绍了本世纪80 年代前后兴起的实验数学,以及国际数学界对它的反应。同时对实验数学所引发的一些哲学问题,文中给出了一些探讨。
引用
收藏
页码:9 / 13+46 +46
页数:6
相关论文
共 1 条
[1]   构造性数学及其哲学意义 [J].
郝宁湘 .
自然辩证法通讯, 1997, (03) :22-28+21