人生，该当如此完满谢幕……

九十八个春夏秋冬，

一代中华民族子孙觉醒、抗争、奋发图强的现代史！

生于战乱、长于动荡、学于民国、留洋法国、回归新中国……

历经数次政治运动，却始终坚守专业、与时俱进、

活到老学到老的吴文俊先生！

对先生，晚辈不仅是敬重，更愿意从您的人生经历中有所感悟：

人应该怎样去活下去……？

知识人应该怎样去活……？

人生，能有如此完美谢幕，

那得有多大的修行与造化……？

敬重您！仰慕您！

更向往如此完美走到人生谢幕的一天……

悼念您，不想哭丧！当然也无哭的资历与资格……

心中唯有：敬重、仰慕、向往……感怀万千！

脑海里浮现出年少时抄在笔记本扉页上的那段名言：

“人,最宝贵的是生命；它，给予我们只有一次。人的一生，应当这样度过：当他回首往事时，不因虚度年华而悔恨，也不因碌碌无为而羞耻；这样在他临死的时候，他就能够说：我已经把我的整个生命和全部精力，都献给了这个世界上最壮丽的事业——为了人类的解放而斗争。”……

先生远去，留下一面明镜！

一面做人、做知识人、做中国知识人“觉、悟、醒、省”的明镜……

红叶随笔2017/05/08

以下资料来自维基百科：

吴文俊（1919年5月12日－2017年5月7日），浙江嘉兴人，出生于中國上海。数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。

生平

1940年毕业于交通大学，随后在一所中学任教。1946年，陈省身将他招入中央研究院数学所，指导他进行拓扑学研究。1947年赴法求学，1949年获得法国斯特拉斯堡大学博士学位。1951年返回中国大陆，被聘为北京大学数学系教授。1952年，任中国科学院数学所研究员。1980年，调往中国科学院系统科学研究所。1998年，转入新成立的中国科学院数学与系统科学研究院^[1]。

从1946年到1951年，主要从事施蒂费尔-惠特尼示性类的研究工作。从1953年到1957年，主要从事庞特里亚金示性类的研究工作。其后，转向示嵌类的研究。70年代后期，在计算机技术大发展的背景下，吴文俊继承和发展了中國古代数学的传统的算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴文俊的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。

曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998），2002年国际数学家大会主席，1993年开始任中国科学院系统所名誉所长。

曾获得多项国内外奖：1956年获首届国家自然科学一等奖；1957年增选为中国科学院学部委员(院士)；1990年荣获第三世界科学院数学奖；1993年获陈嘉庚科学奖数理科学奖；1994年获首届香港求是杰出科学家奖；1997年获自动推理领域最高奖埃尔布朗奖；2000年获中华人民共和国国家最高科学技术奖；2006年获邵逸夫獎数学科学奖。

编号第7683号小行星被永久命名为“吴文俊星”。

2017年5月7日，因病医治无效，在北京去世，享年98岁^[2]。

著作

吴文俊 《数学机械化》中国科学出版社 2003

《吴文俊文集》 山东教育出版社1986

吴文俊 《力学在几何中的一些应用》 科学出版社 2002

吴文俊主编 《中国数学史大系》 1-10卷 北京师范大学出版社

Wen-Tsun, Wu:Rational Homotopy Type: AConstructive Study Via the Theory of the I*-Measure ISBN0-387-13611-8

Wen-tsun, Wu & Min-de, Cheng,CHINESE MATHEMATICS INTO THE 21ST CENTURY

Wen-tsun, Wu, A THEORY OF IMBEDDINGIMMERSION AND ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACE

Wen-tsun, Wu,Mechanical TheoremProving in Geometries. ISBN3211825061

Wen-Tsun, Wu; Georges Reeb:Sur LesEspaces Fibres Et Les Varietes Feuilletees

SELECT WORKS OF WEN-TSUN WU ISBN9789812791078

Wen-tsun, Wu: MathematicsMechanization: Mechanical Geometry Theorem-Proving, Mechanical GeometryProblem-Solving and Polynomial Equations-Solving ISBN0-7923-5835-X

Wen-Tsun, Wu, and Hu Guo-Ding, eds,Computer Mathematics ISBN9810215282