古为今用的典范吴文俊教授的中国数学史研究李文林.pdfVIP

15 2 V ol.15 N o.2 200 1 6 JO U RN A L O F BEIJING INS T IT UT E O F ED U CA T IO N Jun.200 1 ———吴文俊教授的中国数学史研究 李文林 (中国科学院　数学所, 北京　100080) :O 119 　:A 　:1008-228X (200 1)02-0001-05 吴文俊, 中国现代数学家。1919 年5 月 12 日生于上海。 1940 年毕业于上海交通大学 数学系。1949 年在法国斯特拉斯堡大学 法国国家科学博士学位。 1957 年当选中国科学院 学部委员 (后改称中国科学院院士), 1983 年任中国科学院系统科学研究所名誉所长, 1984 年当选中国数学会理事长, 1990 年创建数学机械化研究中心并任主任, 199 1 年当选第三世 界科学院院士。他的研究工作涉及拓扑学、 数学史、 数学机械化等众多学术领域。 1956 年因在拓扑学中的示性类与示嵌类方面的卓越成就 中国自然科学奖一等奖, 1980 年 中国科学院自然科学一等奖, 1990 年 第三世界科学院数学奖, 1993 年 “陈嘉 庚数理科学奖”, 1994 年 “求是杰出科学家奖”, 1997 年因其在数学机械化研究方面的贡 献 Herbrand 自动推理杰出成就奖。 2000 年荣 首届国家最高科学技术奖。吴文俊先生之所以在数学机械化研究方面取得 显著的学术成果, 与其对中国古代数学的批判继承和创造性发展是分不开的。 本文仅就吴 先生在数学史研究方面以及数学机械化工作作一介绍。 1975 , “” , , 《》 “” :《》, , , 。“”, “” 、 。, , , 80 。, “” , , , , ———, 。 。 (一)中国数学史研究的新阶段 , , 。, 。 , , 。 。 19 、 20 , (M .Canto r, D.E.Smith, F.Ca ori ), , , 17 。, :2001-06-18 : (1942—　), , , , 。 ·1 · 19 13 ——— 《》, 。。 , , (、 )? , 。 30 , 、 (J.N eedham ), , , , 1959 《》 3 , , , , “250 1250 , ” 。。 , “” , , , 1972 (《》), :“ , 、 , ”。, , 。70 , , , 。 , :, , “, , , ” (《》, 1985 )。, 1975 , : , , , , () 。, :“Kepler 。 , , 。” , (、 ) (、 、 Cavalieli “” “” )。, “”, 。 。70 , , 、 。 , , , ————————— , , 。 “” : (ⅰ) (ⅱ) (ⅲ) “” “” , , 。, ·2 · : :, 。 《》 、 《》 , 。, [ 1] , , ———, 。 “”, “”, 《》 (、 ), “” , 。, , 80 , 、 :“, , , , 。” , 、 , , 80 。 :《 〈〉》 (1982)、 《