中文名:吴文俊
外文名:Wu Wen-tsün
国籍:中国
民族:汉族
出生地:上海
出生日期:1919年(己未年)5月12日
逝世日期:2017年5月7日
职业:数学家
毕业院校:交通大学、斯特拉斯堡大学
主要成就:国家最高科学技术奖(2000年) Herbrand自动推理杰出成就奖(1997年) 求是杰出科学家奖(1994年) 第三世界科学院数学奖(1992年) 国家自然科学奖一等奖(1956年)
代表作品:《几何定理的机械化证明》《数学机械化》
2010年5月4日,国际小行星中心先后发布公报通知国际社会,将国际永久编号第7683号小行星永久命名为“吴文俊星”。
2011年,中国科学技术大学以中国科学技术大学数学所为基础组建了中国科学院吴文俊数学重点实验室。
长期以来,吴老站在数学科学的前沿,潜心研究,勇于探索,取得了一系列原创性成就,特别是在拓扑学、数学机械化领域作出了杰出贡献,为国家、为民族争了光。(原中共中央总书记、国家主席胡锦涛评)
辛勤的努力和杰出的贡献,获得了国际学术界的广泛认可,为我国科技界争得了荣誉,也为青年学者树立了榜样。(中国科学院原院长路甬祥评)
天资聪慧,有数学天赋。是一位杰出的数学家,他的工作表现出丰富的想象力及独创性。他从事数学教研工作,数十年如一日,贡献卓著……(数学家、中国科学院外籍院士陈省身评)
1932年(中华民国二十一年),上海“一·二八”事变爆发后,吴文俊被送回浙江嘉兴老家,躲避战乱。半年之后,他返回上海继续读书。
1933年(中华民国二十二年)秋,吴文俊就读于正始中学,这才是他正规读书生涯的开始。吴文俊高中毕业时,其实兴趣在物理而不在数学。一次物理考试题很难,他却成绩出色。毕业时校方讨论保送,物理老师却以他独特的目光推荐他学数学。他认定自己物理考得好的原因在于数学,而攻读数学才能使他的才能得到更好更多的发挥。
1936年(中华民国二十五年),吴文俊被保送至交通大学数学系。大三学实变函数论,他以自学为主,读经典著作。有了实变函数论的基础,很快进入康托尔集合论,钻研点集拓扑。
1940-1945年,先后在育英中学、培真中学、南洋模范女中、之江大学教书;期间曾失业半年。
1946年(中华民国三十五年)年初,到上海临时大学任郑太朴教授的助手;同年8月,陈省身吸收吴文俊到数学所任助理研究员。
1979年10月-1984年2月,中国科学院系统所副所长
1984年2月起,中国科学院系统所名誉所长
1984年-1987年,中国数学会理事长
1990年8月-1999年5月,中国科学院系统所数学机械化研究中心主任
1992年4月-1996年4月,中国科学院数理学部主任
1996年,任天元基金领导小组组长(接替原组长程民德教授)
1978年12月-1983年2月,第五届全国政治协商会议常委
1983年3月-1988年2月,第六届全国政治协商会议常委
1988年3月-1993年2月,第七届全国政治协商会议常委
1993年3月-1998年2月,第八届全国政治协商会议常委
2019年5月12日,中国人工智能学会举办纪念中国人工智能研究领域的开拓先驱吴文俊诞辰100周年研讨会,并打算举办100场交流活动推动人工智能创新发展。
Copyright © 2016-2024 淘名字 版权所有 粤ICP备14002368号