关于吴文俊
吴文俊(1919—2017),一位在拓扑学与数学机械化两个领域均做出开创性贡献的数学家。
他是中国科学院院士、首届国家最高科学技术奖获得者,其“吴示性类”“吴公式”与“吴方法”至今影响着全球拓扑学与自动推理研究。他是少数几位被多位菲尔兹奖得主引用的中国数学家,也是年近花甲时从零学编程、开辟全新学科的科学闯将。
三十岁前后,吴文俊在法国完成拓扑学奠基性的“吴公式”,被陈省身誉为“对纤维丛示性类的研究做出了划时代的贡献”。五十岁后,他转向中国古代数学研究,从中悟出机械化证明的思路,在六十岁前后自学计算机编程,用Fortran语言实现了“吴方法”。国际自动推理界评价说:“几何定理自动证明在‘吴方法’出现之前进展甚微,这种被动局面是由一个人完全扭转的。”
吴文俊将自己的成就归因于“还债”——还社会、老师、前人的债。他常说:“科研是永远做不完的。”这句话不是口号,是他从25岁到98岁每天都在做的事。他不煽情、不居功,只留下定理和方法,让后人继续往前走。
在这个空间里,您可以了解这位数学家的真实生活:那些不被广泛报道的细节,那些严肃而温暖的瞬间。或许,在了解他的过程里,您也会想起自己生命中那些像他一样,用一生踏实做事、默默“还债”的人。
在拓扑学与数学机械化两大方向做出开创性贡献的数学家。人生一页是一个温暖永久的线上纪念空间,大家在人生一页纪念吴文俊,以表达我们无尽的怀念。
卜超
5月22日 15:11
