“机器证明”第一人——吴文俊  

作　　者：徐永忠 

机构地区：[1]江苏南京六合高级中学

出　　处：《数学大世界（教学导向）》2003年第1期3-3,共1页Mathematic World

摘　　要：吴文俊1919年生于上海,1940年毕业于上海交通大学数学系,1946年留学法国,并获得博士学位。1957年当选为中科院学部委员(即现在的院士),2000年获得我国首次颁布的国家最高科学技术奖。吴文俊博士为人谦和,性格豁达,半个世纪以来成就显著,是我国最具国际影响的数学家之一。五、六十年代,在吴文俊与其他几位数学家的共同努力下,使拓扑学这门新型学科蓬勃发展,并成为数学研究的主流学科。因在拓扑学研究方面的突出贡献,他在1956年与华罗庚、钱学森一起获得我国当时科技最高奖——首届国家自然科学一等奖。

关 键 词：吴文俊 创新思想 中国传统数学 机械化证明 初等几何定理 

分 类 号：O1－09[理学—数学]