张景中
来源:本站原创 日期:2025-07-07
张景中(1936年12月— ),河南汝南人,数学家和计算机科学家,数学科普作家和教育家,中国科学院院士。1958年肄业于北京大学数学力学系(1979年获补发毕业证);1979年调入中国科学技术大学任教;1985年调入中国科学院成都分院数理科学研究室,历任研究室主任、副所长,现任广州大学计算机教育软件研究所所长、中国科学院成都计算机应用研究所名誉所长、研究员等职务。长期致力于动力系统、距离几何和定理机器证明的研究以及数学科普创作、数学教育改革。在动力系统方面,对费根鲍姆现象相关的函数方程获得了新解。在距离几何方面,证明了Sallee猜想,把Cayley-Menger方程推广到更一般的情况,解决并推广了埃尔德什的“串糖葫芦问题”。在定理机器证明领域,改进和发展了“吴方法”;创立了几何定理可读证明自动生成的新思想和新算法“消点法”,给出了世界上第一个能够自动产生几何定理可读证明的算法程序,开创了用计算机通用程序成批发现非平凡新定理的先例,推动了机器证明研究从以判定为主的阶段进入机器产生的证明与人的手工证明竞相媲美的阶段。此外,致力于数学教育改革,是“教育数学”思想的创立者和数学教育改革试验的领航人。荣获国家技术发明奖二等奖、国家自然科学奖二等奖、国家科学技术进步奖二等奖等奖项。