从吴文俊和吴方法谈起课程.pptVIP

从吴文俊和吴方法谈起 －数学机械化的观点 数学文化课程组 李军  　 最近，著名数学家吴文俊荣获邵逸夫数学科学奖。邵逸夫数学科学奖是一项国际性大奖，它的评委是来自国际数学界的知名权威。吴文俊说：这次邵逸夫奖的评委都是国际上有影响的大家，他们宣布我获得邵逸夫奖，是因为我的数学机械化问题的研究，这实际上是国际数学界对数学机械化研究的承认与肯定，它比奖金重要得多。  中央电视台《大家》栏目：《吴文俊·我的不等式》片断 什么是数学机械化 所谓机械化，无非是刻板化和规格化。数学问题的机械化，就要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。 使用一种机械化方法证明一类定理，才真正体现了机械化定理证明。1977年，吴文俊给出了初等几何一类主要定理的机械化证明方法－“吴方法”。 数学机械化：从设想到实现 笛卡尔 莱布尼茨 希尔伯特