院士
張景中 / 中國科學院院士
1936年生,河南汝南人。主要從事機器證明、教育數(shù)學等領(lǐng)域的研究。1959年畢業(yè)于北京大學數(shù)學力學系。曾任成都計算所名譽所長?,F(xiàn)為中科信息公司自動推理、機器證明領(lǐng)域的領(lǐng)軍人物。1995年當選中國科學院院士。
張景中提出和實現(xiàn)了定理機器證明的數(shù)值并行方法,把多年來在教育數(shù)學研究中所發(fā)展的幾何新方法用于機器證明,并提出消點思想。創(chuàng)建了幾何定理可讀證明自動生成的原理和方法,用這個方法可在普通計算機上快速地進行幾何證明,計算和發(fā)現(xiàn)新定理,并給出易于理解的有幾何意義的證明。發(fā)展了非線性振動技術(shù)。發(fā)展了幾何算法的研究,解決了初等圖形在歐氏空間嵌入等問題。開拓教育數(shù)學的研究,提出以面積為中心的幾何教材新體系新方法、極限概念的非ε語言和連續(xù)歸納法,將自動推理的成果和方法用于智能計算機輔助教學,主持開發(fā)了新型智能理科教育軟件。
1982年獲國家技術(shù)發(fā)明二等獎,1995年獲中科院自然科學一等獎和中國圖書獎,1997年獲國家自然科學二等獎,2003年獲全國科普創(chuàng)作一等獎、五個一工程獎和國家圖書獎,2005年和2009年兩獲國家科技進步二等獎。