吴文俊
网友科普
吴文俊（1919年5月12日—2017年5月7日），籍贯浙江嘉兴，生于上海，数学家，中国科学院院士。1940年毕业于交通大学数学系，1949年获法国斯特拉斯堡大学博士学位。曾任中国科学院系统科学研究所副所长，后任名誉所长，1991年当选第三世界科学院院士。吴文俊1947年赴法留学期间在拓扑学领域提出"吴示性类""吴公式"理论。1978年起开创数学机械化研究，提出几何定理机器证明的"吴方法"。其成果获1956年国家自然科学奖一等奖、2000年首届国家最高科学技术奖，并荣获陈嘉庚科学奖与邵逸夫数学奖。2018年4月被评为"逝世的十位国家脊梁"，2019年被追授"人民科学家"国家荣誉称号，同年入选"...
问AI百科
百科AI智能，探索更多与"吴文俊"相关的知识