您好,欢迎来到华佗小知识。
搜索
您的当前位置:首页数学发展史

数学发展史

来源:华佗小知识


三、第三次数学危机

数学基础的第三次危机是由17年的突然冲击而出现的,从整体上看到现在还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论已经成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。

17年,福尔蒂揭示了集合论的第一个悖论;两年后,康托发现了很相似的悖论,它们涉及到集合论中的结果。1902年,罗素发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。

罗素,英国人,哲学家、逻辑学家、数学家。1902年著述《数学原理》,继而与怀德海合著《数学原理》(1910年~1913年),把数学归纳为一个公理体系,是划时代的著作之一。他在很多领域都有大量著作,并于1950年获得诺贝尔文学奖。他关心社会现象,参加和平运动,开办学校。1968~1969年出版了他的自传。

罗素悖论曾被以多种形式通俗化,其中最著名的是罗索于1919年给出的,它讲的是某村理发师的困境。理发师宣布了这样一条原则:他只给不自己刮胡子的人刮胡子。当人们试图答复下列疑问时,就认识到了这种情况的悖论性质:“理发师是否可以给自己刮胡子?”如果他给自己刮胡子,那么他就不符合他的原则;如果他不给自己刮胡子,那么他按原则就该为自己刮胡子。

罗素悖论使整个数学大厦动摇了,无怪乎弗雷格在收到罗素的信之后,在他刚要出版的《算术的基本法则》第2卷本末尾写道:“一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,它的基础垮掉了。当本书等待付印的时候,罗素先生的一封信把我就

置于这种境地”。狄德金原来打算把《连续性及无理数》第3版付印,这时也把稿件抽了回来。发现拓扑学中“不动点原理”的布劳恩也认为自己过去做的工作都是“废话”,声称要放弃不动点原理。

自从在康托的集合论和发现上述矛盾之后,还产生了许多附加的悖论。集合论的现代悖论与逻辑的几个古代悖论有关系。例如公元前四世纪的欧伯利得悖论:“我现在正在做的这个陈述是假的”。如果这个陈述是真的,则它是假的;然而,如果这个陈述是假的,则它又是真的了。于是,这个陈述既不能是真的,又不能是假的,怎么也逃避不了矛盾。更早的还有埃皮门尼德(公元前6世纪,克利特人)悖论:“克利特人总是说谎的人”。只要简单分析一下,就能看出这句话也是自相矛盾的。

集合论中悖论的存在,明确地表示某些地方出了毛病。自从发现它们之后,人们发表了大量关于这个课题的文章,并且为解决它们作过大量的尝试。就数学而论,看来有一条容易的出路:人们只要把集合论建立在公理化的基础上,加以充分以排除所知道的矛盾。

第一次这样的尝试是策梅罗于1908年做出的,以后还有多人进行了加工。但是,此程序曾受到批评,因为它只是避开了某些悖论,而未能说明这些悖论;此外,它不能保证将来不出现别种悖论。

另一种程序既能解释又能排除已知悖论。如果仔细地检查就会发现:上面的每一个悖论都涉及一个集合S和S的一个成员M(既M是靠S定义的)。这样的一个定义被称作是“非断言的”,而非断言的定义在某种意义上是循环的。例如,考虑罗素的理发师悖论:用M标志理发师,用S标示所有成员的集合,则M被非断言地定义为“S的给并且只给不自己刮胡子人中刮胡子的那个成员”。此定义的循环的性质是显然的——理发师的定义涉及所

有的成员,并且理发师本身就是这里的成员。因此,不允许有非断言的定义便可能是一种解决集合论的己知悖论的办法。然而,对这种解决办法,有一个严重的责难,即包括非断言定义的那几部分数学是数学家很不愿丢弃的,例如定理“每一个具有上界的实数非空集合有最小上界(上确界)”。

解决集合论的悖论的其它尝试,是从逻辑上去找问题的症结,这带来了逻辑基础的全面研究。

从1900年到1930年左右,数学的危机使许多数学家卷入一场大辩论当中。他们看到这次危机涉及到数学的根本,因此必须对数学的哲学基础加以严密的考察。在这场大辩论中,原来不明显的意见分歧扩展成为学派的争论。以罗素为代表的逻缉主义、以布劳威为代表的直觉主义、以希尔伯特为代表的形式主义三大数学哲学学派应运而生。它们都是唯心主义学派,它们都提出了各自的处理一般集合论中的悖论的办法。他们在争论中尽管言语尖刻,好象势不两立,其实各自的观点都吸收了对方的看法而又有很多变化。

1931年,哥德尔不完全性定理的证明暴露了各派的弱点,哲学的争论黯淡了下来。此后,各派力量沿着自己的道路发展演化。尽管争论的问题远未解决,但大部分数学家并不大关心哲学问题。直到近年,数学哲学问题才又激起人们的兴趣。

承认无穷集合、承认无穷基数,就好象一切灾难都出来了,这就是第三次数学危机的实质。尽管悖论可以消除,矛盾可以解决,然而数学的确定性却在一步一步地丧失。现代公理集合论中一大堆公理,简直难说孰真孰假,可是又不能把它们都消除掉,它们跟整个数学是血肉相连的。所以,第三次数学危机表面上解决了,实质上更深刻地以其它形式延续着。

数学中的矛盾既然是固有的,它的激烈冲突——危机就不可避免。危机的解决给数学带来了许多新认识、新内容,有时也带来了性的变化。把20世纪的数学同以前全部数学相比,内容要丰富得多,认识要深入得多。在集合论的基础上,诞生了抽象代数学、拓扑学、泛函分析与测度论,数理逻辑也兴旺发达成为数学有机体的一部分。古代的代数几何、微分几何、复分析现在已经推广到高维。代数数论的面貌也多次改变,变得越来越优美、完整。一系列经典问题完满地得到解决,同时又产生更多的新问题。特别是二次大战之后,新成果层出不穷,从来间断。数学呈现无比兴旺发达的景象,而这正是人们同数学中的矛盾、危机斗争的产物。

数学的三次危机——第二次数学危机

二、第二次数学危机

十七、十八世纪关于微积分发生的激烈的争论,被称为第二次数学危机。从历史或逻辑的观点来看,它的发生也带有必然性。

这次危机的萌芽出现在大约公元前450年,芝诺注意到由于对无限性的理解问题而产生的矛盾,提出了关于时空的有限与无限的四个悖论:

“两分法”:向着一个目的地运动的物体,首先必须经过路程的中点,然而要经过这点,又必须先经过路程的1/4点……,如此类推以至无穷。——结论是:无穷是不可穷尽的过程,运动是不可能的。

“阿基里斯(《荷马史诗》中的善跑的英雄)追不上乌龟”:阿基里斯总是首先必须到达乌龟的出发点,因而乌龟必定总是跑在前头。这个论点同两分法悖论一样,所不同的是

不必把所需通过的路程一再平分。

“飞矢不动”:意思是箭在运动过程中的任一瞬时间必在一确定位置上,因而是静止的,所以箭就不能处于运动状态。

“操场或队伍”:A、B两件物体以等速向相反方向运动。从静止的c来看,比如说A、B都在1小时内移动了2公里,可是从A看来,则B在1小时内就移动了4公里。运动是矛盾的,所以运动是不可能的。

芝诺揭示的矛盾是深刻而复杂的。前两个悖论诘难了关于时间和空间无限可分,因而运动是连续的观点,后两个悖论诘难了时间和空间不能无限可分,因而运动是间断的观点。芝诺悖论的提出可能有更深刻的背景,不一定是专门针对数学的,但是它们在数学王国中却掀起了一场轩然大被。它们说明了希腊人已经看到“无穷小”与“很小很小”的矛盾,但他们无法解决这些矛盾。其后果是,希腊几何证明中从此就排除了无穷小。

经过许多人多年的努力,终于在17世纪晚期,形成了无穷小演算——微积分这门学科。牛顿和莱布尼兹被公认为微积分的奠基者,他们的功绩主要在于:把各种有关问题的解法统一成微分法和积分法;有明确的计算步骤;微分法和积分法互为逆运算。由于运算的完整性和应用的广泛性,微积分成为当时解决问题的重要工具。同时,关于微积分基础的问题也越来越严重。关键问题就是无穷小量究竞是不是零?无穷小及其分析是否合理?由此而引起了数学界甚至哲学界长达一个半世纪的争论,造成了第二次数学危机。

无穷小量究竟是不是零?两种答案都会导致矛盾。牛顿对它曾作过三种不同解释:1669年说它是一种常量;1671年又说它是一个趋于零的变量;1676年它被“两个正在消逝的量的最终比”所代替。但是,他始终无法解决上述矛盾。莱布尼兹曾试图用和无穷

小量成比例的有限量的差分来代替无穷小量,但是他也没有找到从有限量过渡到无穷小量的桥梁。

英国大主教贝克莱于1734年写文章,攻击流数(导数)“是消失了的量的鬼魂……能消化得了二阶、三阶流数的人,是不会因吞食了神学论点就呕吐的。”他说,用忽略高阶无穷小而消除了原有的错误,“是依靠双重的错误得到了虽然不科学却是正确的结果”。贝克莱虽然也抓住了当时微积分、无穷小方法中一些不清楚不合逻辑的问题,不过他是出自对科学的厌恶和对宗教的维护,而不是出自对科学的追求和探索。

当时一些数学家和其他学者,也批判过微积分的一些问题,指出其缺乏必要的逻辑基础。例如,罗尔曾说:“微积分是巧妙的谬论的汇集。”在那个勇于创造时代的初期,科学中逻辑上存在这样那样的问题,并不是个别现象。

18世纪的数学思想的确是不严密的、直观的,强调形式的计算而不管基础的可靠。其中特别是:没有清楚的无穷小概念,从而导数、微分、积分等概念不清楚;无穷大概念不清楚;发散级数求和的任意性等等;符号的不严格使用;不考虑连续性就进行微分,不考虑导数及积分的存在性以及函数可否展成幂级数等等。

