数学思想简论研究论文

导语：数学思想简论研究论文一文来源于网友上传，不代表本站观点，若需要原创文章可咨询客服老师，欢迎参考。

摘要：探索和追求精益求精的计算方法和技巧，讲究明确的思想依据，着力于灵活和广泛的应用，是“算经十书”的数学思想精粹。其发展主线是沿着探索、完善和提高“推步”前进的。它把擅长计算的推算和证明的推类结合起来，形成独特的传统风格和手段。

关键词：算经十书，传统数学思想，新理解

Abstract:Exploringandstrivingfortheconstantlyimprovingmethodsandtechniquesofcalculation,stressingtheexplicitthinkingbasis,andconcentratingonitsflexibleandwideapplicationisthepithofthemathematicideasofSuanjingshishu,thethreadofwhichisadvancingalongtheexploration,improvementanddevelopmentoftuibu(thescienceofcalculatingtheastronomiccalendar).Itcombinescalculationwithanalogy,andthus,formsitsuniquetraditionalstyleandmethod.

KeyWords:SuanJingShiShu,TraditionalMathematicalThinking,newunderstanding

在世界科学史中，中国传统数学是一颗灿烂的明珠。在中国传统数学中，“算经十书”是典型的代表。所谓“算经十书”，指的是中国十部古算书：《周髀算经》、《九章算术》、《孙子算经》、《五曹算经》、《夏侯阳算经》、《张丘建算经》、《海岛算经》、《五经算术》、《缀术》（元丰年间已失传，后来以《数术记遗》代之）、《缉古算经》。唐代时期，国子监内设算学馆，置有博士、助教，指导学生学习数学，规定这十部书为课本。许多人为这十部算书作注释，作增补删改，历代华夏子孙学习它，研究它，中国数学也因它而形成自身的传统并将此传统继承和发扬。“算经十书”就其内容来说，属于初等数学；就其数学思想和数学方法来说，则是十分高深的。下面，我们阐述其数学思想。

1.探索和追求精益求精的计算方法和技巧

就数学内容而言，“算经十书”以善于计算而见长，并且这一长足的发展还被推进到让世界其他各国都望尘莫及的地步，这已是中外中算史家的共识。“算经十书”能如此辉煌耀目，是跟它着力探索和追求精益求精的计算方法和技巧分不开的。

“算经十书”中最早的一种《周髀算经》，其第一章叙述了西周开国时期（约公元前1100年）周公与商高的一段问答。从这段问答中，我们可以见到我国早期数学思想的一些初步端倪。当周公问商高“夫天不可阶而升，地不可得尺寸而度。请问数安从出？”时，商高答道：“数之法出于圆方，圆出于方，方出于矩。矩出于九九八十一。”接着，商高还说：“故折矩以为句广三，股脩四，径隅五。既方其外，半之一矩，环而共盘，得三、四、五。两矩共长二十有五,是谓积矩。故禹之所以治天下者，此数之所由生也。”这里，我们可以清新地见到，我们祖先在早期“定天下”、“治天下”时，已经看到了数学的重要性（如大禹、周公）；而掌握到一些数学知识的人（如高商），是注意数学思想和数学方法的。比如，我们从上述商高答问中，就可以看到，古人理解“数之所由生”，是将形与量结合起来考察的。圆和方都是形，而形是有数量关系的，从考察形可以探讨到“数之法”，但这形中又包含着丰富的数量关系，特别是平方关系（九九八十一）。数之法是从圆形和方形开始的。圆是内接正多边形经过无数次的倍边之后所得到的正多边形的极限（我国最早的极限思想，是不是来自于这种“圆出于方”的观念，希望读者引起注意）。矩是木匠用的曲尺，形如L，方中的直角，非矩不能作，所以说方出于矩。矩形的面积又不外于二数相乘，也就是说，要算出来。我国古代算法好凭口诀，而乘法口诀是从“九九八十一”起的，古人用“九九”作为乘法口诀的简称，故有“矩出于九九八十一”。这里所包含的用数的性质来研究形的性质的思想，与古希腊的数学思想旨趣相映。古希腊的毕达哥拉斯定理：a2+b2=c2。而当a=b=1时，则

