吴文俊是中国杰出的数学家,以下是他的生平介绍: 早年经历:1919年5月12日出生于上海一个普通知识分子家庭,父亲吴福同毕业于南洋公学,从事翻译工作。吴文俊4岁进入文蔚小学读书,初二时因“一·二八”事变回嘉兴老家避难,后进入正始中学。起初他对数学兴趣不大,更喜欢历史,高中毕业时因物理成绩优异被保送上海交通大学数学系,1936年9月入学。1937年上海沦陷,学校迁入租界,大三时在恩师武崇林启发下,他对数学研究产生浓厚兴趣,开始学习德语,研读集合论、点集拓扑和代数拓扑等经典著作,1940年7月大学毕业。 初涉数学领域:大学毕业后,因处于抗战时期,吴文俊做中学教师谋生。1945年抗战胜利,1946年1月在赵孟养推荐下,回母校担任郑太朴助手,结识陈省身。同年8月,在陈省身帮助下进入中央研究院数学研究所,潜心研究拓扑学。1947年,其研究成果让惠特尼的出书计划变得多余,随后考取中法交换生。 留学深造:1947年11月,吴文俊赴法留学,师从埃瑞斯曼。留法第二年,他在《法国科学院周报》发表论文,指出庞特里亚金和惠特尼关于二维示性类的认识不存在对错之分,并证明三维等于零,轰动国际数学界。霍夫曼专程前往法国与他辩论讨教,还邀约他访问苏黎世理工大学。1949年,吴文俊获法国博士学位,同年秋前往巴黎任法国国家科学中心研究员,师从H.嘉当。1950年春,他与托姆、塞尔、保莱尔共同提出“吴公式”,开辟了拓扑学通向应用的道路。 回国发展:1951年7月,吴文俊放弃国外优越条件回国,出任北京大学数学系教授。1952年10月,到中国科学院数学研究所任研究员,提出“吴示嵌类”理论。1957年1月,与钱学森、华罗庚荣获首届国家自然科学奖一等奖,成为中国科学院最年轻的学部委员(院士)。1958年协助华罗庚创办中国科学技术大学应用数学和计算技术系,并讲学授课至1965年。 遭遇挫折与转折:文革期间,吴文俊教育研究工作中断,被下放至北京一家计算机制造厂劳动。后期在关肇直点拨下,他转而研究中国古代数学。1974年正式钻研中国古代数学史,复原赵爽日高公式证明,认识到中国古代数学思想是构造性、算法性的,为开启数学机械化研究奠定基础。1975年在《数学学报》发表成果,提出西方数学起源的学术观点,阐述中国古代数学的世界意义。此后他自学计算机编程算法,将中国古代数学思想应用于几何定理机器证明。 开创数学机械化领域:1977年春节,吴文俊关于初等几何定理的机械化证明首次成功,成果发表在《中国科学》杂志上,开创人类数学研究全新领域。1978年4月,出任中科大数学系副主任,协助华罗庚重建中科大数学系,同年获全国科学大会奖。1979年10月,关肇直创建系统科学研究所,吴文俊前往任副所长,1980年转入该所工作。1983年回中科大主持首批中国自主培养的博士生毕业答辩。1984年出任中国数学会理事长。1990年,中科院成立“数学机械化研究中心”,吴文俊出任主任,“数学机械化与自动推理平台”成为国家首批“973项目”,同年他被选聘为第三世界科学院院士,并获第三世界科学院数学奖。 晚年荣誉与贡献:1995年接受香港城市大学名誉博士学位。1998年转入中国科学院数学与系统科学研究所,先后任副所长、名誉所长、研究员。1999年被聘为华中理工大学名誉教授。2001年2月荣获首届国家最高科学技术奖,同年英文著作《数学机械化》获第五届国家图书奖。2005年被聘为中国石油大学(东营)荣誉教授。2017年5月7日,吴文俊因病医治无效在北京逝世,享年98岁。2019年,在新中国成立70周年前夕,他被授予“人民科学家”国家荣誉称号。 吴文俊在拓扑学、数学机械化等领域成就斐然,他的“吴方法”为数学发展开辟了新方向,培养了大批人才,为中国乃至世界数学发展作出了卓越贡献。 |