数学机械化与数学道理化  

Mathematics Mechanization and Tao of Mathematics

作　　者：张鸿庆[1] 梅建琴[1] 

机构地区：[1]大连理工大学数学科学学院,辽宁大连116024

出　　处：《应用数学和力学》2016年第7期665-677,共13页Applied Mathematics and Mechanics

基　　金：国家自然科学基金(11201048);中央高校基础研究基金(DUT16LK19)~~

摘　　要：以中国传统文化为底蕴、机械化和道理化为特色的中国传统数学,曾经取得光辉的成就.将这些思想用于计算机科学、孤子理论和量子场论,不仅可以系统地产生已有结果,还可以开辟新的研究方向,取得重大突破.The Chinese traditional mathematics,with the Chinese traditional culture as the background and characterized by mechanization and Tao（ principle and law） of mathematics,once made glorious achievements.These ideas,used in the fields such as the computer science,the soliton theory and the quantum field theory,can not only yield the existent results systematically,but also open up some new research areas and breed major breakthroughs.

关 键 词：数学机械化 数学道理化 计算机科学 孤子理论 量子场论 

分 类 号：O119[理学—数学]