【广东科技报】张景中：和数为“伴”探寻数学之美3).docVIP

【广东科技报】张景中：与数为“伴” 探寻数学之美 发稿时间：2011-06-29 09:59:40??浏览次数：1439 张景中?? 计算机科学家、数学家和数学教育学家，中国科学院院士。1959年毕业于北京大学数学力学系，1979年后在中国科技大学数学系任职，1986年到中国科学院成都计算机应用研究所工作，1995年调入广州大学（原广州师范学院）工作，曾任中国科技大学副教授、中国科学院成都计算机应用研究所研究员，副所长，广州大学计算机教育软件研究所所长等，现任广州大学教授，计算机教育软件研究所名誉所长，中国科学院成都计算机应用研究所名誉所长等。长期致力于计算机科学和数学的研究，在机器证明、教育数学、距离几何及动力系统等研究领域做出了突出的贡献；创立计算机生成几何定理可读证明的原理和算法，该项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。曾获国家发明二等奖、中科院自然科学奖一等奖、中国图书奖等多个奖项。1991年起享受国务院特殊津贴，1995年当选为中国科学院院士。 ? ????一生与数学“相伴”，是张景中院士的一个写照。从当初来到未名湖畔，在北大数学专业求学，与数学结下不解之缘；到文革时期坚持研究，把破解难题作为自己的目标与动力；再到走上大学讲坛，开启教育数学领域，诲人不倦，他都是潜心于数学的一个个数字，一个个符号，一个个公式，一个个图形中，去探寻、发现数学之美。 ? ??? 聚于“未名湖”，迷上数学研究 ? ?????张景中出生在河南省汝南县的一个教师家庭，从小就受到了良好的教育。1954年夏天，他以优异的成绩，获得了北京大学数学力学系数学专业的录取通知书。同年9月，他从河南的一个县城汝南，来到了未名湖畔，开始了他长达半个多世纪在数学领域孜孜不倦的追求。 ? ?????当时的北大数学力学系拥有程民德、江泽涵、周培源等名师，很重视基础课程。同时，各门课程也安排得很合理，学生有充分时间阅读、思考和讨论。张景中回忆了这么一段经历：那时《数学学报》发表了一个有误的例子，试图补救。他想出了补救的方法，并与同学杨路一起给出了论证。北大数学力学系讲授微积分的程民德教授对学生的研究很是赞赏，特意安排了一次学生科学报告会，让他们讲解这个例子。这个例子后来发表在武汉《数学通讯》杂志上，也成为他和杨路多年在数学领域合作研究的一个开始。 ? ?????好景不长，一场政治运动迎面降临。1957年，张景中被划为右派，随后被开除学籍，到农场劳动。同窗好友杨路也遭受了同样的待遇。张景中白天的劳动紧张而又沉重，晚上还要开会。但无论多忙，随身总是带几本书，那时，他最常翻看的就是《数论基础》。在此期间，他与杨路常常通信，交流对数学问题的思考，异地联袂攻关，攻克了“逐段单调连续函数迭代根存在性”这一数学难题，成果在《数学学报》发表后，引起国内数学界的关注和后续研究。他们探索的几何算法在国际上引起了强烈反响，被国内外学术期刊和国际会议文集引用近400篇次，其中被《科学引文索引》收录了100多篇次。 ? ??? 走上大学讲坛，迎来事业的“春天” ? ?????文革十年，对于张景中来说是一个多灾多难的时期。1966年8月，他随集体被调往新疆生产建设兵团，并成为了那里组成的一个工程支队中的一员，任务是修一条从库尔勒到若羌的公路，全长四百公里。那时，每天的工作是挖土、抬土、浇灌水泥、制砖、建桥铺路，劳动之外，除了吃饭、睡觉，就是开会和读“红宝书”；因为是“五类分子”，星期天还要加班劳动，打扫厕所、砍柴，他再也没时间看数学了。直到1974年4月，张景中到了位于库尔勒地区焉耆县新疆生产建设兵团21团子女中学担任老师，为初二年级学生讲平面几何，这才又再度接触数学。 ? ????1978年，张景中迎来了数学研究的春天。中国科技大学的领导寻访到他的下落，邀请他和杨路参加学术交流。这两位历尽磨难的挚友，20年来第一次在大学校园里相会。12月，张景中进入中国科技大学任教，为数学系、少年班讲授微积分。在中科大工作的6年中，为了克服微积分学入门的难点，张景中提出了非ε语言的极限定义方法，以及连续归纳法。 ? ?????20世纪80年代，张景中和杨路同时被调到中科院成都数理科学研究室，同时被聘为中科院研究员，分别任研究室正、副主任。他的学术研究逐渐转入机器证明的新领域。20世纪90年代，他在美国维奇塔大学进行合作研究，出版以消点法为主题的英文专著《几何中的机器证明》，收集近500条由计算机自动生成可读证明的几何定理。这项工作得到自动推理领域一些著名科学家的好评，被称为“是计算机发展处理几何问题能力之路上的里程碑”，被美国科学基金委员会组织的专业学术讨论会肯定为“近年来自动推理的几个重要进展之一”。不久，基于杨路的想法，张景中等人又把消点法用于非欧几何，在计算机上生