直到19世纪20年代,一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始,到威尔斯特拉斯、狄德金和康托的工作结束,中间经历了半个多世纪,基本上解决了矛盾,为数学分析奠定了一个严格的基础。

波尔查诺给出了连续性的正确定义;阿贝尔指出要严格滥用级数展开及求和;柯西在1821年的《代数分析教程》中从定义变量出发,认识到函数不一定要有解析表达式;他抓住极限的概念,指出无穷小量和无穷大量都不是固定的量而是变量,无穷小量是以零

为极限的变量;并且定义了导数和积分;狄里赫利给出了函数的现代定义。在这些工作的基础上,威尔斯特拉斯消除了其中不确切的地方,给出现在通用的极限的定义,连续的定义,并把导数、积分严格地建立在极限的基础上。

19世纪70年代初,威尔斯特拉斯、狄德金、康托等人地建立了实数理论,而且在实数理论的基础上,建立起极限论的基本定理,从而使数学分析建立在实数理论的严格基础之上。

数学的三次危机——第一次数学危机

从哲学上来看,矛盾是无处不存在的,即便以确定无疑著称的数学也不例外。数学中有大大小小的许多矛盾,例如正与负、加与减、微分与积分、有理数与无理数、实数与虚数等等。在整个数学发展过程中,还有许多深刻的矛盾,例如有穷与无穷、连续与离散、存在与构造、逻辑与直观、具体对象与抽象对象、概念与计算等等。

在数学史上,贯穿着矛盾的斗争与解决。当矛盾激化到涉及整个数学的基础时,就会产生数学危机。而危机的解决,往往能给数学带来新的内容、新的发展,甚至引起性的变革。

数学的发展就经历过三次关于基础理论的危机。

一、第一次数学危机

从某种意义上来讲,现代意义下的数学,也就是作为演绎系统的纯粹数学,来源予古希腊毕达哥拉斯学派。它是一个唯心主义学派,兴旺的时期为公元前500年左右。他们认

为,“万物皆数”(指整数),数学的知识是可靠的、准确的,而且可以应用于现实的世界,数学的知识由于纯粹的思维而获得,不需要观察、直觉和日常经验。

整数是在对于对象的有限整合进行计算的过程中产生的抽象概念。日常生活中,不仅要计算单个的对象,还要度量各种量,例如长度、重量和时间。为了满足这些简单的度量需要,就要用到分数。于是,如果定义有理数为两个整数的商,那么由于有理数系包括所有的整数和分数,所以对于进行实际量度是足够的。

有理数有一种简单的几何解释。在一条水平直线上,标出一段线段作为单位长,如果令它的定端点和右端点分别表示数0和1,则可用这条直线上的间隔为单位长的点的集合来表示整数,正整数在0的右边,负整数在0的左边。以q为分母的分数,可以用每一单位间隔分为q等分的点表示。于是,每一个有理数都对应着直线上的一个点。

古代数学家认为,这样能把直线上所有的点用完。但是,毕氏学派大约在公元前400年发现:直线上存在不对应任何有理数的点。特别是,他们证明了:这条直线上存在点p不对应于有理数,这里距离op等于边长为单位长的正方形的对角线。于是就必须发明新的数对应这样的点,并且因为这些数不可能是有理数,只好称它们为无理数。无理数的发现,是毕氏学派的最伟大成就之一,也是数学史上的重要里程碑。

无理数的发现,引起了第一次数学危机。首先,对于全部依靠整数的毕氏哲学,这是一次致命的打击。其次,无理数看来与常识似乎相矛盾。在几何上的对应情况同样也是令人惊讶的,因为与直观相反,存在不可通约的线段,即没有公共的量度单位的线段。由于毕氏学派关于比例定义假定了任何两个同类量是可通约的,所以毕氏学派比例理论中的所有命题都局限在可通约的量上,这样,他们的关于相似形的一般理论也失效了。

“逻辑上的矛盾”是如此之大,以致于有一段时间,他们费了很大的精力将此事保密,不准外传。但是人们很快发现不可通约性并不是罕见的现象。泰奥多勒斯指出,面积等于3、5、6、……17的正方形的边与单位正方形的边也不可通约,并对每一种情况都单独予以了证明。随着时间的推移,无理数的存在逐渐成为人所共知的事实。

诱发第一次数学危机的一个间接因素是之后“芝诺悖论”的出现,它更增加了数学家们的担忧:数学作为一门精确的科学是否还有可能?宇宙的和谐性是否还存在?

在大约公元前370年,这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了。他的处理不可通约量的方法,出现在欧几里得《原本》第5卷中,并且和狄德金于1872年绘出的无理数的现代解释基本一致。今天中学几何课本中对相似三角形的处理,仍然反映出由不可通约量而带来的某些困难和微炒之处。

第一次数学危机表明,几何学的某些真理与算术无关,几何量不能完全由整数及其比来表示。反之,数却可以由几何量表示出来。整数的尊祟地位受到挑战,古希腊的数学观点受到极大的冲击。于是,几何学开始在希腊数学中占有特殊地位。同时也反映出,直觉和经验不一定靠得住,而推理证明才是可靠的。从此希腊人开始从“自明的”公理出发,经过演绎推理,并由此建立几何学体系。这是数学思想上的一次,是第一次数学危机的自然产物。

回顾在此以前的各种数学,无非都是“算”,也就是提供算法。即使在古希腊,数学也是从实际出发,应用到实际问题中去的。例如,泰勒斯预测日食、利用影子计算金字塔高度、测量船只离岸距离等等,都是属于计算技术范围的。至于埃及、巴比伦、中国、印度等国的数学,并没有经历过这样的危机和,也就继续走着以算为主,以用为主的道路。而由于第一次数学危机的发生和解决,希腊数学则走上完全不同的发展道路,形成了

欧几里得《原本》的公理体系与亚里士多德的逻辑体系,为世界数学作出了另一种杰出的贡献。

但是,自此以后希腊人把几何看成了全部数学的基础,把数的研究隶属于形的研究,割裂了它们之间的密切关系。这样做的最大不幸是放弃了对无理数本身的研究,使算术和代数的发展受到很大的,基本理论十分薄溺。这种畸形发展的局面在欧洲持续了2000多年。

数学的三股推动力量——数学家们的努力

三、数学家们的努力

数学作为一门科学,它不是任何一个历史时代、任何一个民族单独的产物,而是若干个时代,许多民族的共同产物。经过4000多年世界各民族的共同努力,数学才发展到今天边样的规模。

推动数学前进的力量,无论是社会生产的发展,还是数学内部的矛盾,说到底都离不开人民,特别是离不开作为他们之中优秀代表人物的古今中外数学家们的努力奋斗。在数学史中,几千位著名的数学家作出了可贵的贡献;几十万名数学研究人员作出了必要的探索;数千万数学教育工作者和实际应用者为数学的传播和应用建立了功勋。

我国的《畴人传》包括400多位天文、数学家的传记,其中占篇幅最多的是僧一行,他是唐代最著名的数学家、天文学家。僧是和尚、一行是法号,原名张遂,天赋聪敏、潜心窥测,717年他来到京城长安,为唐玄宗顾问。他把数学与天文学结合起来,创造了世界上最早的不等间距二次内插法公式;他组织并领导的在全国12个点对北极高度和日影

长短的测量,是世界上第一次对子午线的实测;他对历法科学作出了重要的贡献,推算出“开元大衍历”,后世有人称赞它“历千古而无差”。可惜他的著作后来全部散失了。

我国数学家中在世界上声名最高的,是南北朝的祖冲之(429~500年)。他是世界上最早计算圆周率π精确到6位小数的人,并且保持了这项世界纪录将近1100年。他从小喜欢钻研天文、数学,博览群书,重视实践,经常提出大胆的想法,再通过实践来检验这些想法是否正确。祖冲之和他的儿子合撰的数学专著《缀术》,核定为唐朝学校的教材。中世纪时,日本、朝鲜的学校也采用它作为课本,可惜这部书后来失传了。为纪念祖冲之在圆周率及其它方面的贡献,莫斯科大学建立了他的塑像,与世界其它著名科学家的塑像一起受到人们的敬仰。苏联科学家还把月球上的一个环形山命名为祖冲之环形山,真可谓名扬九天。

宋元时代的朱世杰被誉为“中世纪世界最伟大的数学家”。他曾四处流浪,周游湖海20多年,长期靠教授数学来维持生活,“踵门而学者云集”。他的名著《算学启蒙》三卷(1299年)和《四元宝鉴》三卷(1303年)是我国数学发展的重要里程碑。前者创立了代数加法和乘法的正负法则;后者把天元术推广为“四元术”(四元高次联立方程解决),而欧洲到1775年才提出同样的解法。《四元宝鉴》开头所载“古法七乘方图”与“杨辉三角”具有同等重要的世界意义。朱世杰对高阶等差级数求和问题进行了讨论,得出了高次差的内插公式(四次“招差术”),这实质上已相当于1676~1678年间牛顿的一段内插公式。

在中国数学史上,著述最多的数学家是梅文鼎(1683~1721年)。梅文鼎,字定九,号勿庵,安徽宣城人。他自动喜爱天文学、数学。自29岁起,数十年学问与年俱进,是十七八世纪之交中国最伟大的数学家。他在历学方面,深究中国古代70余家历法,而后与西历会通;在数学方面,先习筹算、笔算、三角、对数,而后发挥少广、方程及勾股诸术,集其大成,自成一家。

梅文鼎的著述,据他所著的《勿庵历算书目》所载,共88种,达二百余卷,其中已刊者33种计70卷。在这些历算书中,数学著作占了三分之二,包括了初等数学的各个分支。他的孙子梅毂成,自幼跟他受到良好的数学教育,1712年23岁时入宫学习数学和天文,次年任蒙养斋汇编官,主编《数理精蕴》。

