吴文俊——从拓扑学到数学机械化

Wu Wen - tsun, From Topology to Mathematics - Mechanization

吴文俊是中国少数几位有国际声誉和重要影响的数学家之一。本文简短地介绍吴文俊不平坦 的学术经历,着重论述他在拓扑学及数学机械化的学术成就及影响。

Wu Wen - tsun is one of few Chinese mathematicians who are prestigious in international scientific community . This paper gives a brief description of Wu's academic career, especially his great achievements in Topology and Mathematics- Mechanization.