| 由传统数学到数学机械化的哲学思考 |
| |
| 引用本文： | 王汝发.由传统数学到数学机械化的哲学思考[J].西安电子科技大学学报(社会科学版),2002,12(1):4-7. |
| |
| 作者姓名： | 王汝发 |
| |
| 作者单位： | 甘肃政法学院,计算机学院,甘肃,兰州,730070 |
| |
| 摘 要： | 简要介绍了中国古代传统数学的特点 ,结合数学机械化的基本原理 ,论述了数学机械化正是对中国古代数学的继承和发展 ,它有着广泛的重要的应用价值 ,表明了中国古代数学算法化思想、模型化思想作为建构科学理论的方法对于未来科学的重要意义 ,它的创造是对“公理法”思想的挑战 ,给我们以许多启发
|
| 关 键 词： | 数学机械化 中国传统数学 算法化 模型化 |
| 文章编号： | 1008-472X(2002)01-0004-04 |
| 修稿时间： | 2001年5月17日 |
A Philosophical Approach to Traditional Mathematics and Its Mechanization |
| |
| WANG Ru-fa.A Philosophical Approach to Traditional Mathematics and Its Mechanization[J].Journal of Xidian University (Social Sciences Edition),2002,12(1):4-7. |
| |
| Authors: | WANG Ru-fa |
| |
| Abstract: | In this paper, the author, with a brief introduction to characteristics of mathematics in ancient China and basic principles of mechanization of mathematics, provides the idea that mechanization of mathematics, with a wide range of its application, embodies and develops mathematics in ancient China, and demonstrates to science in future the importance, in mathematics in ancient China as a way of building scientific theories, of the algorithm and its models of which the creation is a challenge to axioms as well as an inspiration for people of today. |
| |
| Keywords: | mechanization of mathematics traditional mathematics in China algorithm models inspiration axiom |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