1761年,梅毂成把其祖父的著作编成《梅氏丛书辑要》,共收33种计60卷,附梅毂成自己所著二卷,其中数学书40卷。象这样祖孙三代大有作为的数学家之家,在世界数学史上也是罕见的。可以与之媲美的只有是差不多同时代的瑞士伯努里家族。

世界数学史上最多产的数学家是瑞士的欧拉(1707~1783年)。他一生中,共发表530本(篇)书(论文),死后47年中,又陆续出版了他留下的许多书稿,从而发表他的著作达到886本(篇)之多。欧拉的一生几乎全部从事数学研究,涉及的范围很广。1735年,他不幸瞎了一只眼睛;1766年,另一只眼睛也瞎了,但这些都没有阻碍他的钻研和创作。双目失明的欧拉,让别人笔录下他的研究成果,借这一种稀有的记忆力,顽强而艰苦地奋斗着。他能在最嘈杂的扰乱中,精力高度集中地进行创造性的工作。

使人感到惊讶和钦佩的,不仅是欧拉的著作是如此之多,而是他的文字通俗易懂、使用的符号先进新颖。下述记号的正规化,都应该归功于欧拉:f(x)表示函数;e表示自然对数的底;a、b、c表示ΔABC的三条边;∑表示求和;i表示虚单位……。

还有最著名的欧拉公式,这个关系式联系着数学中最重要的五个数e、π、i、1、0,是数学中最美妙的公式。很多数学家都怀着尊敬的心情赞美欧拉:“读读欧拉,他是我们一切人的名师”(拉普拉斯)、“对欧拉工作的研究将仍旧是对于数学的不同范围的最好的学校,并且没有任何别的可以替代它”(高斯)。瑞士自然科学学会从1907年开始出版《欧拉全集》,用了四十年才出齐73本。

名列第二位的多产数学家,不是法国的柯西,就是英国的凯雷。但要认真地确定谁该享有这份荣誉,恐怕要计算出版物的页数。例如柯西的全集,除几本书外,包括7篇论文,其中有些是巨著,计有24本大四开本。

世界上第一位女数学家是希腊的希帕提亚(310~415年),她是数学家泰奥思的女儿,写过关于阿波罗尼和丢番图的评注本。而世界上最伟大的女数学家是德国的诺特(1882~1935年),她生于犹太家庭,父亲也是著名的数学家。1900年,她进入爱尔兰根大学,在近千名学生中只有两名女性。在戈丹的指导下,诺特完成了博士论文《三元双二次型不变量的完全系》。1916年,诺特来到哥廷根。那时希尔伯特正从事广义相对论的研究,诺特在这方面做了出色的工作,被后人称之为物理学中的诺特定理。

然而,大学里对妇女的歧视是一个严重问题。希尔伯特多次要求校方给她讲师的职称,可是格廷根的哲学教授会议(数学是哲学的一部分)中的语言学家和历史学家极力反对。

1919~1922年间,诺特走上了她自已独特的发展道路,研究环中的理想论。她对抽象代数的贡献是划时代的,她的一般理想论可说是哥廷根代数学派的代表作。1922年,诺特成了一名特别教授,但只不过是一个空名。她当时开一门代数课,从学生交付的学费中取一份很少的薪金。

由于纳粹德国犹太人,1933年诺特来到美国费城任教,不幸于1935年病逝。大物理学家爱因斯坦在《纽约时报》撰文纪念,文中说:“诺特女士是自妇女受到高等教育以来最重要的最富于创造性的天才”。

在数学史上,有不少著名的数学学派,它们是由志同道合的数学家组成的学术团体,对数学的发展作出了特殊的贡献。这里要简略介绍一下对现代数学有巨大影响的布尔巴基

学派。

第一次世界大战给法国科学事业带来了灾难性的破坏,法国数学界出现了青黄不接、后继乏人的局面。老一辈法国数学家虽然曾经在分析、函数论方面作出过杰出成绩,但都是60岁上下的人,而且对当代数学一般只有相当含糊的观念,对德国数学学派的优秀成果、对迅速发展的苏联学派以及诞生不久就红极一时的波兰学派都毫无所知。法国数学落后了。

1924年前后,一批十岁的青年进入巴黎高等师范学院的数学系。这批年青人中有狄多涅、韦伊、亨·嘉当等人。他们不满足法国数学的现状,要把触角伸向“函数论王国”之外,决心发动“”,振兴法国数学。

1932年,这批青年人“秘密”组成了一个小组,以法国十九世纪一位将军布尔巴基的名字命名。后来又增添了几位成员,比较固定的成员在十人左右。他们瞄准了世界先进水平,如饥似渴地大量阅读,刻苦研讨最新发表的数学论文,分析数学发展中大量新概念,每年聚会多次,热烈争鸣,严谨治学。他们还走出国界,直接倾听国外优秀数学家的讲学和介绍,学习最先进的知识。他们方向对头,敢想敢于,不久就在深入研究现代数学的基础上,形成了自己的独创的观点——数学结构的观点,并用以统一概括现代纯粹数学的新成果,把法国的数学水平推到世界的前列。

从1939年起,他们开始出版《数学原本》。这是一套关于现代数学的综合性丛书的第1卷,此丛书直到1972年出版第34卷时,仍未宣布终止。这套数学丛书标志着布尔巴基学派的诞生,他们造就了一大批象魏尔、狄多涅、歇瓦菜、德尔商特、嘉当等在代数几何、拓扑空间、泛函分析、李群、可换环、多复变函数论等数学领城作出重要贡献的数学家。

布尔巴基的结构主义观点,在50~60年代盛极一时,在中学教材改革中曾被奉为经典。70年代以来,结构主义观点开始走下坡路,受到了批评,认为它一味追求形式主义的公理化,脱离实际,为数学而数学,忽视了数学和其他科学的联系,在初等数学中过早引入抽象概念等等。

但是,布尔巴基学派富于创造的精神是令人敬佩的,他们的治学态度是十分严肃的,一卷著作甚至推倒重写10遍,经过10多年才去付印。《数学原本》仅第一部分就花了30年才正式出版。他们严格要求自己,既要有广泛的兴趣、深厚的基础,又要有作战的精神,一丝不苟的态度,这些都是他们成功的原因。

“史可为鉴”,“它山之石,可以攻玉”。愿古今中外数学家们在推动数学前进中焕发出来的精钟力量,化作青年朋友们的宝贵财富,为中华在各个领域的新顿起而奋斗!

数学的三股推动力量——数学内部的矛盾

二、数学内部的矛盾

整个数学的发展史就是一部矛盾斗争的历史。数学内部的矛盾是推动数学长河滚滚向前的主要力量之一。

数学以现实世界的空间形式和数量关系作为自己研究的对家,为了在纯粹形态上研究这些形式和关系,就必须和现实世界的内容割裂开来。但是,离开内容的形式和关系是不存在的。因此,数学按它的本质企图实现这种割裂,是企图实现一种不可能的事情。这是在数学本质中的根本矛盾,它是认识的普遍矛盾在数学方面的特殊表现。在越来越接近现实的各个认识阶段上,不断解决和重复上述矛盾,数学就不断地前进、发展,由简单到复

杂,由低级向高级。

人类最早认识的是自然数,引进零和负数就经过了斗争:要么引进这些数,要么大量的数的减法就行不通。同样,引进分数使乘法有了逆运算—除法,否则许多实际问题也不能解决。

但是接着又出现了这样的问题:是否所有的量都能够用有理数来表示?发现无理数并最终使得第一次数学危机的解决,促使了逻辑的发展和几何学的系统化。方程解的问题导致虚数的出现,虚数从一开始就被认为是“不实的”,可是这种不实的数却解决了实数所不能解决的问题,从而为自己争得了存在的权利。数学就是这样在矛盾斗争中发展的。几何学从欧几里得几何的一统天下发展到多种几何,也是如此。

在19世纪发现了许多用传统方法不能解决的问题,如五次及五次以上代数方程不能通过加、减、乘、除、开方求出根来;古希腊几何三大问题不能通过圆规和直尺作图来解决等等。这些否定的结果表明了传统方法的局限性,也反映了人类认识的深入。

这些发现给有关学科带来了极大的冲击,几乎完全改变了它们的方向。例如,代数学从此以后向抽象代数的方面发展,而求解方程的根也变成了分析及计算数学的课题。在第三次数学危机中,这种情况也多次出现,尤其是包含整数算术在内的形式系统的不完全性、许多问题的不可判定性,都大大提高了人们的认识,也促进了数理逻辑的大发展。

由无穷小量的矛盾引起的第二次数学危机,反映了数学内部的有限与无穷的矛盾。第三次数学危机涉及集合论和数理逻辑,但它一开始就牵涉到无穷集合,而现代数学脱离无穷集合就寸步难行。一种极端的观点是只考虑有限集合或至多是可数的集合,不过这样一来绝大部分数学将不复存在。

即使这些有限数学的内容也有许多要涉及无穷的方法,有很多的数学证明都要用有限的步骤解决涉及无穷的问题。借助于计算机完成的四色定理的证明,首先也要把无穷多种可能的地图归结成有限的情形。对于无穷,计算机也是为力的。可见数学永远回避不了有限与无穷这对矛盾,可以说它是数学矛盾的根源之一。

数学中也一直贯穿着应用上清楚与逻辑上严格的矛盾。在这方面,比较注意实用的数学家盲目应用,而比较注意严密的数学家则提出批评。只有这两方面取得协调一致,矛盾才能解决。例如,算符演算及δ函数,开始是形式演算,任意应用,直到施瓦尔兹才奠定广义函数论的严整系统。微积分的应用与极限论的建立更是众所周知的。

在数学史中,一直存在着经常起作用的两种重要趋势:一种是学科不断分化的趋势,另一种是学科不断综合的趋势。这两种矛盾的趋势的辨证运动,表现为一个否定之否定的过程。