c=，这既不是自然数，也不是自然数之比，所以不能是可接受的正常的数，被称为无理数，导致了第一次数学危机，从此古希腊数学发展的方向产生了大改变，“几何化”占了主导地位。[1]商高提出了著名的“句三股四弦五”这个勾股定理（也称勾股弦定理、商高定理），是从“折矩”而来然后得“积矩”的，3，4，5及其平方的关系可以体现出勾股定理，但中国并没有由此而产生数学危机，也没有发生发展方向的大改变，反而为“几何代数化”[2]这个中国传统数学发展主导方向奠定了很好的基础。中国早期讲究以算的方法去解决实际数学问题，是“数之所由生”的重要思想。

在古代，不管是西方国家或中国，数学的发展都跟勾股定理结下不解之缘，这不是偶然的历史巧合，而是不同渊源和发展脉络的科学认识的一种必然交汇，其原因是由人们的实践活动决定的。作为人类早期的数学研究活动，很自然地会碰到考察形的性质及数量关系，直角三角形成为关注的对象是在情理之中。正如赵爽所说的，早期先人们（如大禹）能掌握有关的数学知识是“乃勾股之所由生也”。但不同民族的不同思维方式会导致数学发展的不同朝向，至少在初等数学领域内是存在的。古希腊在数、形简单和谐的观念被打破之后发生大转向，从重算发展到重证，发展到重视几何证明，往后的趋势就是有了这种发展趋势和成果的集大成标志——欧氏几何的产生，它是西方国家初等数学体系确立的标志，而中国此时并不发生方向的大改变，而是沿着算的道路继续前进，往广度和深度上延伸发展，导致的是中国传统数学体系的形成——《九章算术》的出现。《九章算术》中有许多具有世界意义的成就，如负数计算、分数计算、联立一次方程解法等，正是沿着探索计算的方法和技巧前进的结果。可贵的是，我们的祖先在此数学思想的指导之下，并不以原有的结果为满足，没有停留在原有的水平上裹足不进，而是精益求精地深入下去。如《九章算术》246道题，有解题方法202“术”，在当时有如此辉煌成绩已难能可贵，但三国魏晋时期的刘徽，就在《九章算术》的基础上，仔细作注，不但为《九章》提供了系统的理论依据，而且大力向前推进，提出了许多创见，将探讨和讲究精益求精的计算方法和技巧这种数学思想，提到一个更高的水平，并对后世的发展带来了深刻的实际影响，如他发现的割圆术，为后来祖冲之求得更精确的π值奠定了基础，唐李淳风注《九章算术》时说：“刘徽特以为疏，遂乃改张其率，但周径相乘数难契合。祖冲之以其不精，就中更推其数。”刘徽本人告诫人们他所得到的“徽率”太小，后人也正是沿着刘徽的思想方法再继续前进，将π值愈推愈精确。在求积问题上，刘徽也有突破，他提出了推求球体积的著名的“牟合方盖”理论，之后，祖暅在刘徽研究的基础上，精益求精，得到了闻名于世的“祖暅定理”，并具体求出了“牟合方盖”。这长江后浪推前浪，一浪更比一浪高的中国高超的算法技巧，正是在一条清晰的传统思维途径――探索和讲求精益求精的计算方法和技巧中进行和取得成就的。如《张丘建算经》自序中这样写道：“其夏侯阳之方仓，孙子之荡杯，此等之术皆未得其妙。故更造新术推尽其理。”在探索精益求精的算法道路上更上一层楼，就是《张丘建算经》的数学指导思想，正是在此思想的指导之下，出现了举世闻名的“百鸡问题”。

2．讲究明确的思想依据

数学思想研究的是数学产生和发展的思想方法和思想依据。“算经十书”不仅在数学知识上光彩耀目，在数学思想上也独树一帜，其显著的特点是对于作为每项有意义的数学成果，都讲究其明确的思想依据。

