科技日报实习记者 王烁

我在抗日战争时期度过了童年。民族的苦难与家庭的颠沛流离在幼小的心灵中播下爱国的种子。谁能领导中国，使中华民族走上富强振兴之路？这是自己一直希望寻求答案的问题……知道了只有共产党才能救中国的道理，自己下决心跟共产党走。

——摘自张景中1986年11月《入党志愿书》

视频加载中...

视频来源：科技日报，制作：李忠明、赵卫华、何沛苁、马延梅、齐伟

1954年

张景中来到北京大学数学力学系

他深知

“要想做出贡献

需要特别的努力”

虽然清楚纯数学专业的困难

未名湖畔

他依然立下

做个数学家的志愿

张景中院士肖像

20世纪80年代

计算机研究突飞猛进

1985年

张景中开始从事

定理机器证明研究

这个计算机科学与数学

交叉产生的研究领域

以实现某些高级脑力劳动进一步机械化

解放人的脑力为目标

他与合作者发展了

几何新方法

给出世界上第一个

能自动产生

几何定理的可读证明的

算法和程序

人工智能领域进展缓慢的重要问题

有了突破性进展

他撰写的

《几何中的机器证明》

“是计算机处理几何问题道路上的里程碑”

2012年，张景中院士寄语小朋友

他让科研与科普相辅相成

创建教育数学流派

《数学王子》

《数学家的眼光》

《少年数学实验》

从动画到读本

他的创作

让抽象的数学鲜活起来

“愧无涓埃报华夏

剩有精诚攀昆仑”

他是我国著名数学家

数学教育家

中国科学院院士

张景中

1986年加入中国共产党

参考文献：

1. 罗炎明、梁铭锵：《涓埃报华夏，精诚攀昆仑——记著名科学家张景中》

2. 彭翕成：《科研科普两相成，创作教学齐攀峰——张景中的科普人生》

3. 尹传红：《数学家的眼光——访张景中》

编辑：黄磊

审核：王小龙