1956年,37岁的吴文俊因为在拓扑学上的杰出成就,与华罗庚、钱学森一起获得国家自然科学一等奖,并于第二年当选为当时最年轻的中国科学院院士。
吴文俊的科学生涯并没有停滞不前,他最大的希望,是中国数学开创属于自己的研究领域,创立自己的研究方法,提出自己的问题。
上世纪 70 年代,在计算机工厂劳动的吴文俊切身感受到了计算机的巨大威力,敏锐地觉察到计算机作为新的工具必将大范围地介入到数学研究中来,于是,开始攀登学术生涯的第二座高峰——数学机械化。
吴文俊提出了用计算机证明几何定理的“吴方法”,被认为是自动推理领域的先驱性工作,对人工智能科学研究与发展影响深远,并使得中国在自动推理和数学机械化领域处于国际领先地位。
然而,在研究初期,这一方向受到不少人的质疑和反对,甚至被认为是“旁门左道”。
一次,一位资深数学家当面质问他:“外国人搞机器证明都是用数理逻辑,你怎么不用数理逻辑?”吴文俊激动地回答:“外国人搞的我就不搞,外国人不搞的我就搞!这是我的基本原则:不能跟外国人屁股走。”
吴文俊求真求实、勇于创新的精神至今令人怀念,在他看来,创新不是年轻人的专利,学术生命是应该能够终身保持的。
吴文俊:“外国人搞的我就不搞,外国人不搞的我就搞” | 中国科学报社 2023/9/4 15:00:16 |
他力排众议,保住了陈景润“1+2”成果在中国的优先权 | 中国科学报社 2023/9/4 14:59:04 |
为了看他的成果,传真机都烧坏了 | 中国科学报社 2021/12/20 16:38:35 |
吴文俊的数据盘 | 数学与系统科学研究院 2021/10/12 10:48:30 |
吴文俊的数学境界 | 数学与系统科学研究院 2021/8/17 11:19:01 |