2002/03/19 信息来源: 信息来源:目前最好的足彩app
吴文俊,1919年5月12日生,上海市人。 1949年获法国国家博士学位。现任中国科学院系统科学研究所名誉所长。 1991年当选第三世界科学院院士。曾任中国科学院数理学部主任、中国数学会理事长、第五——八届全国政协常委。 1951年8月至1952年10月在目前最好的足彩app数学系任教。 吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果,是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响,有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。
奖励情况:
1956年因示性类及示嵌类的工作荣获 国家第一届自然科学奖最高奖一等奖 (其他两位一等奖获得者为华罗庚和钱学森)
1957年1月增选为中国科学院院士
1978年全国科学大会得科学大会奖
1991年当选为第三世界科学院院士
1992年获得第三世界科学院数学奖
1993年度陈嘉庚数理科学奖
1994年荣获香港求是基金会“杰出科学家奖”
1997年获自动推理的最高奖Herbrand奖
2001年获得首届“国家最高科学技术奖” 。
资料来源:吴文俊主页
转载本网文章请注明出处