自然界作为一个无限多样性的统一整体,通过感觉和知觉进入人类的意识。古时候,数学是在总体的数和形的关系上把握自然界的,算术、代数、几何没有彼此分开,任何一本数学名著都包括了这三方面的内容,并且把它们溶化在一起。因此,古代的数学本质上是一种感性直观的关于数和理的综合的科学。

从17世纪产生解析几何和微积分以后,学科分化的趋势一直居于主导地位。单一的未经分化的学科向许多专门分支学科发展,每一门学科所研究的又都是具体完整的数学中数与形的某一个方面。这种不断分化,到19世纪下半叶达到了相当精细的程度,代数、几何、分析等学科已经形成了各自不同的研究领域,特别是分析领域的发展更是蓬蓬勃勃。每个学科都可以互不联系地单独向前发展,各学科在理论、语言、方法等方面可以互不相通,根本谈不上统一的数学的图景。

从1872年克莱因用“群”的观点统一各种几何开始,到康托尔建立集合论和公理化运动,越来越分化的数学走向综合的趋势逐渐明显。到20世纪初,数学学科的分化和综合都明显加快了。从20年代起,特别是第二次世界大战后,综合的趋势已占主导地位。学科的继续分化实际上已经是综合趋势的一种表现形式,因为新学科的不断出现正在越来越消除各学科之间的传统界限。对于数和形的深入认识,更多地采用多学科的方法的综合认识形式。因此,各门学科更加紧密地联系起来。现代数学发展的辨证法就是这样的,越是理解了整体的各个方面,就越是接近于综合地把握整体。

也许将来会出现一种公认的新观点,把目前的数学统一起来。但是,这种统一只是暂时的、相对的。随着生产和科技的发展,又会产生新的问题,形成新的分支,促进新的分化。数学将在这种不断的分化和综合中不断前进。

数学的三股推动力量——社会生产的发展

纵观几千年的数学发展史,人们眼前展现了一幅壮观的景象:在科学世界里,一条长江大河从涓涓细流的源头开始,不断会聚各路支流,越来越浩浩荡荡,终成今日汹涌澎湃之势。

是什么力量在推动数学长河奔腾向前呢?我们认为,推动数学的主要力量有三股——社会生产的发展、数学内部的矛盾和数学家们的努力。

一、社会生产的发展

恩格斯指出:“科学的发生和发展,一开始就是由生产决定的”,这里的生产是指人们使用工具来创造各种生产资料和生活资料。数学作为研究客观物质世界的数量关系和空

间形式的一门科学,它的发生和发展也是由生产决定的。

尽管数与形的最初观念可以追溯到原始社会,但是由于当时生产水平的低下,虽然经历了上万年的漫长时间,也只积累了一些零碎的、萌芽的数学知识。到了古希腊奴隶社会最发达时期,社会生产有了较大发展,几何学才取得了决定性的进步。

文艺复兴时期,机械的广泛使用,航海事业的迅速发展,以及我国四大发明的传播,促成了西欧生产的巨大变化,推动了自然科学的迅速发展。在这时期,在意大利的封建社会中,代数学取得了快速的发展。

17世纪欧洲生产的发展,促进了力学和技术的发展,从而向数学提出了从一般的形态上研究运动的问题。出于研究运动,变量的观念产生了,并且成了数学研究的主要对象,同时也产生了函数的概念。数学向研究变量和函数方面发展,随后就产生了解析几何、微积分等数学分支。

微积分的基本理论在实践中的成功应用,证明它反映了生产和科学技术的某些客观规律,数学终于在较短的时间里取得了辉煌的成就。在古化虽然已有了朴素的极限思想,但是那时候的生产水平低下,科学技术不发达,研究都停留在静力学和固定不动的范围内,不可能产生微积分。在中世纪,生产的客观实际也不可能提出研究变量的问题,因此那时候也不可能产生微积分。

1705年,英国物理学家纽可门制成了第一个能供实用的蒸汽机;1768年,瓦特制成了近代蒸汽机。由此引起的工业,大大提高了人类社会生产力,从而促进了十八、十九世纪数学的大繁荣。

20世纪40年代,生产力得到进一步发展,科学技术突飞猛进。1945年,第一颗原子弹爆炸、第一台电子计算机问世;1957年,第一颗人造地球卫星发射成功。超高温、超高压、微观、宏观及大科学出现,于是现代数学发展神速、硕果累累。

有的数学家认为:1940年以后的数学成就,超过了从古希腊到1940年间2000多年的数学成就。纯粹数学方面,出现了一些重大突破。应用数学方面,涌现出一些新的分支,如计算数学、对策论、规划论、运筹学、信息论、控制论、生物数学、经济数学等等;出现了系统科学;出现了各种数学新思潮,如非标准分析、模糊数学、突变理论、结构数学、构造数学等等;计算机科学、人工智能和机器证明也发展起来了。

自然界的种种现象是早已有之的,但人们对它们的认识是随着生产的发展而逐步深化、全面的,科学史就反映出这个艰难的历程。在数学研究中,面对确定性现象,2000多年前就开始建立“精确数学”(代数方程、微分方程等);面对随机性现象,400多年前开始建立“随机数学”(概率论,数理统计等),工业后大生产中的产品检验问题,大大推进了概率、统计、随机过程等分支的发展;而面对模糊性现象,20多年前才开始建立“模糊数学,可以毫不夸大地说:没有电子计算机便没有模糊数学。

人类的社会实践包括生产斗争、阶级斗争和科学实验三大运动,其中起决定作用的是生产斗争。社会生产从三个方面推动数学的发展,向数学提出新的问题,刺激数学向这个或那个方向发展,为数学提供新的发展条件,就象为生物学家提供显微镜、为天文学家提供望远镜那样,现代生产与科技为数学家提供了电子计算机,推动数学飞速发展。

虽然数学的理论往往具有非常抽象的形式,但是它们同时也是现实世界中量的关系和空间形式的深刻反映,因而可以广泛地应用到自然科学、技术部门、社会科学和生产实际中去,对于人类认识自然、改造自然起着重要的作用。这也是数学的发展对于社会生产的

发展所起的巨大的反作用,也是检验数学结论的真理性的唯一标准。

综上所述,数学的发展不能脱离社会生产的发展。在绝大多数情况下,前者依赖于后者,因而两者的发展大体上是相适应的。但是数学的发展也有相对的性,有时落后于社会生产的发展,有时则超越社会生产的发展。例如,公无前3世纪的圆锥曲线经过1800年,才在行星运动三定律中得到应用;19世纪20年代的非欧几何差不多100年后才在相对论中得到应用;19世纪40年代的数理逻辑,一百年后才在电子计算机中得到广泛应用。这些理论走在实践要求之前的发展,一般是由于纯粹数学内部矛盾运动推动的结果。

中国数学百年

1900年~1929年:中国现代数学的婴儿期,浙大数学也蹒跚起步

100年前清末的中国,百业凋敝,科技衰微。中国传统数学也是江河日下。此后的中国数学,完全是重起炉灶,按照西方数学模式发展起来的。1900年,德国数学家希尔伯特在巴黎数学家大会上提出23个著名的数学问题,当时的中国恐怕无人能听懂这些问题的意思。中国现代数学的真正开始,当以1917年胡明复在哈佛大学获得博士学位为标志,他的博士论文《具有边界条件的线性微分-积分方程》,发表在美国的一流数学杂志上。

1919年“五四运动”之后,中国现代数学教育有一个大发展。20世纪20年代,大学数学系如雨后春笋般兴办起来,尽管规模都不大。其中著名的有:熊庆来在东南大学和清华大学、姜立夫在南开大学、何鲁在四川大学、陈建功和苏步青在浙江大学设立的数学系。当时,中国的大学数学系已经达到国外一般大学的本科水平。

1930年~1949年:中国具备培养数学博士实力

20世纪30年代,中国数学界以清华大学数学系的阵容最强。除熊庆来担任系主任外,同于1928年在美国芝加哥大学毕业的杨武之和孙光远先后来清华执教。传奇数学家华罗庚进入清华,即随杨武之研究数论。后来成大名的陈省身由南开考入清华,作为孙光远的研究生研习几何学。这是中国自己培养的第一名数学硕士生。当时在清华求学的柯召、许宝马录、徐贤修、庄圻泰、段学复等,以后都是中国数学名家。清华数学系群星灿烂,标志着中国数学已经达到了能够培养数学硕士的水平。

1937年,抗日战争爆发,北京大学、清华大学、南开大学西迁昆明,成立西南联合大学。战时的困苦,现时难以想像。华罗庚、陈省身、王信忠三人一间房,每人一床、一桌、一椅、一盏菜油灯而已。就在这样的环境里,华罗庚完成了《堆垒素数论》,陈省身于大战正酣时辗转到达普林斯顿,于1943年证明了高维的“高斯-邦内公式”,开创了大范围微分几何的先河。正是华罗庚和陈省身的这些工作,使得中国现代数学具备了国际先进水平。此时的浙江大学西迁贵州湄潭,陈建功、苏步青领导的数学系,也是国内数学研究的重要基地。由此可见,20世纪40年代的中国数学界,已经具有培养数学博士的实力,只是还没有设立博士学位的制度而已。

1949年~1979年:中国数学先基础后应用

1950年后的中国数学研究,规模成倍扩大,纯粹数学和应用数学的门类逐渐齐全,各项重点项目发展很快。华罗庚领导的数论研究,云集了王元、陈景润、潘承洞等青年名家,日后均有重大贡献。1956年,华罗庚以多元复变函数论研究、吴文俊以拓扑学研究荣获国家自然科学奖一等奖(另一项是钱学森的《工程控制论》)。在南方,苏步青、陈建功领导的复旦大学数学系,研究成果累累。较年轻的谷超豪、胡和生、夏道行等脱颖而出,在微分几何、函数论诸方面取得国际水平的成果。

中国数学界的风气趋于基础扎实、推理严谨。一些对国计民生有巨大关系的学科,如微分方程、计算数学、概率统计等都得到优先发展。

1957年之后,与国计民生有关的数学课程相继成为数学系的必修课,如线性代数、偏微分方程、概率统计等。

1980年至今:同志尚需努力

陈景润的“哥德猜想研究”如报春信息,成为一代知识青年的科学偶像。在1966年创立“有限元方法”的冯康,赢得了广泛的国际赞誉。与此同时,国家不断出台推动科学研究的,在这一时期,许多数学家相继做出高水平的研究工作,如包头中学教师陆家羲的“关于不相交Steiner三元素大集的研究”;谷超豪等的“经典规范场理论研究”等工作,先后赢得了国际声誉。

频繁而密切的国际交往,是20世纪80年代以来中国数学界的重要特点。一些著名的旅居国外的数学家,对中国数学的发展,倾注了巨大的热情。陈省身推动建立南开数学所,并首任所长。应用数学大家林家翘,帮助创立“工业与应用数学学会”,创立清华“应用数学研究所”。1982年费尔兹奖获得者丘成桐,倡议建立“晨星数学基金会”,召开华人数学家大会,力争使华人数学家在世界上取得重要的、能与国际数学名家进行平等交流的地位。

熊庆来出席1932年在苏黎世举行的大会,是中国数学家的首次参与。

100年过去了。回顾往事,中国现代数学从无到有,真是沧桑巨变。但是,展望将来,中国数学还没有达到世界一流水平,需要继续努力。

16、17世纪的欧洲,漫长的中世纪已经结束,文艺复兴带来了人们的觉醒,束缚人们思想自由发展的烦琐哲学和神学的教条权威逐步被摧毁了。封建社会开始解体,代之而起的是资本主义社会,生产力大大。资本主义工场手工业的繁荣和向机器生产的过渡,促

使技术科学和数学急速发展。

例如在航海方面,为了确定船只的位置,要求更加精密的天文观测。军事方面,弹道学成为研究的中心课题。准确时计的制造,运河的开凿,堤坝的修筑,行星的椭圆轨道理论等等,也都需要很多复杂的计算。古希腊以来的初等数学,已渐渐不能满足当时的需要了。

在科学史上,这一时期出现了许多重大的事件,向数学提出新的课题。首先是哥白尼提出地动说,使神学的重要理论支柱的地心说发生了根本的动摇。他的弟子雷蒂库斯见到当时天文观测日益精密,推算详细的三角函数表已成为刻不容缓的事,于是开始制作每隔10\"的正弦、正切及正割表。当时全凭手算,雷蒂库斯和他的助手勤奋工作达12年之久,直

到死后才由他的弟子奥托完成。

16世纪下半叶,丹麦天文学家第谷进行了大量精密的天文观测,在这个基础上,德国天文

学家开普勒总结出行星运动的三大定律,导致后来牛顿万有引力的发现。

开普勒的《酒桶的新立体几何》将酒桶看作由无数的圆薄片累积而成,从而求出其体积。

这是积分学的前驱工作。

意大利科学家伽利略主张自然科学研究必须进行系统的观察与实验,充分利用数学工具去探索大自然的奥秘。这些观点对科学(特别是物理和数学)的发展有巨大的影响。他的学生卡瓦列里创立了“不可分原理”。依靠这个原理他解决了许多现在可以用更严格的积分法解决的问题。“不可分”的思想萌芽于1620年,深受开普勒和伽利略的影响,是希腊欧

多克索斯的穷竭法到牛顿、莱布尼茨微积分的过渡。

16世纪的意大利,在代数方程论方面也取得了一系列的成就。塔塔利亚、卡尔达诺、费拉里、邦贝利等人相继发现和改进三次、四次方程的普遍解法,并第一次使用了虚数。

这是自希腊丢番图以来代数上的最大突破。法国的韦达集前人之大成,创设大量代数符号,

用字母代表未知数,改良计算方法,使代数学大为改观。

在数字计算方面,斯蒂文系统地阐述和使用了小数,接着纳皮尔创制了对数,大大加快了计算速度。以后帕斯卡发明了加法机,莱布尼茨发明了乘法机,虽然未臻于实用,但开辟

了机械计算的新途径。

17世纪初,初等数学的主要科目(算术、代数、几何、三角)已基本形成,但数学的发展正是方兴未艾,它以加速的步伐迈入数学史的下一个阶段:变量数学时期这一时期和前一时

(常称为初等数学时期)的区别在于前一时期主要是用静止的方法研究客观世界的个别要

素,而这一时期是用运动的观点探索事物变化和发展的过程。

变量数学以解析几何的建立为起点,接着是微积分学的勃兴。这一时期还出现了概率论和射影几何等新的领域。但似乎都被微积分的强大光辉掩盖了。分析学以汹涌澎湃之势向前发展,到18世纪达到了空前灿烂的程度,其内容的丰富,应用之广泛,使人目不暇接。

这一时期所建立的数学,大体上相当于现今大学一二年级的学习内容。为了与中学阶段的初等数学相区别有时也叫古典高等数学,这一时期也相应叫做古典高等数学时期。

解析几何的产生,一般以笛卡儿《几何学》的出版为标志。这本书的内容不仅仅是几何,也有很多代数的问题。它和现在的解析几何教科书有很大的差距,其中甚至看不到“笛卡儿坐标系”。但可贵的是它引入了性的思想,为开辟数学的新园地作出了贡献。

《几何学》的主要功绩,可以归结为三点:把过去对立着的两个研究对象“形”和“数”统一起来,引入了变量,用代数方法去解决古典的几何问题;最后抛弃了希腊人的齐性限

制;改进了代数符号。

法国数学家费马也分享着解析几何创立的荣誉,他的发现在时间上可能早于笛卡儿,不过发表很晚。他是一个业余数学家,在数论、概率论、光学等方面均有重要贡献。他已得到微积分的要旨,曾提出求函数极大极小的方法。他建立了很多数论定理,其中“费马大定

理”最有名,不过只是一个猜想,至今仍未得到证明。

对概率论的兴趣,本来是由保险事业的发展而产生的,但促使数学家去思考一些特殊的概率问题却来自者的请求。费马、帕斯卡、惠更斯是概率论的早期创立者,以后经过18、

19世纪拉普拉斯、泊松等人的研究,概率论成为应用广泛的庞大数学分支。

和解析几何同时,17世纪在几何领域内还发生了另一场重大的变革,这就是射影几何的建立。决定性的进步是德扎格和帕斯卡的工作。前者引入了无穷远点、无穷远线,讨论了极点与极线、透射、透视等问题,他所发现的“德扎格定理”是全部射影几何的基本定理。

帕斯卡10年发表的《圆锥曲线论》,是自阿波罗尼奥斯以来圆锥曲线论的最大进步。可是当时的数学家大多致力于分析学的研究,射影几何没有受到重视,直到18世纪末才重

新引起人们的注意。

17世纪是一个创作丰富的时期,而最辉煌的成就是微积分的发明。它的出现是整个数学史也是整个人类历史的一件大事。它从生产技术和理论科学的需要中产生,同时又回过头来深刻地影响着生产技术和自然科学的发展。微积分对于今天的科技工作者来说,已经象布

帛菽粟一样,须臾不可离了。

微积分是经过了长时间的酝酿才产生的。积分的思想,早在阿基米德时代已经萌芽,16、17世纪之交,开普勒、卡瓦列里、费马、沃利斯特别是巴罗等人作了许多准备工作。作为微分学中心问题的切线问题的探讨,却是比较晚的事,因而微分学的起点远远落在积分学

之后。

17世纪的著名数学家(主要是法国)如费马、笛卡儿、罗贝瓦尔、德扎格等人都曾卷入“切线问题”的论战中。笛卡儿和费马认为切线是当两个交点重合时的割线。而罗贝瓦尔则从运动的角度出发,将切线看作描画这曲线的运动在这点的方向,这观点至今在力学上还有

实际意义。

牛顿、莱布尼茨的最大功劳是将两个貌似不相关的问题联系起来,一个是切线问题(微分学的中心问题),一个是求积问题(积分学的中心问题),建立起两者之间的桥梁,用微积分基

本定理或者“牛顿—莱布尼茨公式”表达出来。

在牛顿1665年5月20日(格里历31日)手写的一页文件中,有微积分的最早记载,但他的工作长久没有人知道,直到1687年才用几何的形式摘记在他的名著《自然哲学的数学原理》中。牛顿建立微积分主要从运动学的观点出发,而莱布尼茨则是从几何学的角度去

考虑。特别和巴罗的“微分三角形”有密切关系。

莱布尼茨第一篇微分学的文章1684年在《学艺》上发表,第一篇积分学的文章1686年

在同一杂志发表。他所创设的符号远优于牛顿,故为后世所沿用。它的理论很快就得到洛必达、伯努利家族和欧拉等人的继承和发扬光大,到18世纪进入了一个丰收的时期。

任何一项重大发明,都不可能一开始便完整无瑕。17世纪的微积分带有严重的逻辑困难,以致受到多方面的非议。它的基础是极限论,而牛顿、莱布尼茨的极限观念是十分模糊的。究竟极限是什么,无穷小是什么,这在当时是带有根本性质的难题。尽管如此,微积分在实践方面的胜利,足以令人信服。大多数数学家暂时搁下逻辑基础不顾,勇往直前地去开

拓这个新的园地。

17世纪数学发展的特点,可以概括如下。产生了几个影响很大的新领域,如解析几何、微

积分、概率论、射影几何等。每一个领域都使古希腊人的成就相形见绌。

代数化的趋势,希腊数学的主体是几何学,代数的问题往往也要用几何方法去论证。17世纪的代数学比几何学占有更重要的位置,它冲破希腊人的框框,进一步向符号代数转化,

