|
|||||
|
|
| 生活在数学王国里的吴文俊 | |
| 引用本文： | 施枫,余玮.生活在数学王国里的吴文俊[J].科学24小时,2006(6):8-10. |
| 作者姓名： | 施枫 余玮 |
| 摘 要： | 国际机器证明研究领域的权威人物J.S.穆尔曾这样评价吴文俊的贡献:“在吴文俊之前,机械化的几何定理处于证明黑暗时期,而吴的工作给整个领域带来了光明。”2001年2月19日,对吴文俊院士来说,是一个喜庆的、值得回忆的日子。在灯光璀璨、鲜花烂漫、万人聚集的北京人民大会堂里,中国数学机械化研究的创始人吴文俊从国家主席江泽民手中接过“国家最高科学技术奖”证书,并获得500万元的高额奖金。当我们询问吴老当时的心情时,吴老乐了:“当然高兴。”然后他顿了一下,接着说:“一方面感到是一种荣誉,同时也是一种责任,责任重大。”吴老重重地说了… |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |