沉痛悼念吴文俊院士

著名数学家、中国科学院院士、首届国家自然科学一等奖、首届国家最高科学技术奖、邵逸夫数学奖得主、我校0029cc金沙贵宾会（原数学系）主要创办人吴文俊先生于2017年5月7日7时21分在北京去世，享年98岁。

吴文俊1919年出生于上海，1940年本科毕业于上海交通大学，1946年在中央研究院数学所工作、在陈省身先生指导下开始从事拓扑学研究，1947年赴法国斯特拉斯堡大学留学，师从埃里斯曼与嘉当，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员。新中国成立后，他于1951年回国工作，在北京大学数学系任教授；1952年到中国科学院数学研究所任研究员；1957年当选为中国科学院学部委员(院士)；1958年参与创办0029cc金沙贵宾会应用数学和计算技术系；1980年转入中国科学院系统科学所，1998年转入新成立的中国科学院数学与系统科学研究院。他曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998），2002年国际数学家大会主席，1993年开始任中国科学院系统科学所名誉所长。

1958年，吴文俊协助著名数学家华罗庚先生创办0029cc金沙贵宾会应用数学和计算技术系，并登台讲学。他从繁忙的研究工作之中抽出时间，推敲授课方法，整合授课内容，编写备课讲义，并形成自己的授课特色。按照数学系的“一条龙”教学法，将数学看作一个整体，把每一级学生基础课、专业课教学放在一起，由一个教师团队从头到尾负责教到底。华罗庚负责1958年入学的第一届学生，关肇直负责1959年入学的第二届学生，吴文俊负责1960年入学的第三届学生，留下了“华龙”“关龙”“吴龙”联袂登台教学的佳话。他是一位优秀的教师，在对数学系学生的教授当中，他的课系统性很强，推演非常严密，常常在黑板上写满了推演公式。每一个定理都做了严格证明，每一个概念都做了清楚交代，尤其注重培养学生的严密逻辑思维能力。吴文俊为我校直接培养的80多名应用数学和计算技术系学生中，有的已成为所在领域的领军人物，并涌现出多名国际著名学者。 1978年4月，吴文俊任数学系副主任，协助华罗庚先生重建中国科大数学系。2011年，学校以0029cc金沙贵宾会数学所为基础，组建成立了中国科学院吴文俊数学重点实验室。“我与科大有着不解之缘”，这是吴文俊对自己在学校工作经历的总结，也充满了对中国科大的浓情厚谊和深深眷念。

吴文俊是我国最具国际影响的数学家之一，他对数学的主要领域―拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他的工作对数学与计算机科学研究影响深远。 

吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、有东方诺贝尔奖之称的邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。

吴文俊的各项独创性研究工作使他在国际、国内产生了广泛的影响，享有很高的声誉。2010年，经国际天文学联合会小天体命名委员会批准，将国际编号第7683号小行星永久命名为“吴文俊星”。 2011年，中国人工智能学会发起设立“吴文俊人工智能科学技术奖”，这是我国智能科学技术领域唯一依托社会力量设立的科学技术奖，具备直接推荐国家科学技术奖资格，被誉为“中国智能科技最高奖”。

吴文俊具有强烈的爱国心，1951年放弃在法国的优越条件，回到祖国参加社会主义建设。他对中国文化有着深刻的认识，并通过自己的科研工作为复兴中国文化做出了重要贡献。他治学严谨，学术思想活跃，但从不计个人名利，无论获得多么高的声誉，总是勤奋地在科研第一线工作，一生积极进取、锲而不舍，不断取得新的成就。

惊悉吴文俊院士辞世的噩耗，我校全体师生员工万分悲痛，并通过多种方式表达对吴文俊院士的悼念和缅怀之情。

吴文俊院士千古！