几何问题常常反过来用代数方法去解决。

出现了大量新概念,如无理数、虚数、瞬时变化率、导数、积分等等,都不是经验事实的

直接反映,而是由数学理论进一步抽象所产生。

数学和其他自然科学的联系更加紧密,实验科学(从伽利略开始)的兴起,促进数学的发展,而数学的成果又渗透到其他科学部门中去。许多数学家,如牛顿、莱布尼茨、笛卡儿、费

马等,本身也都是天文学家、物理学家或哲学家。

数学知识广泛交流传播,希腊时代只有少数人在研究数学,直到16世纪,情况并无多大改变。17世纪研究人员大增,学术团体(学会或学院)相继成立,加上印刷业的兴旺发达,

数学知识得到普遍的推广和应用。

总的来说,17世纪是许多新兴科目的始创阶段,而18世纪是充实和发扬阶段,19世纪是回顾、推广和改革阶段,并以崭新的姿态进入下一个世纪。十六、十七世纪数学

欧洲中世纪数学

中世纪开始于公元476年西罗马帝国灭亡,约结束于15世纪。这一千年的历史大致可以分为两段。十一世纪之前常称为黑暗时代,这时西欧在教神学和烦琐哲学的教条统治下,人们失去了思想自由,生产墨守成规,技术进步缓慢,数学停滞不前。十一世纪以后情况稍有好转。

希腊文化通过罗马人传到中世纪的很少,这大部分体现在博伊西斯(约480~524)的著作中。他的《算术原理》大体上是新毕达哥拉斯学派数学家尼科马霍斯《算术入门》的译本,但若干精采的命题均被删去。博伊西斯的《几何》取材于欧几里得《几何原本》,但却完全没有证明,因为他认为证明是多余的。

公元529年,东罗马帝国皇帝查士丁尼勒令关闭雅典的学校,严禁研究和传播数学。数学发展再一次受到沉重的打击。此后数百年,值得称道的数学家屈指可数,而且多是神职人员。

号称博学多才的比德是英国的僧侣学者,终生在修道院度过。他的本领是会算复活节(每年过春分月圆后的第一个星期日)的日期,和用手指来计算。稍后的阿尔昆也是著名的英国神学家。781年左右,接受查理曼大帝的聘请,到法兰克王国担任宫廷教师和顾问。他所编的算术书,现在看来是相当粗浅的。热尔贝原是兰斯的大主教,后被选为教皇,改

名西尔威斯特二世。他热心提倡学术,对推动“四艺”(音乐、几何、算术、天文)的学习有一定的功劳。十字军远征(1096~1291)使欧洲人接触到阿拉伯国家所保有古代文化宝藏。

他们将大量的阿拉伯文书籍译成拉丁文。于是希腊、印度和阿拉伯人创造的文化,还有中国的四大发明便传到了欧洲。意大利地处东西方交通的要冲,逐渐成为新的经济和文化中心。

12、13世纪欧洲数学界的代表人物是斐波那契,他向欧洲人介绍了印度-阿拉伯数码和位值制记数法,以及各种算法在商业上的应用。

中国的盈不足术和《孙子算经》的不定方程解法也出现在斐波那契的书中。此外他还有很多独创性的工作。

14世纪的法国主教奥尔斯姆引入了分指数记法和坐标制的思想,后者是从天文、地理的经纬度到近代坐标几何的过渡。英国大主教布雷德沃丁的算术、几何、力学的著作影响也很大。欧洲第一本系统的三角学作者是雷格蒙塔努斯。

文艺复兴以后,人类摆脱了中世纪束缚思想的精神枷锁,迎接了一个新时代的到来。

埃及古代数学

埃及是世界上文化发达最早的几个地区之一,位于尼罗河两岸,公元前3200年左右,形成一个统一的国家。尼罗河定期泛滥,淹没全部谷地,水退后,要重新丈量居民的耕地面积。由于这种需要,多年积累起来的测地知识便逐渐发展成为几何学。

公元前2900年以后,埃及人建造了许多金字塔,作为法老的坟墓。从金字塔的结构,可知当时埃及人已懂得不少天文和几何的知识。

例如基底直角的误差与底面正方形两边同正北的偏差都非常小。现今对古埃及数学的认识,主要根据两卷用僧侣文写成的纸草书;一卷藏在伦敦,叫做莱因德纸草书,一卷藏在莫斯科。

埃及最古老的文字是象形文字,后来演变成一种较简单的书写体,通常叫僧侣文。除了这两卷纸草书外,还有一些写在羊皮上或用象形文字刻在石碑上和木头上的史料,藏于世界各地。两卷纸草书的年代在公元前1850~前1650年之间,相当于中国的夏代。

埃及很早就用十进记数法,但却不知道位值制,每一个较高的单位是用特殊的符号来表示的。例如111,象形文字写成三个不同的字符,而不是将1重复三次。埃及算术主要是加法,而乘法是加法的重复。他们能解决一些一元一次方程的问题,并有等差、等比数列的初步知识。占特别重要地位的是分数算法,即把所有分数都化成单位分数(即分子是1的分数)的和。莱因德纸草书用很大的篇幅来记载2/N(N从5到101)型的分数分解成单位分数的结果。为什么要这样分解以及用什么方法去分解,到现在还是一个谜。这种繁杂的分数算法实际上阻碍了算术的进一步发展。

纸草书还给出圆面积的计算方法:将直径减去它的1/9之后再平方。计算的结果相当于用3.1605作为圆周率,不过他们并没有圆周率这个概念。根据莫斯科纸草书,推测他们也许知道正四棱台体积的计算方法。总之,古代埃及人积累了一定的实践经验,但还没有上升为系统的理论。

古希腊数学

古希腊的地理范围,除了现在的希腊半岛外,还包括整个爱琴海区域和北面的马其顿和色雷斯、意大利半岛和小亚细亚等地。公元前5、6世纪,特别是希、波战争以后,雅典取得希腊城邦的领导地位,经济生活高度繁荣,生产力显著提高,在这个基础上产生了光辉灿烂的希腊文化,对后世有深远的影响。

希腊数学的发展历史可以分为三个时期。第一期从伊奥尼亚学派到柏拉图学派为止,约为公元前七世纪中叶到公元前三世纪;第二期是亚历山大前期,从欧几里得起到公元前146年,希腊陷于罗马为止;第三期是亚历山大后期,是罗马人统治下的时期,结束于1年亚历山大被阿拉伯人占领。

从古代埃及、巴比伦的衰亡,到希腊文化的昌盛,这过渡时期留下来的数学史料很少。不过希腊数学的兴起和希腊商人通过旅行交往接触到古代东方的文化有密切关系。

伊奥尼亚位于小亚细亚西岸,它比希腊其他地区更容易吸收巴比伦、埃及等古国积累下来的经验和文化。在伊奥尼亚,氏族贵族政治为商人的统治所代替,商人具有强烈的活动性,有利于思想自由而大胆地发展。城邦内部的斗争,帮助摆脱传统信念在希腊没有特殊的祭司阶层,也没有必须遵守的教条,因此有相当程度的思想自由。这大大有助于科学和哲学从宗教分离开来。

米利都是伊奥尼亚的最大城市,也是泰勒斯的故乡,泰勒斯是公认的希腊哲学鼻祖。早年是一个商人,曾游访巴比伦、埃及等地,很快就学会古代流传下来的知识,并加以发扬。以后创立伊奥尼亚哲学学派,摆脱宗教,从自然现象中去寻找真理,以水为万物的根源。

当时天文、数学和哲学是不可分的,泰勒斯同时也研究天文和数学。他曾预测一次日

食,促使米太(在今黑海、里海之南)、吕底亚(今土耳其西部)两国停止战争,多数学者认为该次日食发生在公元前585年5月28日。他在埃及时曾利用日影及比例关系算出金字塔的高,使法老大为惊讶。

泰勒斯在数学方面的贡献是开始了命题的证明,它标志着人们对客观事物的认识从感性上升到理性,这在数学史上是一个不寻常的飞跃。伊奥尼亚学派的著名学者还有阿纳克西曼德和阿纳克西米尼等。他们对后来的毕达哥拉斯有很大的影响。

毕达哥拉斯公元前580年左右生于萨摩斯,为了摆脱,移居意大利半岛南部的克罗顿。在那里组织一个政治、宗教、哲学、数学合一的秘密团体。后来在政治斗争中遭到破坏,毕达哥拉斯被杀害,但他的学派还继续存在两个世纪之久。

毕达哥拉斯学派企图用数来解释一切,不仅仅认为万物都包含数,而且说万物都是数。他们以发现勾股定理(西方叫做毕达哥拉斯定理)闻名于世,又由此导致不可通约量的发现。

这个学派还有一个特点,就是将算术和几何紧密联系起来。他们找到用三个正整数表示直角三角形三边长的一种公式,又注意到从1起连续的奇数和必为平方数等等,这既是算术问题,又和几何有关,他们还发现五种正多面体。

伊奥尼亚学派和毕达哥拉斯学派有显著的不同。前者研习数学并不单纯为了哲学的兴趣,同时也为了实用。而后者却不注重实际应用,将数学和宗教联系起来,想通过数学去探索永恒的真理。

公元前五世纪,雅典成为人文荟萃的中心,人们崇尚公开的精神。在公开的讨论或辩论中,必须具有雄辩、修辞、哲学及数学等知识,于是“智人学派”应运而生。他们以教

授文法、逻辑、数学、天文、修辞、雄辩等科目为业。在数学上,他们提出“三大问题”:三等分任意角;倍立方,求作一立方体,使其体积是已知立方体的二倍;化圆为方,求作一正方形,使其面积等于一已知圆。这些问题的难处,是作图只许用直尺(没有刻度的尺)和圆规。

希腊人的兴趣并不在于图形的实际作出,而是在尺规的下从理论上去解决这些问题,这是几何学从实际应用向系统理论过渡所迈出的重要的一步。

