创中国方法,为世界算数——吴文俊

吴文俊,男,汉族,中共党员,1919年5月生,2017年5月去世,上海市人,中国科学院数学与系统科学研究院研究员,中国科学院院士。第五、六、七、八届全国政协委员。他对数学的核心领域拓扑学作出重大贡献,开创了数学机械化新领域,对国际数学与人工智能研究影响深远。他用算法的观点对中国古算作了分析,同时提出用计算机自动证明几何定理的有效方法,在国际上被称为“吴方法”。荣获国家最高科学技术奖。