吴文俊
Wu Wenjun国家最高科学技术奖（2000，首届）中国科学院院士
国之脊梁吴文俊
生平概述
一生行迹 · 四次回望
早年岁月
1919 年生于上海。1940 年毕业于上海交通大学数学系。1947 年赴法国斯特拉斯堡大学攻读拓扑学，1949 年获博士学位，其“吴示性类”工作奠定其国际学术地位。
投身事业
1951 年回国任教北京大学，1952 年调入中国科学院数学研究所。1956 年与华罗庚、钱学森同获首届国家自然科学奖一等奖。此后将研究重心转向几何定理机器证明。
卓越贡献
20 世纪 70 年代开创“数学机械化”研究方向，创立“吴方法”，实现几何定理的机器证明，被国际学术界称为“吴方法”，在机器人学、计算机视觉等领域产生深远影响，被誉为中国数学走向世界的标志性成果。
晚年与传承
2000 年获首届国家最高科学技术奖，是获此殊荣的数学家。晚年仍活跃于数学机械化研究，推动中国数学研究走向国际前沿。2017 年逝世于北京。
主要成就
青史所铭 · 功业所系
- 创立拓扑学“吴示性类”，解决惠特尼乘积公式问题
- 创立“吴方法”，实现几何定理机器证明，开创数学机械化
- 获首届国家自然科学奖一等奖（1956）
- 获首届国家最高科学技术奖（2000）
生平大事记
岁月为轴 · 足迹为证
- 1919
生于上海
- 1940
毕业于上海交通大学数学系
- 1947
赴法国斯特拉斯堡大学深造
- 1949
获博士学位，创立“吴示性类”
- 1951
回国任教北京大学
- 1956
获首届国家自然科学奖一等奖
- 1977
“吴方法”实现几何定理机器证明
- 2000
获首届国家最高科学技术奖
- 2017
逝世于北京
相关人物
同侪共进 · 薪火相传
参考资料
有据可查 · 以正视听