中新社北京5月7日电 题：用“笨办法”的“数学玩家”——缅怀吴文俊院士

中新社记者 张素

“数学是笨人学的，我是很笨的，脑筋‘不灵。”中国著名数学家、中国科学院院士吴文俊生前说。

中国科学院数学与系统科学研究院发布讣告：2017年5月7日7时21分，吴文俊病逝北京。

再过5日是吴文俊的99岁寿诞。悠悠走过近一个世纪，自谦是“笨人”的吴文俊却总能走在数学研究的最前沿。

20世纪50年代开始，吴文俊陆续对数学的主要领域拓扑学作出重大贡献。“吴示性类”、“吴示嵌类”、“吴公式”等成为影响深远的经典性成果，至今仍被同行广泛引用。

由此，他在37岁时便与华罗庚、钱学森等共获首届国家自然科学奖一等奖。38岁当选中国科学院学部委员(院士)。

20世纪70年代，吴文俊在接触计算机后便抛开已有的拓扑学成就，开始攀登数学机械化的高峰。很快，他提出用计算机证明几何定理的“吴方法”，被认定是自动推理领域的先驱性工作。

此后数十年，他陆续建立起“吴中心”，并在近代数学史上形成“吴学派”，吸引众多中外学者前来求学。2000年获得首届国家最高科学技术奖时，他所证明的定理已成为众所周知的基本事实。

纵观其科研道路，吴文俊的确用了不少“笨办法”。比如他读俄文专著，完全是靠字典一个字一个字查出来的。再如他在花甲之年从头学习计算机语言，每日清早等在机房外，一进入机房便连续八九小时不间断工作。很多年里，他的上机操作时间稳居全所榜首。