上海交通大学吴文俊先生专题网
首页 > 生平事迹 > 吴文俊与交大
吴文俊大事记
日期:2019-04-17
1919 年 生于上海市
1924-1933 年 先后在上海文蔚小学,铁华中学,民智(中)小学读小学与初中
1933-1936 年 上海正始中学读高中
1936年 由正始中学毕业,获得奖学金,指定报考交通大学数学系
1937年 发现用力学方法证 Pascal定理
1938年 大学三年级,听武崇林讲授的几何、代数与实变函数论课程,开始对现代数学产生兴趣,开始自学实变函数与点集拓扑及组合拓扑的名著,并大量阅读波兰《数学基础》等刊物上论文
1940年 大学四年级毕业论文《用力学方法证明帕斯卡定理》论60条 Pascal 线的种种关系;交通大学毕业,到租界育英中学教书,兼任教务员
1941年 12 月珍珠港战争爆发,日军进占上海各租界,育英中学解散
1942-1945 年 到上海培真中学任教,兼任教务员。其间曾去南洋模范女中代课几个月
1945年 日本投降,此后曾在之江大学代课几个月
1945-1946 年 由同学介绍与帮助,认识朱公谨、周炜良与陈省身等教授
1946年初 到上海临时大学任郑太朴教授的助教
1946年夏 投考教育部主办的留法交换生
1946年8月 被陈省身招入中央研究院数学研究所,为助理员,开始拓扑学研究
1947年春 随陈省身教授到北平清华大学,同行者有曹锡华;
11月赴法留学,在 Strassbourg 大学跟随 C.Ehresmann 学习
1947年 发表第一篇拓扑学论文,载于法国 Comptes Rendus完成一项重要拓扑学研究,证明 Whitney乘积公式和对偶定理,1948年在 Annals of Math上发表
1948年 参加 CNRS 研究工作,初任 Attaché de recherches, 1951 年升为Chargéde Recherches;
获全国科学大会奖
1949年 完成博士论文《论球丛空间结构的示性类》,获法国国家博士学位,去苏黎世访问
1949年秋 去巴黎,跟随 H.Cartan继续拓扑学研究
1950年 春,证明了 Stiefel-Whitney示性类的拓扑不变性,并引进了新的示性类,后通称为”吴示性类“,提出了公式W=SqV,即“吴公式(第一)“;而后提出了著名的”第二吴公式“,使示性类可以计算。他的工作成为示性类研究的分水岭。
1951年 8 月回国,在北京大学数学系任教授
1952年 10 月到新建数学研究所任研究员
1953年 同陈丕和女士结婚;
同年开始非同伦性拓扑不变量的研究,由此引入示嵌类,并开展复合形嵌入、浸入与同胚的研究
1956年 5 月应邀参加曹家罗马尼亚第四次数学大会;
6 月赴苏联参加第三届全苏数学会议做“论多面体在欧氏空间中的实现“报告;
10 月参加在索菲亚召开的保加利亚数学会年会;
因示性类及示嵌类的工作荣获国家第一届自然科学奖一等奖
1957年 1 月,获中国科学院科学奖金(自然科学部分)一等奖;增选为中国科学院学部委员会(院士);
3 月当选中科院学部委员;
9 月赴波兰、东德访问,12 月赴法国访问讲学
1958年 在巴黎大学讲课系统介绍示嵌类的工作,对于 Ifaefliger 等人有很大影响;
被邀请在 1958 年国际数学家大会(爱丁堡)做分组报告(未能成行);
“理论联系实际”的运动中,拓扑学研究中断,开始对策论的研究;
到中国科学技术大学任教
1960年 到中国科学技术大学负责 60 级“一条龙教学”
1961年9月 参加颐和园龙王庙会议,基础理论研究逐步恢复
1962年 开始对奇点理论进行研究。对中学生作科普讲座力学在几何中的一些应用,并由江嘉禾记录成书由人民教育出版社出版
1963年秋 在科大主持数学 65 届设立“几何拓扑专业化”,在国内首次讲授代数几何课程
1965年 专著 A theory of imbedding, immersion, and isotopy of polytopes in anEuclidean space 由科学出版社出版
1965年7月 到安徽省六安县参加四清运动
1967年 完成“示嵌类理论在布线问题上的应用”
1971年 到专门制造模拟计算机的北京无线电一厂参加劳动,初次接触计算机的制造与使用,初步领略计算机对数学研究的潜在威力,从此开始对计算机有关知识的学习
1972年 中国开始同国外学术界恢复联系,陈省身等华裔数学家开始回国讲学。美国拓扑学家 Browder, Peterson, Spencer等访华,获得他们与其他国外学者如 Smale 等赠送的资料,使拓扑研究重新开始
1973年 数学所拓扑组开始关于有理同伦论的讨论班,吴文俊开始其 I*函子理论的研究
1974年 英文示嵌理论的中文版由科学出版社出版,书名为《可剖形在欧氏空间中的实现问题》,增加了有关布线问题的一个附录;开始中国数学史的研究
1975年 以“顾今用”的笔名,写成“中国古代数学对世界文化的伟大贡献”一文,明确提出“近代数学之所以能够发展到今天,主要是靠中国(式)的数学,而非希腊(式)的数学,决定数学历史发展进程的主要是靠中国(式)的数学,而非希腊(式)的数学。”
1976年末 开始定理机械化证明的研究,于次年春节期间取得成功
1977年 首次发表定理的机械化证明的论文,由此开辟全新的方向
1978年 撰写“数学概况及其发展”一文,发表于科学出版社的《现代科学技术简介》一书,文中提出了脑力劳动机械化,但于刊印时被删去;
发表微分几何定理的机械化证明论文;
获全国科学大会奖;
当选第五届全国政治协商会议常委
1979年 1 月访问美国普林斯顿高等研究院等;
4 月应邀赴加州大学伯克利分校做关于 I*函子报告;
10 月与关肇直,许国志共同创建系统科学研究所,吴文俊任副所长;
去长春参加有关计算机与数学的学术会议
1979年秋 在中国科技大学研究生院开设机器证明的专门化课程
1980年 4 月加入中国共产党;
8 月国内开始举办“双微”会议,任组织委员会主席;
获中国科学院科技成果一等奖
1981年 在第一次全国数学史学术讨论会上做《古今数学思想》报告
1982年 秋赴加州大学伯克利分校讲学;
11月访问西德 Max-Planck数学研究所
1983-1988 年 任第六届全国政治协商会议常委
1983年 赴美国科罗拉多大学,加州大学洛杉矶分校,芝加哥大学,伊利诺伊大学,休斯顿大学访问
1984年 任系统所名誉所长;
任中国数学会理事长;
由 W. W. Bledsoe等编辑的 Automated Theorem Proving: After 25 Years出版,收入吴文俊的奠基性论文,吴文俊的机械化数学思想在国际上得到广泛传播;
专著《几何定理机器证明的基本原理》由科学出版社出版
1984年秋 在中国科技大学研究生院开设机器证明理论课程
1985年 第六届双微会议上报告;
10 月组织刘徽数学讨论班;
与吕学礼合作撰写通俗著作《分角线相等的三角形》,由人民教育出版社出版
1986年 6 月访问美国通用电气公司 Xerox Parc,HP 实验室;
7 月访问美国纽约库朗研究所。访问 Texas大学 Austin 分校计算机科学系;
8 月应邀在第 20届国际数学家大会上作 Recent Studies of the History ofChinese Mathematics 报告;
参加在加拿大的滑铁卢大学所举行的符号与代数计算研讨会;
通俗文选《吴文俊文集》由山东教育出版社出版
1987年 5 月访问东德,参加莱比锡 Eurocal' 87(欧洲计算机辅助语言教学协会)会议并做报告;
7 月访问意大利卡塔尼亚大学,参加数学自动推理国际会议;
10 月访问加拿大,参加国际符号与代数计算会议;
关于 I*-函子的研究总结成 A constructive Study via the theory of the I*-measure一书,由 Springer出版社出版
1988年 7 月参美国伊萨卡的代数几何演算国际会议并做报告;
9 月参加巴黎 Thom纪念会,并做报告 A Constructive Theory ofAlgebraic Differential Geometry and its Application;
到法国斯特拉斯堡大学计算机科学系和西德哥廷根大学学术访问;
12 月,1985年刘徽数学讨论班的部份报告由安徽科技出版社出版,书名《现代数学的进展》。
1988-1993 年 任第七届全国政治协商会议常委
1990年 3 月到加拿大蒙特利尔大学学术访问;
5 月访问苏联,在杜布纳参加“物理科学中的计算机代数”国际会议;
8 月成立中科院系统科学研究所数学机械化研究中心,任中心主任;
参加在香港召开的首届亚洲数学大会,做《方程求解与定理求证》的报告;
10 月赴美国洛杉矶微分几何暑期学校,为陈省身教授祝寿
1991年 1 月到美国马里兰大学系统研究中心访问,并参加几何与学习工作会议;
1 月-6月在南开数学所学术年由吴文俊与胡国定共同主持计算机数学的系列报告,报告由新加坡 World Scientific 于 1993年出版,书名为Computer mathematics;
2 月到美国杜克大学学术访问;
4 月赴格勒诺布尔参加计算机设计与工程会议;
到巴黎对法国高等科学研究院、法国第七大学、综合工科学校进行学术访问;
8 月南开大学数学所举办第一届全国计算机数学学术年会,与胡国定共同主持“数学机械化研讨会”
1992年 7 月与程敏德共同主持在北京举行的数学机械化国际会议;
8 月赴奥地利参加 AAGR,对 RISC研究所进行学术访问;
荣获 1990 年度第三世界科学院数学奖,当选为第三世界科学院院士;
国家科委攀登项目“机器证明及其应用”获得通过,任首席专家
1992-1994 年 任中国科学院数理学部主任
1993年 3 月随科学家代表团访问台湾;
10 月赴韩国庆北大学几何拓扑研究所访问;
荣获 1993 年度陈嘉庚数理科学奖
1993-1998 年 任第八届全国政治协商会议常委
1994年 2 月国家科委攀登项目“机器证明及其应用”项目在北京召开了执行第一年的汇报、检查、交流会,于会议结束时做报告;
7 月与石赫去威海研究生数学暑期学校主持数学机械化暑期讲习班;
8 月参加北京举行的 ISSAC国际会议;
荣获香港求是基金会“杰出科学家奖”
1995年 5 月接受香港城市大学荣誉博士学位;
赴美国阿尔伯克基参加计算机代数应用学术会议;
8 月参加由中日联合举办在北京举行的第一届“亚洲计算机数学研讨会”,任会议主席;
12 月赴新加坡参加第一届亚洲数学科技会议,做报告《几何问题求解的特征列法及其应用》;
任“数学天元基金”领导小组组长
1996年 5 月随陈省身教授去贵阳讲学,三次通俗报告载贵州教育学院学报1997年 48卷 3期;
攀登项目“机器证明及其应用”验收通过,获准继续进行,并改名为“数学机械化及其应用”,任首席专家;
《吴文俊文集》的增订本由山东教育出版社出版,改名为《吴文俊论数学机械化》;
去香港参加天元基金领导小组扩大会议;
7 月与石赫、刘卓军等在北大主持数学机械化的暑期讲习班;
11月去意大利 Trieste参加第三世界科学院大会;
12 月去台湾参加数学年会
1997年 6 月赴伯克利参加北美青年数学家学术会议;
7 月访问堪培拉的澳大利亚国立大学;
荣获 Herbrand自动推理杰出成就奖;
Mathematics Mechanization: Geometry Theorem Proving, GeometryProblem-Solving and Polynomial Equation- Solving 一书由科学出版社和Kluwer Academic 联合出版
1998年 8 月参加在北京举行的第二届 ADG(几何中的自动推理)国际会议;
参加由中日联合举办在兰洲举行的第三届亚洲计算机数学国际会议;
与林东岱、张文岭同赴新疆为天元基金作学术报告;
“数学机械化与自动推理平台”首批入选“国家重点基础研究规划项目”,任学术指导
1999年 5 月辞去数学机械化中心的主任,改由高小山担任;
10 月参加在成都举办的《第一届数学机械化高级研讨班》;
10 月访问武汉华中理工大学,被授予名誉教授并作了通俗报告《我是怎样走上数学机械化的道路的》;
11月参加在广州举行的纪念关肇直先生八十诞辰的学术研讨会;
12 月去德国访问,参加国际数学家大会。
2000年 1 月在澳门举行的“数学及其在文明中的作用”国际会议上做题为 Atentative Comparatives Study of Mathematics in Ancient China and AncientGreece的邀请报告;
1 月参加在香港举行的“数学普及讲座及交流系列研讨会 II”做题为“中国传统数学的特色及其现代意义”的报告;
9 月到 10 月,参加在瑞士苏黎世举行的第三届“几何自动推理研讨班”,做《多项式方程组求解及其应用》的特邀报告;
参加法国巴黎学术交流会,做题为 Global Optimization and itsApplications的报告;
11月参加在伊朗举办的“International Congress on Ghyathal-din JamshidKashani-ICGK 2000”国际会议做题为 Polynomial Equations-Solving inAncient China and its Role in Modern Times 的报告;
12 月参加在泰国清迈举行的第四届“亚洲计算机数学研讨会”(ASCM’2000)并在会上做报告
2001年 荣获首届“国家最高科学技术奖”;
2 月访问德国 Max-Planck数学研究所;
3 月在合肥中国科大举办的“有效代数方法高级研讨班”上做报告;
9 月参加中国科协在长春举行的 2001年学术年会,做题为《脑力劳动机械化与科学技术现代化》的大会报告;
在上海现代数学国际会议上做大会邀请报告 On Algebraic DifferentialGeometry and Algebraic Differential Equations;
出席在香港举行的第九届国际中国科学史会,做题为 On SomeCharacteristic Features of Chinese Mathematics;
10 月访问香港城市大学;
在深圳高信技术论坛期间,于 10月 13 至 14日举行第一届院士论坛上和周光召同志担任主讲。主讲的题目为:数学机械化及其在高科技中的作用;
在天津南开大学数学所举行的“二十一世界的中国数学”学术报告会做报告《21世纪的中国数学》;
英文著作《数学机械化》2001年荣获第五届国家图书奖;
林东岱、李文林、虞言林主编的《数学与数学机械化》由山东教育出版社出版
2002年 6 月在清华为祝贺杨振宁 80 寿辰而举行的国际学术会议“Frontiers ofScience”上作“Some Reflections on the Mechanization of Mental Labor inthe Computer Age”;
8 月第 24 届国际数学家大会(ICM’2002)在北京举行,任大会主席,并致开幕词。做 ICM’2002的分组报告:《中国古算与实数系统》;
9 月应香港凤凰电视台邀请,在清华大学做演讲:《计算机时代的中国数学》;
12 月胡作玄、石赫编撰的《吴文俊之路》由上海科学技术出版社出版
2003年 1 月在“数学机械化软件研讨会”上做《计算机时代的脑力劳动机械化与数学机械化》的报告;
Mathematics Mechanization:Geometry Theorem Proving, GeometryProblem-Solving and Polynomial Equation- Solving 中文版《数学机械化》由科学出版社出版;
11月在广东工业大学做报告:“拓扑学到机器证明”;
在中国智能学会 2003全国学术大会、可拓学创立 20年庆祝大会、中韩智能系统学术研讨会上作《计算机时代脑力机械化与科学技术现代化》报告
2004年 5 月出席在上海举办的“第六届国际数学机械化研讨会”(IWMM6),在上海复旦大学做报告:《计算机时代的东方数学》;
10月 31 日国务院总理温家宝到家中看望吴文俊;
11月参加数学机械化重点实验室在香山别墅举行的实验室战略发展学术研讨会,作会议总结
2005年 7 月参加在北京举行的国际符号和代数计算会议(ISSAC’2005),做邀请报告 Finite Kernel Theorem and Applications(《有限核定理及应用》);
参加第 22 届科学史国际会,致开幕词,并做题为 On the Developmentof Real Number System in Ancient China(《中国古代实数系统的发展》)的报告;
9 月被聘为中国石油大学(东营)荣誉教授。当天参观了石油大学校史陈列馆与展览馆、重质油国家重点实验室、高压水射流研究中心和石大科技集团,并出席了“授予吴文俊院士荣誉教授仪式暨学术报告会”;
次日接受了山东卫视的专访
2006年 4 月到安徽省马鞍山市和芜湖市进行了考察,参观了安徽工业大学、马钢第一钢轧总厂、安徽华东光电研究所、奇瑞公司等单位,并受聘为安徽工业大学荣誉教授;
6 月获得第三届邵逸夫奖数学奖;
9 月在香港接受第三届邵逸夫奖数学奖颁奖
2008年 1 月 18日中共中央总书记、国家主席、中央军委主席胡锦涛到家中看望吴文俊;
柯琳娟著的《让数学回归中国:吴文俊传》由江苏人民出版社出版;
World Scientific(Singapore)出版 Selected Works of Wen-Tsun Wu
2009年 5 月 11-13 日中国科学院等单位在北京召开“庆祝吴文俊院士九十华诞暨数学机械化国际学术研讨会(ICMM)”,中国科学院路甬祥院长发来贺信,中国科学院副院长詹文龙院士、国家自然科学基金委员会王杰副主任、中国科学院基础局李定局长、刘鸣华副局长、中科院数学与系统科学研究院院长郭雷院士出席了庆祝活动。来自中国科学院、中国科技大学、上海交通大学、西安交通大学、北京大学、南开大学、清华大学、西北大学等院校的代表,吴文俊院士的学生以及参加“数学机械化国际研讨会”的嘉宾,也参加了这一活动,并对吴文俊院士 90华诞表示祝贺;
7 月获得全国侨界“十杰”荣誉称号;
获得上海交通大学杰出校友终生成就奖;
获得西安交通大学最受崇敬校友荣誉称号;
获得系统科学最佳论文奖
2010年 4 月,姜伯驹、李邦河、高小山、李文林主编的《吴文俊与中国数学》由八方文化创作室出版;
5 月 4日国家最高科学技术奖获奖者吴文俊、金怡濂、王永志和叶笃正小行星命名仪式在京举行。经国际天文学联合会小天体命名委员会批准,将国际永久编号第 7683号小行星永久命名为“吴文俊星”;
参与编写的《数学小丛书》获得国家科技进步二等奖
2011 年 1 月 6日中国人工智能学会发起设立“吴文俊人工智能科学技术奖”。这是我国智能科学技术领域唯一依托社会力量设立的科学技术奖,具备直接推荐国家科学技术奖资格,被誉为“中国智能科技最高奖”。首届“吴文俊人工智能科学技术奖”2012 年 5月 14日揭晓;
5 月 19日中国科学技术大学以中国科学技术大学数学所为基础组建了中国科学院吴文俊数学重点实验室;
8 月 7日中共中央政治局常委、国务院总理温家宝看望吴文俊
2014年 5 月 13日在中国科学院数学与系统科学研究院召开“庆祝吴文俊院士九十五华诞暨吴文俊先生学术思想座谈会”
2015年 3 月陈琼编著的《国家最高科学技术奖获得者书系•吴文俊的故事》由安徽少年儿童出版社出版;
9 月吴文俊口述,邓若鸿、吴天骄访问整理的《走自己的路:吴文俊口述自传》由湖南教育出版社出版
2016年 1 月吴文俊编著的《Menelaus 定理》由哈尔滨工业大学出版社出版
2017年 1 月 16日中共中央政治局常委、中央书记处书记刘云山到家中看望吴文俊;
5 月 7日 7时 21 分因病医治无效,在北京医院不幸逝世。

 

沪交ICP备20190069 沪举报中心 版权所有© 上海交通大学
地址:上海市东川路800号 邮编:200240 查号:86-21-54740000