这个学派的安提丰提出用“穷竭法”去解决化圆为方问题,这是近代极限理论的雏形。先作圆内接正方形,以后每次边数加倍,得8、16、32、…边形。安提丰深信“最后”的多边形与圆的“差”必会“穷竭”。这提供了求圆面积的近似方法,和中国的刘徽的割圆术思想不谋而合。

公元前三世纪,柏拉图在雅典建立学派,创办学园。他非常重视数学,但片面强调数学在训练智力方面的作用,而忽视其实用价值。他主张通过几何的学习培养逻辑思维能力,因为几何能给人以强烈的直观印象,将抽象的逻辑规律体现在具体的图形之中。

这个学派培养出不少数学家,如欧多克索斯就曾就学于柏拉图,他创立了比例论,是欧几里得的前驱。柏拉图的学生亚里士多德也是古代的大哲学家,是形式逻辑的奠基者。他的逻辑思想为日后将几何学整理在严密的逻辑体系之中开辟了道路。

这个时期的希腊数学中心还有以芝诺为代表的埃利亚学派,他提出四个悖论,给学术界以极大的震动。这四个悖论是:

二分说,一物从甲地到乙地,永远不能到达。因为想从甲到乙,首先要通过道路的一

半,但要通过这一半,必须先通过一半的一半,这样分下去,永无止境。结论是此物的运动被道路的无限分割阻碍着,根本不能前进一步;阿基琉斯(善跑英雄)追龟说,阿基琉斯追乌龟,永远追不上。因为当他追到乌龟的出发点时,龟已向前爬行了一段,他再追完这一段,龟又向前爬了一小段。这样永远重复下去,总也追不上;飞箭静止说,每一瞬间箭总在一个确定的位置上,因此它是不动的;运动场问题,芝诺论证了时间和它的一半相等。

以德谟克利特为代表的原子论学派,认为线段、面积和立体,是由许多不可再分的原子所构成。计算面积和体积,等于将这些原子集合起来。这种不甚严格的推理方法却是古代数学家发现新结果的重要线索。

公元前四世纪以后的希腊数学,逐渐脱离哲学和天文学,成为的学科。数学的历史于是进入一个新阶段——初等数学时期。

这个时期的特点是,数学(主要是几何学)已建立起自己的理论体系,从以实验和观察为依据的经验科学过渡到演绎的科学。由少数几个原始命题(公理)出发,通过逻辑推理得到一系列的定理。这是希腊数学的基本精神。

在这一时期里,初等几何、算术初等代数大体己成为的科目。和17世纪出现的解析几何学、微积分学相比,这一个时期的研究内容可以用“初等数学”来概括,因此叫做初等数学时期。

埃及的亚历山大城,是东西海陆交通的枢纽,又经过托勒密王的加意经营,逐渐成为新的希腊文化中心,希腊本土这时已经退居次要地位。几何学最初萌芽于埃及,以后移植于伊奥尼亚,其次繁盛于意大利和雅典,最后又回到发源地。经过这一番培植,已达到丰茂成林的境地。

从公元前四世纪到公元前146年古希腊灭亡,罗马成为地中海区域的统治者为止,希腊数学以亚历山大为中心,达到它的全盛时期。这里有巨大的图书馆和浓厚的学术空气,各地学者云集在此进行教学和研究。其中成就最大的是亚历山大前期三大数学家欧几里得、阿基米德和阿波罗尼奥斯。

欧几里得的《几何原本》是一部划时代的著作。其伟大的历史意义在于它是用公理法建立起演绎体系的最早典范。过去所积累下来的数学知识,是零碎的、片断的,可以比作砖瓦木石;只有借助于逻辑方法,把这些知识组织起来,加以分类、比较,揭露彼此间的内在联系,整理在一个严密的系统之中,才能建成宏伟的大厦。《几何原本》体现了这种精神,它对整个数学的发展产生深远的影响。

阿基米德是物理学家兼数学家,他善于将抽象的理论和工程技术的具体应用结合起来,又在实践中洞察事物的本质,通过严格的论证,使经验事实上升为理论。他根据力学原理去探求解决面积和体积问题,已经包含积分学的初步思想。阿波罗尼奥斯的主要贡献是对圆锥曲线的深入研究。

除了三大数学家以外,埃拉托斯特尼的大地测量和以他为名的“素数筛子”也很出名。天文学家喜帕恰斯制作“弦表”,是三角学的先导。

公元前146年以后,在罗马统治下的亚历山大学者仍能继承前人的工作,不断有所发明。海伦(约公元62)、门纳劳斯(约公元100)、帕普斯等人都有重要贡献。天文学家托勒密将喜帕恰斯的工作加以整理发挥,奠定了三角学的基础。

晚期的希腊学者在算术和代数方面也颇有建树,代表人物有尼科马霍斯(约公元100)和丢番图(约250)前者是杰拉什(今约旦北部)地方的人。著有《算术入门》,后者的《算术》

是讲数的理论的,而大部分内容可以归入代数的范围。它完全脱离了几何的形式,在希腊数学中独树一帜,对后世影响之大,仅次于《几何原本》。

公元325年,罗马帝国的君士坦丁大帝开始利用宗教作为统治的工具,把一切学术都置于教神学的控制之下。

公元529年,东罗马帝国皇帝查士·丁尼下令关闭雅典的柏拉图学园以及其他学校,严禁传授数学。许多希腊学者逃到叙利亚和波斯等地。数学研究受到沉重的打击。1年,亚历山大被阿拉伯人占领,图书馆再次被毁,希腊数学至此告一段落。

最早的数学——算术

算术是数学中最古老、最基础和最初等的部分。它研究数的性质及其运算。

“算术”这个词,在我国古代是全部数学的统称。至于几何、代数等许多数学分支学科的名称,都是后来很晚的时候才有的。

国外系统地整理前人数学知识的书,要算是希腊的欧几里得的《几何原本》最早。《几何原本》全书共十五卷,后两卷时候人增补的。全书大部分是属于几何知识,在第七、八、九卷中专门讨论了数的性质和运算,属于算术的内容。

现在拉丁文的“算术”这个词是由希腊文的“数和数(音属,sh?三音)数的技术”变化而来的。“算”字在中国的古意也是“数”的意思,表示计算用的竹筹。中国古代的复杂数字计算都要用算筹。所以“算术”包含当时的全部数学知识与计算技能,流传下来的最古老的《九章算术》以及失传的许商《算术》和杜忠《算术》,就是讨论各种实际的数学问题

的求解方法。

关于算数的产生,还是要从数谈起。数是用来表达、讨论数量问题的,有不同类型的量,也就随着产生了各种不同类型的数。远在古代发展的最初阶段,由于人类日常生活与生产实践中的需要,在文化发展的最初阶段就产生了最简单的自然数的概念。

自然数的一个特点就是由不可分割的个体组成。比如说树和羊这两种事物,如果说两棵树,就是一棵再一颗;如果有三只羊,就是一只、一只又一只。但不能说有半棵树或者半只羊,半棵树或者半只羊充其量只能算是木材或者是羊肉,而不能算作树和羊。

不过,自然数不足以解决生活和生产中常见的分份问题,因此数的概念产生了第一次扩张。分数是对另一种类型的量的分割而产生的。比如,长度就是一种可以无限地分割的量,要表示这些量,就只有用分数。

从已有的文献可知,人类认识自然数和分数的历史是很久的。比如约公元前2000年流传下来的古埃及莱茵德纸草书,就记载有关于分数的计算方法;中国殷代遗留下来的甲骨文中也有很多自然数,最大的数字是三万,并且全部是应用十进位制的位置计数法。

自然数和分数具有不同的性质,数和数之间也有不同的关系,为了计算这些数,就产生了加、减、乘、除的方法,这四种方法就是四则运算。

把数和数的性质、数和数之间的四则运算在应用过程中的经验累积起来,并加以整理,

就形成了最古老的一门数学──算术。

在算术的发展过程中,由于实践和理论上的要求,提出了许多新问题,在解决这些新问题的过程中,古算术从两个方面得到了进一步的发展。

一方面在研究自然数四则运算中,发现只有除法比较复杂,有的能除尽,有的除不尽,有的数可以分解,有的数不能分解,有些数又大于1的公约数,有些数没有大于1的公约数。为了寻求这些数的规律,从而发展成为专门研究数的性质、脱离了古算术而的一个数学分支,叫做整数论,或叫做初等数论,并在以后又有新的发展。

另一方面,在古算术中讨论各种类型的应用问题,以及对这些问题的各种解法。在长期的研究中,很自然地就会启发人们寻求解这些应用问题的一般方法。也就是说,能不能找到一般的更为普遍适用的方法来解决同样类型的应用问题,于是发明了抽象的数学符号,从而发展成为数学的另一个古老的分支,指就是初等代数。

数学发展到现在,算术已不再是数学的一个分支,现在我们通常提到的算术,只是作为小学里的一个教学科目,目的是使学生理解和掌握有关数量关系和空间形式的最基础的知识,能够正确、迅速地进行整数、小数、分数的四则运算,初步了解现代数学中的一些最简单的思想,具有初步的逻辑思维能力和空间观念。

现代小学数学的具体内容,基本上还是古代算术的知识,也就是说,古代算术和现代算术的许多内容上是相同的。不过现代算术和古代算术也还存在着区别。

首先,算术的内容是古代的成人包括数学家所研究的对象,现在这些内容已变成了少年儿童的数学。其次,在现代小学数学里,总结了长期以来所归结出来的基本运算性质,即加法、乘法的交换律和结合律,以及乘法对加法的分配律。这五条基本运算定律,不仅是小学数学里所学习的数运算的重要性质,也是整个数学里,特别是代数学里着重研究的主要性质。

第三,在现代的小学数学里,还孕育着近代数学里的集合和函数等数学基础概念的思想。比如,和、差、积、商的变化,数和数之间的对应关系,以及比和比例等。

