吴文俊人工智能科学技术奖

数学家吴文俊逝世

2017年07月10日    来源:西安晚报     
1021

  辉煌学术路

  1919年5月,吴文俊出生于上海,1940年毕业于交通大学数学系,1949年获法国国家科学博士学位。在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等领域,吴文俊均做出杰出贡献。国际机器证明研究领域的权威人物穆尔曾评价道:吴文俊的工作,将机械化的几何定理证明从黑暗带向光明。1956年,吴文俊与华罗庚、钱学森一起同获“首届国家自然科学一等奖”。1958年,他就成为当时最年轻的中国科学院学部委员(院士)。被称为“中国数学机械化研究的创始人”。2001年,他与“中国水稻之父”袁隆平一起荣获首届国家最高科学技术奖。

  斯人已去,精神长存。 5月7日上午7时21分,我国著名数学家、中国科学院院士、首届国家最高科技奖获得者,中国数学机械化研究的创始人吴文俊院士在京病逝,享年98岁。 巨星陨落,噩耗传来。西安交大师生校友万分悲恸,沉痛悼念为国家和民族建立不朽功勋的校友、学长、杰出人物。在熠熠星光的学术领域,吴文俊的贡献是耀眼夺目的。

  他在交大萌生对数学的兴趣

  吴文俊成长历程中,在交通大学的求学经历,为他拿下数学领域的桂冠奠定了坚实的基础。

  在走进交通大学之前,吴文俊爱好广泛,虽然对数学没有表现出特别的偏爱,但是数学成绩非常好。他在交通大学读书期间,那里多样化的人文环境也成就了他多元化的兴趣志向。 “我的数学底子是在交大打好的”。吴文俊曾经在接受记者采访中谈到,当年交大陈怀书先生的初等数学、汤彦颐先生的高等微积分和复变函数论、石法仁先生的微分方程和武崇林先生的代数方法论,都给他留下了深刻印象,尤其武崇林先生还将自己在数学方面的珍贵藏书借给他,给予他很大的指导和帮助。在西安交大档案馆,如今还珍藏着吴文俊当年求学时的成绩单,两份1938年、1939年的成绩单,分数几乎精确到小数点后两位,在交通大学严谨的教学下,吴文俊的各科成绩均很优异,并名列前茅。

  获评西安交大最受崇敬校友

  在西安交大,吴文俊是一个令人敬仰的名字。在理科楼长廊,悬挂着12位为我国社会进步做出重要贡献的西安交大杰出校友的巨幅肖像,吴文俊位列其中,成为交大师生不断进取的精神力量和源泉;在钱学森图书馆,校史走廊名流荟萃,吴文俊的名字与钱学森、侯宗濂等一起,承载着交大学子的光荣和梦想;在西迁历史纪念馆的溯源馆里,吴文俊等杰出校友与历任校长,作为西安交通大学彪炳史册的一代风流人物,是交通大学跨越三世纪辉煌历程的时代见证。

  有着非凡学术成就的吴文俊情系母校,也从未停止过对母校西安交通大学深深的眷念和牵挂。 1997年4月,吴文俊受聘为西安交通大学名誉教授。为让母校数学学科有一个更好的发展平台,吴文俊多次倡议和组织数学领域的国际会议在西安交通大学召开。早在上个世纪70年代,吴教授就在西安交通大学作了“数学机械化”的讲演。1999年,由他主持和组织的“数学教育与传播国际会议”在西安交通大学召开。2000年,“符号计算和数值算法国际会议”也在他的积极组织下在西安交通大学召开。

  对于交通大学的西迁,吴文俊评价:一个交通大学变成两个交通大学,是为国家和人民做出了双倍的贡献。

  他的治学精神激励更多后人

  “院士的去世,是学界的重大损失。先生是‘西安交通大学最受崇敬校友’,学识渊博,德艺双馨,笃志报国,培育后学,桃李满天下,用一生诠释了母校‘爱国爱校、追求真理’的优良校风,是交通大学校友之楷模。”得知吴文俊院士去世的消息,西安交大师生悲痛万分,悼念这位令他们尊敬的学长,多位师生表示,先生的高尚情操和大师风范将激励他们更加努力地工作,做对社会有用的人才。 西安交通大学理学院李开泰教授说:“吴文俊的鼎力帮助,带动了母校数学学科的发展,促进了西安交大的数学学术水平,扩大了母校的数学国际影响力。”

  “斯人已去,精神长存,吴文俊院士永远活在我们心中。”昨日下午,西安下着小雨,一位刚刚得知吴文俊院士去世消息的交大学子表示,非常遗憾他没有见过这位令人尊敬的学长,吴文俊的治学精神将成为他求学的精神力量。 本组文/ 记者 任娜

  图片由西安交大提供