著名数学家吴文俊

韩冰

" F5 z' s1 p# E( U( Y" x/ V1 C3 _* v% G" h& b" X& _5 w: k' n+ z2 Q, }5 ^3 O, p' N+ I2 @% A! \# Y; E' ` f: v2 v( K6 a$ V2 C, k5 c& @) e; `+ {0 S: W: @

% F4 A9 J: @/ C5 E & S8 E9 o/ Z7 P* U 文俊，男，1919年5月出生于上海，1940年毕业于上海交通大学数学系。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。 / i W5 T+ S! E5 G' p 吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。 70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。 / o, q( Q$ U+ P. l/ R1 T9 ~ 在50多年的研究工作中，吴文俊始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。 摘自山西日报 7 |. t7 v& d6 |2 i5 W5 \