另外,现在小学数学里,还包含有十六世纪才出现的十进小数和它们的四则运算。应当提出的是十进小数不是一种新的数,而可以被看作是一种分母是10的方幂的分数的另一种写法。

我们在这里把算术列成第一个分支,主要是想强调在古代全部数学就叫做算术,现代的代数学、数论等最初就是由算术发展起来的。后来,算学、数学的概念出现了,它代替了算术的含义,包括了全部数学,算术就变成了一个分支了。因此,也可以说算术是古老的分支

中国数学史之中国古代数学的萌芽

数学是中国古代科学中一门重要的学科,根据中国古代数学发展的特点,可以分为五个时期:萌芽;体系的形成;发展;繁荣和中西方数学的融合。

中国古代数学的萌芽

原始公社末期,私有制和货物交换产生以后,数与形的概念有了进一步的发展,仰韶文化时期出土的陶器,上面已刻有表示1234的符号。到原始公社末期,已开始用文字符号取代结绳记事了。

西安半坡出土的陶器有用1~8个圆点组成的等边三角形和分正方形为100个小正方形的图案,半坡遗址的房屋基址都是圆形和方形。为了画圆作方,确定平直,人们还创造了规、矩、准、绳等作图与测量工具。据《史记·夏本纪》记载,夏禹治水时已使用了这些工具。

商代中期,在甲骨文中已产生一套十进制数字和记数法,其中最大的数字为三万;与此同时,殷人用十个天干和十二个地支组成甲子、乙丑、丙寅、丁卯等60个名称来记60天的日期;在周代,又把以前用阴、阳符号构成的八卦表示八种事物发展为六十四卦,表示种事物。

公元前一世纪的《周髀算经》提到西周初期用矩测量高、深、广、远的方法,并举出勾股形的勾三、股四、弦五以及环矩可以为圆等例子。《礼记·内则》篇提到西周贵族子弟从九岁开始便要学习数目和记数方法,他们要受礼、乐、射、驭、书、数的训练,作为“六艺”之一的数已经开始成为专门的课程。

春秋战国之际,筹算已得到普遍的应用,筹算记数法已使用十进位值制,这种记数法对世界数学的发展是有划时代意义的。这个时期的测量数学在生产上有了广泛应用,在数学上亦有相应的提高。

战国时期的百家争鸣也促进了数学的发展,尤其是对于正名和一些命题的争论直接与数学有关。名家认为经过抽象以后的名词概念与它们原来的实体不同,他们提出“矩不方,规不可以为圆”,把“大一”(无穷大)定义为“至大无外”,“小一”(无穷小)定义为“至小无内”。还提出了“一尺之棰,日取其半,万世不竭”等命题.

而墨家则认为名来源于物,名可以从不同方面和不同深度反映物。墨家给出一些数学定义。例如圆、方、平、直、次(相切)、端(点)等等。

墨家不同意“一尺之棰”的命题,提出一个“非半”的命题来进行反驳:将一线段按一半一半地无限分割下去,就必将出现一个不能再分割的“非半”,这个“非半”就是点。

名家的命题论述了有限长度可分割成一个无穷序列,墨家的命题则指出了这种无限分割的变化和结果。名家和墨家的数学定义和数学命题的讨论,对中国古代数学理论的发展是很有意义的。

中国数学史之中国古代数学体系的形成

秦汉是封建社会的上升时期,经济和文化均得到迅速发展。中国古代数学体系正是形成于这个时期,它的主要标志是算术已成为一个专门的学科,以及以《九章算术》为代表的数学著作的出现。

《九章算术》是战国、秦、汉封建社会创立并巩固时期数学发展的总结,就其数学成就来说,堪称是世界数学名著。例如分数四则运算、今有术(西方称三率法)、开平方与开立方(包括二次方程数值解法)、盈不足术(西方称双设法)、各种面积和体积公式、线性方程组解法、正负数运算的加减法则、勾股形解法(特别是勾股定理和求勾股数的方法)等,水

平都是很高的。其中方程组解法和正负数加减法则在世界数学发展上是遥遥领先的。就其特点来说,它形成了一个以筹算为中心、与古希腊数学完全不同的体系。

《九章算术》有几个显著的特点:采用按类分章的数学问题集的形式;算式都是从筹算记数法发展起来的;以算术、代数为主,很少涉及图形性质;重视应用,缺乏理论阐述等。

这些特点是同当时社会条件与学术思想密切相关的。秦汉时期,一切科学技术都要为当时确立和巩固封建制度,以及发展社会生产服务,强调数学的应用性。最后成书于东汉初年的《九章算术》,排除了战国时期在百家争鸣中出现的名家和墨家重视名词定义与逻辑的讨论,偏重于与当时生产、生活密切相结合的数学问题及其解法,这与当时社会的发展情况是完全一致的。

《九章算术》在隋唐时期曾传到朝鲜、日本,并成为这些国家当时的数学教科书。它的一些成就如十进位值制、今有术、盈不足术等还传到印度和阿拉伯,并通过印度、阿拉伯传到欧洲,促进了世界数学的发展。

中国数学史之中国古代数学的发展

魏、晋时期出现的玄学,不为汉儒经学束缚,思想比较活跃;它诘辩求胜,又能运用逻辑思维,分析义理,这些都有利于数学从理论上加以提高。吴国赵爽注《周髀算经》,汉末魏初徐岳撰《九章算术》注,魏末晋初刘徽撰《九章算术》注、《九章重差图》都是出现在这个时期。赵爽与刘徽的工作

赵爽是中国古代对数学定理和公式进行证明与推导的最早的数学家之一。他在《周髀

算经》书中补充的“勾股圆方图及注”和“日高图及注”是十分重要的数学文献。在“勾股圆方图及注”中他提出用弦图证明勾股定理和解勾股形的五个公式;在“日高图及注”中,他用图形面积证明汉代普遍应用的重差公式,赵爽的工作是带有开创性的,在中国古代数学发展中占有重要地位。

刘徽约与赵爽同时,他继承和发展了战国时期名家和墨家的思想,主张对一些数学名词特别是重要的数学概念给以严格的定义,认为对数学知识必须进行“析理”,才能使数学著作简明严密,利于读者。他的《九章算术》注不仅是对《九章算术》的方法、公式和定理进行一般的解释和推导,而且在论述的过程中有很大的发展。刘徽创造割圆术,利用极限的思想证明圆的面积公式,并首次用理论的方法算得圆周率为157/50和3927/1250。

刘徽用无穷分割的方法证明了直角方锥与直角四面体的体积比恒为2:1,解决了一般立体体积的关键问题。在证明方锥、圆柱、圆锥、圆台的体积时,刘徽为彻底解决球的体积提出了正确途径。东晋以后,中国长期处于战争和南北的状态。祖冲之父子的工作就是经济文化南移以后,南方数学发展的具有代表性的工作,他们在刘徽注《九章算术》的基础上,把传统数学大大向前推进了一步。他们的数学工作主要有:计算出圆周率在3.1415926~3.1415927之间;提出祖(日恒)原理;提出二次与三次方程的解法等。

据推测,祖冲之在刘徽割圆术的基础上,算出圆内接正6144边形和正12288边形的面积,从而得到了这个结果。他又用新的方法得到圆周率两个分数值,即约率22/7和密率355/113。祖冲之这一工作,使中国在圆周率计算方面,比西方领先约一千年之久;祖冲之之子祖(日恒)总结了刘徽的有关工作,提出“幂势既同则积不容异”,即等高的两立体,若其任意高处的水平截面积相等,则这两立体体积相等,这就是著名的祖(日恒)公理。祖(日恒)应用这个公理,解决了刘徽尚未解决的球体积公式。

隋炀帝好大喜功,大兴土木,客观上促进了数学的发展。唐初王孝通的《缉古算经》,主要讨论土木工程中计算土方、工程分工、验收以及仓库和地窖的计算问题,反映了这个时期数学的情况。王孝通在不用数学符号的情况下,立出数字三次方程,不仅解决了当时社会的需要,也为后来天元术的建立打下基础。此外,对传统的勾股形解法,王孝通也是用数字三次方程解决的。

唐初封建统治者继承隋制,656年在国子监设立算学馆,设有算学博士和助教,学生30人。由太史令李淳风等编纂注释《算经十书》,作为算学馆学生用的课本,明算科考试亦以这些算书为准。李淳风等编纂的《算经十书》,对保存数学经典著作、为数学研究提供文献资料方面是很有意义的。他们给《周髀算经》、《九章算术》以及《海岛算经》所作的注解,对读者是有帮助的。隋唐时期,由于历法的需要,天算学家创立了二次函数的内插法,丰富了中国古代数学的内容。

算筹是中国古代的主要计算工具,它具有简单、形象、具体等优点,但也存在布筹占用面积大,运筹速度加快时容易摆弄不正而造成错误等缺点,因此很早就开始进行改革。其中太乙算、两仪算、三才算和珠算都是用珠的槽算盘,在技术上是重要的改革。尤其是“珠算”,它继承了筹算五升十进与位值制的优点,又克服了筹算纵横记数与置筹不便的缺点,优越性十分明显。但由于当时乘除算法仍然不能在一个横列中进行。算珠还没有穿档,携带不方便,因此仍没有普遍应用。

唐中期以后,商业繁荣,数字计算增多,迫切要求改革计算方法,从《新唐书》等文献留下来的算书书目,可以看出这次算法改革主要是简化乘、除算法,唐代的算法改革使乘除法可以在一个横列中进行运算,它既适用于筹算,也适用于珠算。

因篇幅问题不能全部显示,请点此查看更多更全内容

Copyright © 2019- huatuo0.cn 版权所有 湘ICP备2023017654号-2

违法及侵权请联系:TEL:199 18 7713 E-MAIL:2724546146@qq.com

本站由北京市万商天勤律师事务所王兴未律师提供法律服务