如何评价吴文俊的一生

如何评价吴文俊的一生

吴文俊是中国最具国际影响的数学家之一，他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域，对数学与计算机科学研究影响深远，其自动推理工作在国际自动推理界有着很重要的影响，也是中国首届国家最高科技奖获得者。2017 年 5 月 7 日 7 时 21 分，他在北京与世长辞，享年 98 岁。逝世消息是由中国科学院数学与系统科学研究院对外发布。