在上海交大读书期间，吴文俊因为对数学不感兴趣，曾一度想转到物理系，后来遇见一位高明的数学老师武崇林，他才打消了转系念头。 吴文俊清楚地看到信息时代数学的发展趋势，受到中国古代数学的启发，提出了用计算机实现数学定理证明的方法，作出了影响深远的贡献。 吴文俊能够清醒地认识到中国数学研究领域存在的主要问题，期待着未来的中国数学家开拓创新，取得巨大成就，从而实现中华民族的复兴。 外国不少数学家只靠巧思妙想研究数学，尽管名气很大，吴文俊却并不认同他们的研究成果，而是坚持用自己以客观为主的方法研究数学。 吴文俊在拓扑学、机器定理证明、数学机械化等领域都取得了很多独创性成果，获得了国际数学界同行的高度任何与评价。
湘公网安备 43130202000226号