您现在所在的位置是: 主页 > 关于我们 > 组织架构 > 荣誉主席 >
荣誉主席
张景中院士
2017-04-18 11:37点击:来源: 未知

       张景中,院士,男,1936年12月出生,河南汝南人,教授,博士生导师,1995年当选中国科学院院士,1997年当选为中共十五大代表,是全国优秀教师、“全国五一劳动奖章”获得者、广州市第六批优秀专家,1991年起享受国务院政府特殊津贴。现任广州大学计算机教育软件研究所名誉所长,兼任中国科普作家协会理事长、中国教育数学学会理事长。1959毕业于在北京大学数学力学系。
张景中院士长期致力于计算机科学和数学的研究,在机器证明、教育数学、距离几何及动力系统等研究领域做出了突出的贡献。
      提出了定理机器证明的一系列新算法,包括通过用检验有限个实例证明一般数学公式的“数值并行法”、判定代数系统相关性的“一结式法”、求解代数方程组的“WR分解算法”、定理证明的“弱非退化条件”算法等等。这些工作在很大程度上推进了起源于我国科学家吴文俊1970年代开始发展的几何定理机器证明的代数方法—“吴方法”的研究,达到本方向的国际领先水平。例如对于数值并行法的评价方面,国际《理论计算机科学》杂志审稿意见认为:“这是一项杰作,并是重大创新”;美国《数学理评论》“人工智能”专栏评论说:“该法创造性地提出了用有限次数学实验来证明数学定理的新原理和新算法,原则和方法极为新颖,国内外学者十分推崇。”
      创建了几何定理可读证明自动生成的理论和算法,提出消点思想,把定理证明归结为几何不变量(长度、面积)的消去,并由此方法研制了世界上第一个能够自动产生几何定理可读证明的软件,这个软件能够在微机上快速地进行几何定理证明、计算和发明新的定理,给出的推理演算或证明过程有几何意义,易于理解,可以和人类手工证明相比美。这一成果使国外科学家经多年努力而进展甚微的难题获得重大突破。美国机器证明新成就奖及麦卡西程序检验奖获得者R.Boyer评价:“这一成果是自动推理领域三十年来最重要的进展……,是计算机处理几何问题道路上的里程碑”。可读证明自动生成方法也已在非欧几何定理的证明问题上得到实现。
      这两方面的工作使得张景中获得1995年中国科学院自然科学一等奖及1997年国家自然科学二等奖。
      在数学研究工作中取得了国内外同行公认的成就,在众多迥然不同的领域中,提出了独到的见解和解决问题的方法,特别是在动力系统的周期轨、迭代根、同胚嵌入流、Smale马蹄构造、Feigenbaum方程求解等该领域前沿问题的研究中,提出了新的思想方法,在距离几何的研究中,提出了“度量方程”,解决了伪欧空间等距嵌入、Sale猜想等一些属于该领域长期未解决的难题,他和杨路同志合作完成的这些工作和发表和论文,实际上已经开辟了一个很活跃的研究领域,仅距离几何文章的引用,至今每年约在数十次。美国代数几何领域专家D.Pedoe在一个专栏评论中说:杨路、张景中,堪称中国几何领域的alpha和omega.
      “教育数学”是张景中院士根据Euclid的《几何原本》、Cauchy的《分析教程》、Bourbaki的《数学原理》等大师的著名范例,创造性地提出并积极倡导的一个全新的学科。这门学科的任务是:基于数学教育的需要,根据教育数学的规律,对数学研究成果及数学教材进行数学上的再创造式的整理,提供教学法加工的材料。它是介于教育学与数学之间的以数学为主体的新兴的、交叉学科。在张景中院士以及各方的大力努力下中国教育数学学会于2004年5月成立,在成立大会上张景中被推选为学会理事长。
       近年来,张景中院士发表学术论文、论著共一百多篇(部)及大量的科普文章和通俗读物。著作《教育数学丛书》1995年获“第九届中国图书奖”和“第一届全国数学教育图书一等奖”;《数学家的眼光》1996年获第三届全国优秀科普作品二等奖、2002年获广州市首届优秀科普作品一等奖、2005年获国家科学技术进步二等奖;《院士数学讲座》于2003年获第五届全国优秀科普作品奖科普图书类一等奖和第六届国家图书奖;《帮你学数学》获2003年“五个一工程奖”。成果《安全、节能、低燥声的木工电磁振动刨床和木材的电磁振动刨削工艺》1982年获国家发明二等奖;《几何定理机器证明理论与算法新进展》1995年获“中科院自然科学奖一等奖”、1997年获“国家自然科学奖二等奖”;《智能教育软件平台》2000年获香港国际发明展览会金奖。任第一、三、四届“华杯赛”主试委员会委员;第六至十三届“华杯赛”主试委员会顾问。

最新活动