刘徽精细地注释了《九章算术》，从而确立了中国传统数学理论体系。刘徽的数学思想和方法，对后世影响极深。如王孝通在《上缉古算经表》中云：“徽思极毫芒，触类增长。”说刘徽的思想方法是“一时独步”。而刘徽对自己所接触和研究的数学，是十分讲究明确的思想依据的。“算经十书”中有二部与他密切相关。《九章算术》由于有了刘徽注，从此中国传统数学有了自己的理论体系；他在注《九章算术》时补撰“重差”，其单行本即《海岛算经》。刘徽注《九章算术》时，十分讲究数理之道要有明确的思想依据。在《九章算术》注原序中，刘徽说：“徽幼习《九章》，长再详览。观阴阳之割裂，总算术之根源，探赜之暇，遂悟其意。是以敢竭顽鲁，采其所见，为之作注。事类相推，各有攸归，故枝条虽分而同本干者，知发其一端而已。又所析理以辞，解体用图，庶亦约而能周，通而不黩，览之者思过半矣。”在“圆田术”注中，刘徽写道：“不有明据，辩之斯难”，于是，他在创造“割圆术”的同时，还告诉人们此种创造是有依据的：“谨接图验，更造密率。恐空设法，数昧而难譬。故置诸检括，谨详其记注焉。”在“开立圆”（由球的体积以开立方的方法求其直径）注中，刘徽创立了“牟合方盖”理论，他不仅介绍了有关方法，而且还言明思想依据，“互相通补，……观立方之内，盒盖之外，虽衰杀有渐，而多少不掩。判合总结，方圆相缠，浓纤诡互，不可等正。”但他又担心依据不足，惟恐理法相违，专门作了交待，以待后人获得更严密的依据：“欲陋形措意，惧失正理。敢不阙疑，以俟能言者”。从中我们不仅见到先哲们对探讨数理的思想依据的重视，也深深领悟到他们治学严谨的高尚风范。在谈到将割圆术作为解决有关极限问题的工具时，刘徽也阐述了其思想依据：“数而求穷之者，谓以情推，不用算筹”（“阳马术”注）。意思是说，数学中凡解决有关无穷之类问题时，不必用算筹去计算，应当用数学思想去把握。再拿《海岛算经》来说，刘徽为什么要写《海岛算经》呢？其思想依据是什么?在《九章算术》刘徽注原序中，刘徽清楚的说明“苍等为术犹未足以博尽群数也”，于是“辄造重差，并为注解，以究古人之意，缀于句股之下”，“以阐世术之美”。而造“重差”此术的思路是：要测量不可到达目的物的高和远时，一次测望不够，于是采用二次测望、三次测望、四次测望，即“度高者重表，测深者累矩”（“重表”或“累矩”就是用表或矩测望两次）、“孤离者三望”、“离而又旁求者四望”。更为深刻的是，刘徽并不是勉强、被动地去考究数学知识之思想依据的，他认为数学思想与数学知识之间本身具有非常紧密的联系，他用庖丁解牛来阐述此层道理：“更有异术者，庖丁解牛，游刃理间，故能历久其刃如新。夫数犹刃也，易简用之则动中庖丁之理，故能和神爱刃，速而寡尤”（《九章算术》方程术注）。

自刘徽之后，“算经十书”的著者都较注意阐述算理要有明确的思想依据，如四库总目提要中称：《张丘建算经》之体例，皆设为问答，以参校而中明之，简奥古质，与近求不同，而条理精密，实能深究古人之意。正因为此书注意讲究数学的思想依据，因而对掌握数学知识的来龙去脉很有益处，“故唐代颁之算学，以为专业”。就是在我国近年的中学数学课本中，还列有《张丘建算经》的题目。

此外，“算经十书”中关于数学证明的部分，也讲究要有明确的思想依据。[3]

3.着力于灵活和广泛的应用

