缅怀吴文俊院士，回顾数学大师不断创新的一生

文章预览

机器之心整理报道 参与：微胖、吴欣 吴文俊是中国最具国际影响的数学家之一，他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域，对数学与计算机科学研究影响深远，其自动推理工作在国际自动推理界有着很重要的影响，也是中国首届国家最高科技奖获得者。2017 年 5 月 7 日 7 时 21 分，他在北京与世长辞，享年 98 岁。逝世消息是由中国科学院数学与系统科学研究院对外发布。 与数学结缘 吴文俊 1919 年出生于上海，少年时因弟弟夭折，所以父母对他这个独子，格外地照顾，连他到弄堂里玩，都放心不下，所以吴文俊从小养成了静处家中、好学深思的习惯。1940 年本科毕业于上海交通大学。吴文俊与数学产生连结，并不是以最 ………………………………