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

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