中国传统数学十分着力于灵活和广泛的应用。拿“算经十书”最早的一部《周髀算经》来说，东汉末至三国时代的吴国人赵爽曾对《周髀算经》逐段进行详细的注释。在赵爽注释中有这样写道：“禹治洪水，决流江河，望山川之形，定高下之势，除滔天之灾，释昏垫之厄，使东注于海而无侵逆，乃句股之所由生也。”又据《史记•夏本纪》记载，大禹治水时，“陆行乘车，水行乘舟，泥行乘撬，山行乘撵，左准绳，右规矩。”赵爽的注释和《史记》的记载（山东五梁祠画像石中有幅大禹治水图）都说明了我国早期注意从实践中提炼数学知识并将掌握的数学知识应用到实践中去。《周髀算经》中记载的“平矩以正绳，偃矩以望高，覆矩以测深，卧矩以知远。环矩以为圆，合矩以为方”都充分体现了将数学知识（包括数学器具）着力于在实践中应用的思想。我国是一个农业古国，田地面积的量法极需要数学为它提供手段，储囤粮食、建筑城墙、开沟挖渠等都需要有计算体积的方法，如求方田、广田、圭田……的面积，求城、……的体积，都十分需要有一定的数学工具为人们提供解决问题的手段。我国古代很早就推行按亩收税、两税法的赋税制度，兑换、分配的需要以及工商业的发展，促进和加强了将数学知识应用于实践。再从中国封建统治者来看，他们也极需要精确地计算田亩面积，合理安排赋税，来发展封建社会的经济，巩固封建王朝的统治。特别是天文历法，它对于历代统治者来说，都是至关重要的，似乎它就是封建王朝统治者兴衰的象征。封建统治者需要颁布历法，历法的制定又离不开数学。因此，在古代中国，不管是“民间”或“官方”，都要求数学研究与实践经验相结合。《周髀算经》旨在阐明宇宙结构学说“盖天说”；《九章算术》九个章都与实践紧密相关；《海岛算经》用以解决测量推算远处目的物的高、深、广、远问题；《孙子算经》所选的大部分都是解决实际情况的应用题；《夏侯阳算经》引用当时流传的乘除捷法，为的是要解决日常生活中的应用问题；《张丘建算经》上、中、下三卷，大部分都是涉及到解决测望、方圆幂积、商功、均输、方田等现实的实际问题；《五曹算经》分别叙述计算各种形状的田亩面积、军队给养、粟米互换、租税、仓储容积、户调的丝帛和物品交易，即所谓的田曹、兵曹、集曹、仓曹、金曹等五曹的应用问题；《五经算术》则是力图将古代经籍的注释中有关数字计算的知识与历法、乐律的研究结合起来，另有旨趣；《数术记遗》中载有运用数学知识解决实际问题的数学器械，如积算、太乙、两仪、三才、五行、八卦、九宫、运筹、了知、成数、把头、龟算、珠算、计数等。这些，非常雄辩、实在地体现了我国传统数学思想的鲜明特色。

中国传统数学十分着力于灵活和广泛的应用的显著特点是边讲究算法边探讨应用，把精益求精的算法和灵活广泛的应用紧密结合起来，从而推动数学的进一步发展。以王孝通的《缉古算经》为例。《缉古算经》（公元630年左右）是“算经十书”中最晚问世的一部，也是最难的一部。书中涉及到的问题相当复杂，20道题中除了第一题是关于历法的之外，其余各题都是关于土木工程、仓库容积以及勾股定理的应用问题，王孝通解决它，多数用到三次方程。《缉古算经》是世界上最早提出三次方程代数解法的书，具有世界意义。王孝通的工作，从一个方面体现了当时我国数学研究已达到了相当高深的水平。英国李约瑟说：“三次方程最早是在《缉古算经》中发现的，这部书问世的年代肯定是在公元625年前后。像往常那样，这些方程是从工程师、建筑师和测量人员的实际需要产生的”[4]著名的日本数学史家三上义夫也说过：“唐王孝通之《缉古算经》，使用三次方程式以解各种问题。……中国成立三次方程式，乃在阿拉伯之前；而由术文推得之方程式解法，亦与发达于阿拉伯者全不同也。”[5]王孝通研究三次方程所得到得成果，比阿拉伯人（10世纪之后）和意大利的斐波那契（13世纪）都早得多。《缉古算经》中最重要的部分是关于堤坝求积问题的，我们可以把王孝通的方法称为“堤积术”，“堤积术”是王孝通一生最得意的创作，此书送呈朝廷时，王孝通请求召集能算之人，考究其得失。“如有排其一字，臣欲谢以千金。”隋、唐时期，运河的开凿，桥梁的兴修，大规模的城市宫殿、寺院的建造，以及天文历法的改进，都出现了大量比较复杂的计算问题，时代的需要对于数学知识和计算技能提出了比过去更高的要求。而王孝通能创立解决这些问题的“堤积术”，正是他把探讨应用和讲求算法结合起来的结果。他潜心苦钻，结合当时土木工程中出现的大量实际问题，尽力探索有效的解决办法，他说：“伏寻《九章•商功篇》，有平地役功受袤之术。至于上宽下狭、前高后卑，正经之内阙而不论。致使今代之人不达深理，就平正之间同邪之用。斯乃圆孔方柄，如何可安？”解决土方计算等问题，《九章》商功章中早有述及，但他认为“旧经残驳，尚有缺漏”，商功章中虽有“平地役功受袤”之术，但对于上宽下狭、前高后低等各种情况，还应当探求新的方法给予正确解决，这才导致“堤积术”的诞生。王孝通是通过对当时土木工程中的数学进行了一番的研究和总结，才写出《缉古算经》。

