数学机械化与数学道理化

摘要 以中国传统文化为底蕴、机械化和道理化为特色的中国传统数学，曾经取得光辉的成就.将这些思想用于计算机科学、孤子理论和量子场论，不仅可以系统地产生已有结果，还可以开辟新的研究方向，取得重大突破