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

———吴文俊教授的中国数学史研究李文林(中国科学院　数学所,北京　100080):O119　:A　:1008-228X(2001)02-0001-05吴文俊,中国现代数学家。1919年5月12日生于上海。1940年毕业于上海交通大学数学系。1949年在法国斯特拉斯堡大学获法国国家科学博士学位。1957年当选中国科学院学部委员(后改称中国科学院院士),1983年任中国科学院系统科学研究所名誉所长,1984年当选中国数学会理事长,1990年创建数学机械化研究中心并任主任,1991年当选第三世界科学院院士。他的研究工作涉及拓扑学、数学史、数学机械化等众多学术领域。1956年因在拓扑学中的示性类与示嵌类方面的卓越成就获中国自然科学奖一等奖,1980年获中国科学院自然科学一等奖,1990年获第三世界科学院数学奖,1993年获“陈嘉庚数理科学奖”,1994年获“求是杰出科学家奖”,1997年因其在数学机械化研究方面的贡献获Herbrand自动推理杰出成就奖。2000年荣获首届国家最高科学技术奖。吴文俊先生之所以在数学机械化研究方面取得显著的学术成果,与其对中国古代数学的批判继承和创造性发展是分不开的。本文仅就吴先生在数学史研究方面以及数学机械化工作作一介绍。1975,“”,,《》“”:《》,,,。“”,“”、。,,,80。,“”,,,,———,。。(一)中国数学史研究的新阶段,,。,。,,。。19、20,(M.Cantor,D.E.Smith,F.Cajori),,,17。,·1·:2001-06-18:(1942—　),,,,。15220016JOURNALOFBEIJINGINSTITUTEOFEDUCATIONVol.15No.2Jun.20011913———《》,。。,,(、)?,。30,、(J.Needham),,,,1959《》3,,,,“2501250,”。。,“”,,,1972(《》),:“,、,”。,,。70,,,。,:,,“,,,”(《》,1985)。,1975,:,,,,()。,:“Kepler。,,。”,(、)(、、Cavalieli“”“”)。,“”,。。70,,、。,,,—————————,,。“”:(ⅰ)(ⅱ)(ⅲ)“”“”,,。,·2·:,。《》、《》,。,[1],,———,。“”,“”,《》(、),“”,。,,80,、:“,,,,。”,、,,80。:《〈〉》(1982)、《〈〉》(1987)、《〈〉》(1990)、《》()、()、()、()(1985-1996),《》。,、、,。、,,“,,”,。(二)数学史研究的科学方法,。、,,。,。:“,,。”,,,::。:、。,———,。《》1:=(+)/+,,、,,,。,《》=(+)/+,《》“”,,《》“”,“”。·3·:,、《》[3]。《》s2=14[c2a2-(a2+c2-b22)2](s,a,b,c),s=(a+b+c)(b+c-a)(c+a-b)(a+b-c),,,,。,,。《》,《》[4],,。,,,。,,,。(三)古为今用的典范,,,“”。,:“,,,,,,,、,,,。”,,。。,1976,。,———、,,,,19761977。,:(1)。。《》:“,,。,,,”。(2)。,《》(,,),。(3)《》。,,。,。,《》,,。:,。:,,(),·4·。,。。,,。。。,“”。“”,《》。:,。,。,《》,。,18E.(1730-1783),,,“”,,“”。:“,,,。,,,,,。”[5],,,“”。。,,,。,,,,,,。,,,。、,,。:[1].,[A].(8)[C].:,1982.[2].《》[A].[C].:,1986.[3].《》[A].[C].:,1982.[4].[A].[C].:,1978.[5]J.C.Martzloff.—,.(　金　钊)·5·: