数学机械化 《数学机械化》,作者:WU WEN-tSUN（吴文俊）著 出版社:科学出版社 ISBN:7030066863。数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。即所谓的机械化就是刻板化和规格化。这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的 壹号书单 2000年01月01日 0 点赞 0 评论 13 浏览