4．对中国传统数学思想的新理解

一般说来，传统是指世代相传、具有特点的社会因素，如思想、道德、作风、艺术、风俗、制度等。而人们习惯于把古代的、民族的东西归为是传统的，或把传统看作是本民族古代产生和存在的东西。实际上，我们应当用发展的、辩证的眼光看待传统。某种东西既称为传统的，或称为具有传统性意义的东西，那么它就有延续之意。传统本身就是在一定的时间、空间中产生，由时间、空间积淀的，并且这空间是开放的，时间是延续下来的。对于之后的来说，之前的往往由于它们某些共同的属性整合在一起就构成传统，或使原有的传统采用旧方式或新方式再延伸开来。当然，也会有传统中断或传统消失。同时还应当看到，传统本身就是惰性，唯有弘扬和发展得起来的才具有活力。因而，能与时俱进的传统，堪称绝佳之传统。

综上所述，可以说，“算经十书”已构成了具有中华民族自身特色的传统数学思想，并且由于这传统的延续使得其思想精粹愈加灿烂。中国古代数学及数学思想，自春秋战国到西汉中期确立了体系之后，一直到唐朝，基本上使沿着《九章算术》这条主线传统式地发展的，在这期间，由于生产水平的提高和科学技术的进步，数学和数学思想也不断得到提高，《九章算术》的数学体系得到充实、丰富和发展，也出现了不少超出《九章算术》范围的研究成果。到了宋元时代，我国传统数学达到鼎盛时期，走在世界数学的前列。从《九章算术》多元一次联立方程组的解法，到天元术，再到朱世杰《四元玉鉴》四元高次方程组的解法；内插法从汉代的一次内插法，推进到等间距二次内插法、不等间距二次内插法、三次内插法；从《九章算术》的“王家共井”（不定方程）、《孙子算经》的“物不知数”（中国剩余定理），到秦九韶的“大衍求一术”（一次同余组）；后来，在高阶等差级数求和上，从“隙积术”，到“招差术”，再到“垛积术”，特别是“尖锥术”，都具有世界意义，这意味着“中国数学也将会通过自己特殊的途径，运用独特的思想方式达到微积分，从而完成从初等数学到高等数学的转变。实际上，在西方，牛顿和莱布尼茨也是通过各自不同的途径，几乎同时达到微积分的思想的。”[6]这些，都是传统数学、数学思想和方法的延伸和发展，都是“算经十书”数学思想精粹的发扬光大。中国传统数学思想是在漫长的岁月中，吸收了从古代到近代各个不同时期的社会发展和社会变革形成的文化因素和思想因素，新旧相互作用，内外（外来的）相互碰撞，延绵伸展开来的。

