学会动态丨中国人工智能学会举办吴文俊院士追思会

正文

请到「今天看啥」查看全文

余有成

余有成首先在追思会上发言。他说，跟吴文俊院士相识近十年，吴院士的逝世实在太突然，他沉痛的表示，为传承和牢记吴先生遗志，吴文俊人工智能科学技术奖办公室下一步将实施三项工作：一是建立“吴文俊人工智能科学技术奖公益（创投）基金”，激励更多人工智能创新人才不断涌现；二是做好“传承创新—吴文俊人工智能科学技术奖推荐申报宣讲会”，使得吴文俊学术创新思想薪火流传；三是组织编撰《大师足迹：吴文俊人工智能科学技术奖获奖人物启示录》，向各界表达吴文俊院士的学术成就对人工智能时代的深刻影响。

李宏波

李宏波深有感触追思起跟吴文俊先生在中科院数学机械化中心工作研究时的点点滴滴，恍如昨日重现。他说，20世纪70年代后期，吴文俊院士开创了崭新的数学机械化领域，他提出的用计算机证明几何定理的“吴方法”被认为是自动推理领域的先驱性工作。这项开创性的工作，源自吴文俊院士对中国古代数学的发掘和深刻理解。吴文俊院士用算法的观点对中国古算作了正本清源的分析，指出中国古代数学不同于西方传统数学逻辑演绎之处在于它是构造性的、算法性的，因而是适合数学机械化的。在极为低调的一生中，吴文俊院士不仅在布尔巴基学派复兴法国拓扑学的历史进程中发挥了极为重要的作用，而且开拓了崭新的数学机械化领域，建立了国际符号计算领域最权威的研究中心之一的数学机械化研究中心。李 宏 波还回顾吴文俊极为谦逊和爱惜人才的一面。例如自学生时代开始，每次李洪波与吴文俊约好到先生家里见面谈话，先生从来都是在三楼扶手处等待，在二楼楼梯拐弯后一抬头，肯定首先看到的是先生永远如沐春风般的亲切笑容；而当谈话完毕与先生告别后，先生与师母从来都送到三楼楼梯口，看着李 宏 波的背影完全消失不见才回到家里。李 宏 波回忆说，每次自己直到出楼之前，都没有听到过吴先生关门声，自己几次在二楼回过身来偷偷回望一眼，吴先生和师母总是还站在三楼楼梯口目送自己离去，脸上和蔼的笑容让人心醉。在他身上，永远都有我们晚辈们学习不完的学术思想和创新精神，永远都有科学家和知识分子宝贵的优良品质和精神源泉。吴先生值得我们世代相惜、永远纪念。

请到「今天看啥」查看全文