纪念吴文俊院士诞辰百年上海交大成立吴文俊数学中心( 二 ) 上海交大吴文

1940年吴文俊从交通大学毕业， 1947年赴法国留学。留学期间，他的工作成为上世纪50年代前后拓扑学的重大突破之一，引发了“拓扑学的地震” 。上世纪70年代后期，吴文俊认识到中国传统数学的机械化思想与现代计算机科学是相通的。在中国传统数学思想的启发下，他开创了崭新的数学机械化领域，创立的用计算机证明几何定理的“吴方法” ，被认为是自动推理领域的先驱性工作，对中国现代数学的振兴乃至复兴做出了巨大贡献。

1974年，吴文俊的研究兴趣转向中国古代数学，他以敏锐的目光和深邃的思想把中国传统数学的特点概括为构造性与机械化，不仅将其成功地应用于数学机械化新领域，成为古为今用、自主创新的典

范，而且也开创和引领了继李俨(1892～1963)、钱宝琮(1892～1974)之后中国数学史研究的新局面。他独特的数学史认识论和方法论，被概括为“吴文俊数学史观” 。