由传统数学到数学机械化的哲学思考

摘要

简要介绍了中国古代传统数学的特点 ,结合数学机械化的基本原理 ,论述了数学机械化正是对中国古代数学的继承和发展 ,它有着广泛的重要的应用价值 ,表明了中国古代数学算法化思想、模型化思想作为建构科学理论的方法对于未来科学的重要意义 ,它的创造是对“公理法”思想的挑战 。