论吴文俊的数学史业绩

吴文俊（1919年5月12日－2017年5月7日），1919年5月12日出生于上海，祖籍浙江嘉兴。毕业于上海交通大学数学系，1949年，获法国斯特拉斯堡大学博士学位；1957年，当选为中国科学院学部委员（院士）；1991年，当选第三世界科学院院士；陈嘉庚科学奖获得者，2001年2月，获2000年度国家最高科学技术奖。吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。本书主要集结有关吴文俊院士研究业绩相关的研究论文和讲话稿等整理而成。