325日下午,著名计算机科学家、数学家、数学教育家,中国科学院张景中院士光临树德中学科学讲堂,为师生们带来题为“学习与思考”的专题报告。

张院士以古老的“飞矢不动”、“白马非马”命题作为报告的开端,带领同学们与他一起进行了数学学习的思考。然后,他以自己的科研经历为例,讲到数学学习中持续思考、举一反三的重要性。张院士讲到,他在1977年的一道高考题的简洁解法中得到启示,经过长达十八年的持续思考,从共边定理举一反三,成功运用面积解法证明了pappus定理等三十余个命题。在此基础上提出了面积解题方法,并用之于机器证明的研究,使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。进一步创立计算机生成几何定理可读证明的原理和算法,这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。

张景中院士的整场报告,全程掌声不断,带给同学们一场“头脑风暴”,让大家感受到数学之美、数学之趣,并深刻感知到学习中持续思考、执着精神的重要性。