中国传统数学思想具有显著的民族性特征。我国传统数学是沿着注重从实践经验中产生和发展数学的思维方式发展数学的，擅长于算，运算主要以算筹作为工具。这与西方许多国家发展数学的道路是不同的。中国传统数学思想有着自己的渊源和模式，有其之长，也有其之短。在初等数学领域之内，正是这种传统数学思想把我国数学推向世界的最高峰，许多国家与我国相比，望尘莫及。但是，这种状态是很有限的。1303年，朱世杰出了著名的《四元玉鉴》之后，我国数学出现了停滞。“中国数学经过许多世纪的高涨之后，从14世纪中叶开始了停滞的时期。”[7]“朱世杰（1303）之后，我国数学突然出现中断的现象。”[8]“在1400年间到1500年间，几乎没有一部值得注意的著作。”[9]“自明初至清初，约当公历1367年迄1750年，前后凡四百年，……是称中算沉寂时期。”[10]“以致金元之际的数学名著大都失传，四百年中竟无人能了解增乘开方法和开元术。”[11]这样的事实不得不使今天的人们进行深刻的反思。国人悟出的其中的一个道理是：继承和发展中国传统数学思想，“纯粹的”民族传统是不行的，要面向世界，面向现代化。

面对现代化，弘扬我国传统科学思想，推进科学向前发展，这是摆在我国科学工作者和哲学社会科学工作者面前光荣而艰巨的任务。“面对新世纪新发展，我国科技界的使命是：全面贯彻‘三个代表’要求，坚持实施科教兴国战略，大力推进科技创新，努力为我国先进生产力和先进文化的发展，为维护和实现我国最广大人民的根本利益不断贡献智慧和力量。”[12]“要大力加强对各门传统学科的研究，大力加强各门新兴学科和交叉学科的研究，大力加强各门学科的理论和体系的建设，大力加强各门学科的方法和手段的建设”[13]。如何正确认识和处理好中国传统数学思想及其现代化，并且在实践中真正弘扬中国传统数学及数学思想，积极面对和解决当代现实问题，我国科学工作者实际上已经走出了一条很好的路子，这就是将中国传统数学思想精粹同高新科技结合起来，在实践中摸索出能在我们底子比较雄厚、根基较为扎实、擅长发挥优势的生长点上进行创新。例如，我国“战略数学家”吴文俊教授，在弘扬中国传统数学及数学思想上，做出十分杰出的贡献。他深入地钻研和了解了中国传统数学思想，并且在此基础上有着出色的创新。前已论及，在中国传统数学中，有个显著的特点就是擅长于计算。而计算有它明确的要求，必须把研究对象数量化，同时要建立运算法则。中国传统科学凭借其显著特点，不但在宋元时期把算术和代数推向当时世界的最高峰，而且以一种独特的方式在某种程度上起着数学证明的作用，发挥“算”“证”交互作用推动数学发展的效能。这种传统特征蕴涵着十分深邃的思想精髓。我们知道，在数学研究中，存在着计算和证明这两种不同的手段和风格。一般说来，“算”是把研究对象数量化，遵循一定的规则，按照一定的程序，经过操作，比较机械地得出某种数学结果；而“证”则是要以某些命题作为前提，根据定义和已有的定理，遵循逻辑推理的规则，经过操作，实现概念与关系之间的转换而得出某种数学结果。证和算是相辅相成、互相联系、彼此补充的，它们在一定条件下也可以转化。中国传统数学擅长计算的特点之所以不但能发挥数学运算的效能，而且在某种程度上还可以起到数学证明的效能，关键就在于它有比较固定的规则和确定而有条理的程序。中国古算书中丰富多彩的术文，给出了许多解决数学问题的十分清楚的规则和确定而有条理的程序，虽然不是以公式的形式出现，但对解决问题具有普遍的方法论意义。并且，有的方法按照一定的新规则和新程序继续操作下去，还可推广开来（如把“增乘开方法”推广到开任意高次方，可以得出高次方程的数值解法）。它给人们进行数学研究提供了一种很有价值的思路，即：在数学操作过程中，都有一个确定的、必须选择的下一步，这样就可以延着一条有规律的、逻辑的道路进行下去。实质上，着就是数学问题的机械化，

