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

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