从拓扑学到数学机械化

从拓扑学到数学机械化【内容提要】吴文俊是中国少数几位有国际声誉和重要影响的数学家之一。本文简短地介绍吴文俊不平坦的学术经历，着重论述他在拓扑学及数学机械化的学术成就及影响。 【关键词】吴文俊/