我国传统数学擅长计算的特点，恰恰是数学问题的机械化的内在机制：确定而有条理的程序保障了数学操作的下一步是“确定的”，固定的运算法则保障了数学操作的下一步是“必须选择的”。我国数学家吴文俊说“中国的古代数学基本上是一种机械化的数学。”[14]这条思路所开辟的前景是十分广阔的。固定的运算法则和明确的操作程序化，十分方便在计算机上施行。把线性方程的求解过程规范化、程序化后，让电子计算机来实现这机械化了的数学问题，在几分钟内就可以求出一个未知数多至上百个线性方程组的答案来，这对现代化建设意义十分重大。这种内在机制给人带来一个十分有趣的念头：能否用机械化方法进行数学证明？也就是说，能否用计算机的“算”来“证”呢？数理逻辑诞生之后，可以把概念形式化和量化，使之纳入逻辑关系的演算。美国王浩先生用计算机证明了《数学原理中的几百条定理，哈肯等人也用计算机证明了四色定理。但是要真正能够体现机械化定理证明，进而实现机器证明，任务还很艰巨。数学证明灵巧性大，难度也很大。把这方面的困难用另一种方式来换取它，即用繁杂的量的运算来取代，利用计算机去完成繁杂的量的运算，这是定理证明机械化的基本思路。换句话说，其基本途径是从公理化出发，通过代数化，达到机械化。比如，初等几何主要一类定理证明的机械化，可以分为这样两步：第一步是引进坐标，然后把需证定理中的假设与终结部分都用坐标间的代数关系（多项式关系）来表示。第二步是通过代表假设的多项式中的坐标逐个消去。如果消去之后结果能为零，这表明定理正确。即用多项式的消元法这种验证的方式来证明定理。两步都可以机械化地进行。我国数学家吴文俊等人采用这条途径，首先证明了初等几何主要一类定理的证明可以机械化，后来又证明了初等微分几何中主要的一类定理证明也可以机械化。可见，中国传统科学思想在现代科学中仍具有很强的生命力，它为现代科学研究提供了一些重要的思路。吴文俊教授深有感叹地说：“我们是在中国古代数学的启发下提出问题并想出解决问题办法来的。”[15]当然，这里不能简单地“复古”回归，而是要把思想加以发展，比如，吴文俊教授采用的是中国产的长城203台式计算机，而不是古代的算筹。第24届国际数学家大会于2002年8月20日起在北京举行，吴文俊院士作为本届大会主席在接受新华社记者专访时表示，中国不仅要振兴数学，更要复兴数学，重视古代数学的辉煌。他说：“我一直推崇中国的古代数学。”[16]传统具有惰性、延伸性和精粹隐藏性，发掘和弘扬优良传统可重现古代数学的辉煌，具有现实意义。科学思想是科学产生、发展的思想依据和思想方法，也包括科学成果所蕴涵的思想精髓。面对现代化，挖掘和弘扬中国传统科学成果所蕴涵的思想精髓，任重道远。

参考文献

[1]莫绍揆.数学三次危机与数学逻辑[J].自然杂志，1980.6.

[2]郭金彬、李赞和.中国数学源流[M].福州：福建教育出版社，1990.180.

[3]郭金彬.中国传统数学证明的方式[J].福建师范大学学报，1993.1.

[4][9]李约瑟.中国科学技术史第三卷数学[M].北京：科学出版社，1978.79,111.

[5]三上义夫.中国算学之特色[M].北京：商务印书馆，1929.34.

[6]杜石然等.中国科学技术史稿下册[M].北京：科学出版社，1983.253-254.

[7]尤什凯维奇.中国学者在数学领域中的成就[J].数学进展，1956年2卷2期.277.

[8]梁宗巨.世界数学史简编[M].沈阳：辽宁人民出版社，1980.455.

[10]李俨.中国算学史[M].北京：商务印书馆，1957.142.

[11]钱宝琮.中国数学史[M].北京：科学出版社，1964.276.

[12].全面贯彻“三个代表”要求，大力推进科学技术创新——在中国科学院第十一次院士大会和中国工程院第六次院士大会上的讲话[R].新华社电，2002.5.28.

[13]孙承斌.在考察中国社会科学院时发表重要讲话强调，大力加强我国哲学社会科学建设，为有中国特色社会主义事业服务[N].光明日报，2002.7.17.

[14][15]吴文俊.机械化证明[J].百科知识，1980.3.

[16]吴文俊.中国数学期待复兴[N].光明日报，2002.8.21.