吴文俊简介MicrosoftWord文档

《吴文俊简介MicrosoftWord文档》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、吴文俊百科名片  吴文俊吴文俊（1919-）是中国著名的数学家，在几何定理机械化证明等研究领域中做出了重要贡献。中文名：吴文俊外文名：WentsunWu国籍：中国民族：汉出生地：上海出生日期：1919.5.12职业：数学家毕业院校：交通大学信仰：科学主要成就：几何机械化证明代表作品：《几何定理的机械化证明》目录简介对数学发展的预言简历工作经历社会活动1.社会兼职2.重大项目兼职奖励情况对数学的贡献示性类研究示嵌类研究主要论著关于吴文俊的小故事简介对数学发展的预言简历工作经历社会活动1.社会兼职2.重大项目兼职奖励

2、情况对数学的贡献示性类研究·示嵌类研究·主要论著·关于吴文俊的小故事展开　　  数学家吴文俊院士编辑本段简介　　吴文俊(WentsunWU)，男，1919年5月12日生于上海，1940年毕业于交通大学（上海交通大学），1949年获法国国家博士学位。世界著名数学家，中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长（1985-1987），中国科学院数

3、理学部主任（1992-1994），全国政协委员、常委（1979-1998）。　　他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。　　曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(199

4、0)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科学技术奖(2000)、第三届邵逸夫数学奖(2006)。　　2010年5月4日，国际小行星中心先后发布公报通知国际社会，将国际永久编号第7683号小行星永久命名为“吴文俊星”。编辑本段对数学发展的预言　　数学家　　    吴文俊院士对数学发展的预言：　　将来的数学，应该是走中国古代数学道路，而不是国际道路，这是一条总的趋势。编辑本段简历　　1936年8月—1940年7月，

5、在第一交通大学(现西安交通大学和上海交通大学的前身)数学系学习并毕业．　　1940年9月—1941年12月上海育英中学任教员．　　1942年9月—1945年12月上海培真中学任教员．　　1946年1月—1946年7月上海临时大学任助教．　　1946年8月—1947年6月上海中央研究院数学研究所实习研究员．　　1947年11月—1951年7月法国留学，获法国国家博士学位．　　1951年9月—1952年9月北京大学数学系教授．　　1952年10月—1979年9月中国科学院数学研究所研究员．　　1956年因示性类及示嵌

6、类的工作荣获国家第一届自然科学奖最高奖一等奖（其他两位一等奖获得者为华罗庚和钱学森）　　1957年1月被选为中国科学院学部委员(后称院士)。　　1958年邀请在1958年国际数学家大会（爱丁堡）做分组报告（未能成行）　　1958年--1970年担任中国科技大学数学系副主任。　　1978年全国科学大会得科学大会奖　　1979年10月—1998年中国科学院系统科学研究所研究员．　　1984年当先选中国数学会理事长。　　1988年7月巴黎国际数学和计算机模拟大会，被邀请为专家小组的召集人,(未成行)。　　  江泽民为吴

7、文俊颁发国家最高科学技术奖励1991年当选为第三世界科学院院士。　　1992年获得第三世界科学院数学奖　　1993年度陈嘉庚数理科学奖　　1994年荣获香港求是基金会“杰出科学家奖”　　1997年获自动推理的最高奖Herbrand奖　　1998年12月——中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。　　2000年获首届国家最高科学技术奖。　　2006年邵逸夫数学奖编辑本段工作经历　　1940-1945年先后在育英中学，培真中学，南洋模范女中，之江大学教书；期间曾失业半年　　

8、1946年年初到上海临时大学任郑太朴教授的助手，8月陈省身吸收吴文俊到数学所任助理研究员　　1947-1949年攻读法国国家博士学位　　1947年完成一项重要拓扑学研究，证明Whitney乘积公式和对偶定理，1948年在AnnalsofMath上发表　　1948年1947年11月赴法留学在Strassbourg大学跟随C.Ehresmann学习　　1948年开始参加CNR