1
从吴文俊和吴方法谈起
－数学机械化的观点
数学文化课程组 李军
2
吴文俊
中国科学院院士
第三世界科学院院士
首届国家最高科技奖
国家第一届自然科学奖 最高奖一等奖
自动推理的最高奖Herbrand奖
2006邵逸夫数学奖
3
最近，著名数学家吴文俊荣获邵逸夫数学科学奖。邵逸夫数学科学奖是一项国际性大奖，它的评委是来自国际数学界的知名权威。吴文俊说：这次邵逸夫奖的评委都是国际上有影响的大家，他们宣布我获得邵逸夫奖，是因为我的数学机械化问题的研究，这实际上是国际数学界对数学机械化研究的承认与肯定，它比奖金重要得多。
数学机械化得到国际数学界承认