10 月 18 日,在成都分院、中国科学院学部工作局成都联络处的支持下,由中科信息公司建设的张景中院士科学人生专题展厅正式开展。
展厅以“数理为炬 初心如磐”为主题,系统梳理张景中院士在人工智能与自动推理、中小学数学课程改革、科学科普方面取得的突出成就,回顾他与祖国同频共进的成长经历,展现其深耕数理、化繁为简的科研实践,以及矢志不渝、乐观豁达的科学家精神。
张景中院士是我国人工智能与自动推理领域德高望重的科学家。他少年历经战乱,辗转求学,考入素有 “黄金一代” 之称的北京大学数学力学系。求学岁月虽历经波折,他始终保持对数学的执着热爱。1978 年起,他先后任职于中国科学技术大学、中国科学院成都分院、中国科学院成都计算机应用研究所(中科信息前身),1995 年当选中国科学院院士。张景中院士与杨路研究员合作提出的 “张杨定理”,是国际自动推理与人工智能研究领域的里程碑式成果,传为学界佳话。一生历经磨难,他从未止步科研攻关,在勇攀学术高峰的同时心系基础教育,恪守 “把数学变容易” 的初心,以勇毅品格、创新精神与责任担当,诠释了我国老一辈科技工作者浓浓的家国情怀。
