数学的发展论文摘要

论文是议论文体。随着信息科学技术的飞速发展，我们迎来了数据大爆炸时代数据是信息的载体，而信息则是数据的表现形态，要想让数据产生价值，就必须挖掘出其有用的信息，这就是大数据要做的物联网的崛起与信息科技的发展有着密不可分的关系，它能使人与物产生互动，给人类社会的发展带来质的飞跃论文首先从大数据的概念入手，再对物联网做相应的介绍，进而讨论大数据背景下的物联网发展。随着计算机技术和因特网的迅猛发展，网上查询、检索和下载专业数据已成为当前科技信息情报检索的重要手段，对于网上各类全文数据库或文摘数据库，论文摘要的索引是读者检索文献的重要工具，为科技情报文献检索数据库的建设和维护提供方便。摘要是对论文综合的介绍，使人了解论文阐述的主要内容。论文发表后，文摘杂志或各种数据库对摘要可以不作修改或稍作修改而直接利用，让读者尽快了解论文的主要内容，以补充题名的不足，从而避免他人编写摘要可能产生的误解、欠缺甚至错误。所以论文摘要的质量高低，直接影响着论文的被检索率和被引频次。

高中：人类是动物进化的产物，最初也完全没有数量的概念。但人类发达的大脑对客观世界的认识已经达到更加理性和抽象的地步。这样，在漫长的生活实践中，由于记事和分配生活用品等方面的需要，才逐渐产生了数的概念。比如捕获了一头野兽，就用1块石子代表。捕获了3头，就放3块石子。"结绳记事"也是地球上许多相隔很近的古代人类共同做过的事。我国古书《易经》中有"结绳而治"的记载。传说古代波斯王打仗时也常用绳子打结来计算天数。用利器在树皮上或兽皮上刻痕，或用小棍摆在地上计数也都是古人常用的办法。这些办法用得多了，就逐渐形成数的概念和记数的符号。 数的概念最初不论在哪个地区都是1、2、3、4……这样的自然数开始的，但是记数的符号却大小相同。 古罗马的数字相当进步，现在许多老式挂钟上还常常使用。 实际上，罗马数字的符号一共只有7个：I（代表1）、V（代表5）、X（代表10）、L（代表50）、C代表100）、D（代表500）、M（代表1,000）。这7个符号位置上不论怎样变化，它所代表的数字都是不变的。它们按照下列规律组合起来，就能表示任何数： 1．重复次数：一个罗马数字符号重复几次，就表示这个数的几倍。如："III"表示"3"；"XXX"表示"30"。 2．右加左减：一个代表大数字的符号右边附一个代表小数字的符号，就表示大数字加小数字，如"VI"表示"6"，"DC"表示"600"。一个代表大数字的符号左边附一个代表小数字的符号，就表示大数字减去小数字的数目，如"IV"表示"4"，"XL"表示"40"，"VD"表示"495"。 3．上加横线：在罗马数字上加一横线，表示这个数字的一千倍。如：""表示 "15,000"，""表示"165,000"。 我国古代也很重视记数符号，最古老的甲骨文和钟鼎中都有记数的符号，不过难写难认，后人没有沿用。到春秋战国时期，生产迅速发展，适应这一需要，我们的祖先创造了一种十分重要的计算方法--筹算。筹算用的算筹是竹制的小棍，也有骨制的。按规定的横竖长短顺序摆好，就可用来记数和进行运算。随着筹算的普及，算筹的摆法也就成为记数的符号了。算筹摆法有横纵两式，都能表示同样的数字。 从算筹数码中没有"10"这个数可以清楚地看出，筹算从一开始就严格遵循十位进制。9位以上的数就要进一位。同一个数字放在百位上就是几百，放在万位上就是几万。这样的计算法在当时是很先进的。因为在世界的其他地方真正使用十进位制时已到了公元6世纪末。但筹算数码中开始没有"零"，遇到"零"就空位。比如"6708"，就可以表示为"┴ ╥ "。数字中没有"零"，是很容易发生错误的。所以后来有人把铜钱摆在空位上，以免弄错，这或许与"零"的出现有关。不过多数人认为，"0"这一数学符号的发明应归功于公元6世纪的印度人。他们最早用黑点（·）表示零，后来逐渐变成了"0"。 说起"0"的出现，应该指出，我国古代文字中，"零"字出现很早。不过那时它不表示"空无所有"，而只表示"零碎"、"不多"的意思。如"零头"、"零星"、"零丁"。"一百零五"的意思是：在一百之外，还有一个零头五。随着阿拉数字的引进。"105"恰恰读作"一百零五"，"零"字与"0"恰好对应，"零"也就具有了"0"的含义。 如果你细心观察的话，会发现罗马数字中没有"0"。其实在公元5世纪时，"0"已经传入罗马。但罗马教皇凶残而且守旧。他不允许任何使用"0"。有一位罗马学者在笔记中记载了关于使用"0"的一些好处和说明，就被教皇召去，施行了拶（zǎn）刑，使他再也不能握笔写字。 但"0"的出现，谁也阻挡不住。现在，"0"已经成为含义最丰富的数字符号。"0"可以表示没有，也可以表示有。如：气温0℃，并不是说没有气温；"0"是正负数之间唯一的中性数；任何数（0除外）的0次幂等于1；0！=1（零的阶乘等于1）。 除了十进制以外，在数学萌芽的早期，还出现过五进制、二进制、三进制、七进制、八进制、十进制、十六进制、二十进制、六十进制等多种数字进制法。在长期实际生活的应用中，十进制最终占了上风。 现在世界通用的数码1、2、3、4、5、6、7、8、9、0，人们称之为阿拉伯数字。实际上它们是古代印度人最早使用的。后来阿拉伯人把古希腊的数学融进了自己的数学中去，又把这一简便易写的十进制位值记数法传遍了欧洲，逐渐演变成今天的阿拉伯数字。 数的概念、数码的写法和十进制的形成都是人类长期实践活动的结果。 随着生产、生活的需要，人们发现，仅仅能表示自然数是远远不行的。如果分配猎获物时，5个人分4件东西，每个人人该得多少呢？于是分数就产生了。中国对分数的研究比欧洲早1400多年！自然数、分数和零，通称为算术数。自然数也称为正整数。 随着社会的发展，人们又发现很多数量具有相反的意义，比如增加和减少、前进和后退、上升和下降、向东和向西。为了表示这样的量，又产生了负数。正整数、负整数和零，统称为整数。如果再加上正分数和负分数，就统称为有理数。有了这些数字表示法，人们计算起来感到方便多了。 但是，在数字的发展过程中，一件不愉快的事发生了。让我们回到大经贸部2500年前的希腊，那里有一个毕达哥拉斯学派，是一个研究数学、科学和哲学的团体。他们认为"数"是万物的本源，支配整个自然界和人类社会。因此世间一切事物都可归结为数或数的比例，这是世界所以美好和谐的源泉。他们所说的数是指整数。分数的出现，使"数"不那样完整了。但分数都可以写成两个整数之比，所以他们的信仰没有动摇。但是学派中一个叫希帕索斯的学生在研究1与2的比例中项时，发现没有一个能用整数比例写成的数可以表示它。如果设这个数为X，既然，推导的结果即x2=2。他画了一个边长为1的正方形，设对角线为x ，根据勾股定理x2=12+12=2，可见边长为1的正方形的对角线的长度即是所要找的那个数，这个数肯定是存在的。可它是多少？又该怎样表示它呢？希帕索斯等人百思不得其解，最后认定这是一个从未见过的新数。这个新数的出现使毕达哥拉斯学派感到震惊，动摇了他们哲学思想的核心。为了保持支撑世界的数学大厦不要坍塌，他们规定对新数的发现要严守秘密。而希帕索斯还是忍不住将这个秘密泄露了出去。据说他后来被扔进大海喂了鲨鱼。然而真理是藏不住的。人们后来又发现了很多不能用两整数之比写出来的数，如圆周率就是最重要的一个。人们把它们写成 π、等形式，称它们为无理数。 有理数和无理数一起统称为实数。在实数范围内对各种数的研究使数学理论达到了相当高深和丰富的程度。这时人类的历史已进入19世纪。许多人认为数学成就已经登峰造极，数字的形式也不会有什么新的发现了。但在解方程的时候常常需要开平方如果被开方数负数，这道题还有解吗？如果没有解，那数学运算就像走在死胡同中那样处处碰壁。于是数学家们就规定用符号"i "表示"-1"的平方根，即i＝，虚数就这样诞生了。"i "成了虚数的单位。后人将实数和虚数结合起来，写成 a＋bi的形式（a、b均为实数），这就是复数。在很长一段时间里，人们在实际生活中找不到用虚数和复数表示的量，所以虚数总让人感到虚无缥缈。随着科学的发展，虚数现在在水力学、地图学和航空学上已经有了广泛的应用，在掌握和会使用虚数的科学家眼中，虚数一点也不"虚"了。 数的概念发展到虚和复数以后，在很长一段时间内，连某些数学家也认为数的概念已经十分完善了，数学家族的成员已经都到齐了。可是1843年10月16日，英国数学家哈密尔顿又提出了"四元数"的概念。所谓四元数，就是一种形如的数。它是由一个标量（实数）和一个向量（其中x 、y 、z 为实数）组成的。四元数的数论、群论、量子理论以及相对论等方面有广泛的应用。与此同时，人们还开展了对"多元数"理论的研究。多元数已超出了复数的范畴，人们称其为超复数。 由于科学技术发展的需要，向量、张量、矩阵、群、环、域等概念不断产生，把数学研究推向新的高峰。这些概念也都应列入数字计算的范畴，但若归入超复数中不太合适，所以，人们将复数和超复数称为狭义数，把向量、张量、矩阿等概念称为广义数。尽管人们对数的归类法还有某些分歧，但在承认数的概念还会不断发展这一点上意见是一致的。到目前为止，数的家庭已发展得十分庞大。古代数学史： ①古希腊曾有人写过《几何学史》，未能流传下来。 ②5世纪普罗克洛斯对欧几里得《几何原本》第一卷的注文中还保留有一部分资料。 ③中世纪阿拉伯国家的一些传记作品和数学著作中，讲述到一些数学家的生平以及其他有关数学史的材料。 ④12世纪时，古希腊和中世纪阿拉伯数学书籍传入西欧。这些著作的翻译既是数学研究，也是对古典数学著作的整理和保存。 近代西欧各国的数学史： 是从18世纪，由J蒙蒂克拉、C博絮埃、AC克斯特纳同时开始，而以蒙蒂克拉1758年出版的《数学史》（1799～1802年又经Jde拉朗德增补）为代表。从19世纪末叶起，研究数学史的人逐渐增多,断代史和分科史的研究也逐渐展开,1945年以后，更有了新的发展。19世纪末叶以后的数学史研究可以分为下述几个方面。 ①通史研究 代表作可以举出MB康托尔的《数学史讲义》(4卷,1880～1908)以及CB博耶(1894、1919DE史密斯(2卷，1923～1925)、洛里亚（3卷，1929～1933）等人的著作。法国的布尔巴基学派写了一部数学史收入《数学原理》。以尤什凯维奇为代表的苏联学者和以弥永昌吉、伊东俊太郎为代表的日本学者也都有多卷本数学通史出版。1972年美国M克莱因所著《古今数学思想》一书，是70年代以来的一部佳作。 ②古希腊数学史 许多古希腊数学家的著作被译成现代文字，在这方面作出了成绩的有JL海贝格、胡尔奇、TL希思等人。洛里亚和希思还写出了古希腊数学通史。20世纪30年代起，著名的代数学家范·德·瓦尔登在古希腊数学史方面也作出成绩。60年代以来匈牙利的A萨博的工作则更为突出，他从哲学史出发论述了欧几里得公理体系的起源。 ③古埃及和巴比伦数学史 把巴比伦楔形文字泥板算书和古埃及纸草算书译成现代文字是艰难的工作。查斯和阿奇博尔德等人都译过纸草算书，而诺伊格鲍尔锲而不舍数十年对楔形文字泥板算书的研究则更为有名。他所著的《楔形文字数学史料研究》（1935、1937）、《楔形文字数学书》（与萨克斯合著，1945）都是这方面的权威性著作。他所著《古代精密科学》(1951)一书，汇集了半个世纪以来关于古埃及和巴比伦数学史研究成果。范·德·瓦尔登的《科学的觉醒》(1954)一书，则又加进古希腊数学史，成为古代世界数学史的权威性著作之一。 ④断代史和分科史研究 德国数学家（C）F克莱因著的《19世纪数学发展史讲义》(1926～1927)一书，是断代体近现代数学史研究的开始，它成书于20世纪，但其中所反映的对数学的看法却大都是19世纪的。直到1978年法国数学家J迪厄多内所写的《1700～1900数学史概论》出版之前，断代体数学史专著并不多，但却有（CH）H外尔写的《半个世纪的数学》之类的著名论文。对数学各分支的历史，从数论、概率论，直到流形概念、希尔伯特23个数学问题的历史等，有多种专著出现，而且不乏名家手笔。许多著名数学家参预数学史的研究,可能是基于（J-）H庞加莱的如下信念,即:“如果我们想要预见数学的将来，适当的途径是研究这门科学的历史和现状”，或是如H外尔所说的：“如果不知道远溯古希腊各代前辈所建立的和发展的概念方法和结果，我们就不可能理解近50年来数学的目标，也不可能理解它的成就。” ⑤历代数学家的传记以及他们的全集与《选集》的整理和出版 这是数学史研究的大量工作之一。此外还有多种《数学经典论著选读》出现，辑录了历代数学家成名之作的珍贵片断。 ⑥专业性学术杂志 最早出现于19世纪末，MB康托尔（1877～1913，30卷）和洛里亚（1898～1922，21卷）都曾主编过数学史杂志，最有名的是埃内斯特勒姆主编的《数学宝藏》（1884～1915，30卷）。现代则有国际科学史协会数学史分会主编的《国际数学史杂志》。 中国数学史： 中国以历史传统悠久而著称于世界，在历代正史的《律历志》“备数”条内常常论述到数学的作用和数学的历史。例如较早的《汉书·律历志》说数学是“推历、生律、 制器、 规圆、矩方、权重、衡平、准绳、嘉量，探赜索稳,钩深致远,莫不用焉”。《隋书·律历志》记述了圆周率计算的历史，记载了祖冲之的光辉成就。历代正史《列传》中，有时也给出了数学家的传记。正史的《经籍志》则记载有数学书目。 在中国古算书的序、跋中，经常出现数学史的内容。 如刘徽注《九章算术》序 (263)中曾谈到《九章算术》形成的历史；王孝通“上缉古算经表”中曾对刘徽、祖冲之等人的数学工作进行评论；祖颐为《四元玉鉴》所写的序文中讲述了由天元术发展成四元术的历史。宋刊本《数术记遗》之后附录有“算学源流”,这是中国,也是世界上最早用印刷术保存下来的数学史资料。程大位《算法统宗》(1592)书末附有“算经源流”,记录了宋明间的数学书目。 以上所述属于零散的片断资料，对中国古代数学史进行较为系统的整理和研究，则是在乾嘉学派的影响下，在清代中晚期进行的。主要有：①对古算书的整理和研究，《算经十书》(汉唐间算书)和宋元算书的校订、注释和出版，参预此项工作的有戴震(1724～1777)、李潢(?～1811)、阮元（1764～1849）、沈钦裴(1829年校算《四元玉鉴》)、罗士琳(1789～1853)等人 ②编辑出版了《畴人传》（数学家和天文学家的传记），它“肇自黄帝，迄于昭（清）代，凡为此学者，人为之传”，它是由阮元、李锐等编辑的(1795～1799)。其后，罗士琳作“补遗”(1840)，诸可宝作《畴人传三编》（1886），黄钟骏又作《畴人传四编》(1898)。《畴人传》，实际上就是一部人物传记体裁的数学史。收入人物多，资料丰富，评论允当，它完全可以和蒙蒂克拉的数学史相媲美。 利用现代数学概念，对中国数学史进行研究和整理，从而使中国数学史研究建立在现代科学方法之上的学科奠基人，是李俨和钱宝琮。他们都是从五四运动前后起，开始搜集古算书,进行考订、整理和开展研究工作的 经过半个多世纪,李俨的论文自编为《中算史论丛》(1～5集，1954～1955),钱宝琮则有《钱宝琮科学史论文集》(1984)行世。从20世纪30年代起，两人都有通史性中国数学史专著出版，李俨有《中国算学史》(1937)、《中国数学大纲》（1958）；钱宝琮有《中国算学史》（上，1932）并主编了《中国数学史》(1964)。钱宝琮校点的《算经十书》(1963)和上述各种专著一道，都是权威性著作。 从19世纪末，即有人（伟烈亚力、赫师慎等）用外文发表中国数学史方面的文章。20世纪初日本人三上义夫的《数学在中国和日本的发展》以及50年代李约瑟在其巨著《中国科学技术史》(第三卷)中对中国数学史进行了全面的介绍。有一些中国的古典算书已经有日、英、法、俄、德等文字的译本。在英、美、日、俄、法、比利时等国都有人直接利用中国古典文献进行中国数学史的研究以及和其他国家和地区数学史的比较研究。采纳啊！！！！！！！！！！！！！！！

1 中国古代数学的发展 在古代世界四大文明中，中国数学持续繁荣时期最为长久。从公元前后至公元14世纪，中国古典数学先后经历了三次发展高潮，即两汉时期、魏晋南北朝时期和宋元时期，并在宋元时期达到顶峰。 与以证明定理为中心的希腊古典数学不同，中国古代数学是以创造算法特别是各种解方程的算法为主线。从线性方程组到高次多项式方程，乃至不定方程，中国古代数学家创造了一系列先进的算法(中国数学家称之为“术”)，他们用这些算法去求解相应类型的代数方程，从而解决导致这些方程的各种各样的科学和实际问题。特别是，几何问题也归结为代数方程，然后用程式化的算法来求解。因此，中国古代数学具有明显的算法化、机械化的特征。以下择要举例说明中国古代数学发展的这种特征。 1 线性方程组与“方程术” 中国古代最重要的数学经典《九章算术》(约公元前2世纪)卷8的“方程术”，是解线性方程组的算法。以该卷第1题为例，用现代符号表述，该问题相当于解一个三元一次方程组： 3x+2y+z＝39 2x+3y+z＝34 x+2y+3z＝26 《九章》没有表示未知数的符号，而是用算筹将x�y�z的系数和常数项排列成一个(长)方阵： 1 2 3 2 3 2 3 1 1 26 34 39 “方程术”的关键算法叫“遍乘直除”，在本例中演算程序如下：用右行(x)的系数(3)“遍乘”中行和左行各数，然后从所得结果按行分别“直除”右行，即连续减去右行对应各数，就将中行与左行的系数化为0。反复执行这种“遍乘直除”算法，就可以解出方程。很清楚，《九章算术》方程术的“遍乘直除” 算法，实质上就是我们今天所使用的解线性方程组的消元法，以往西方文献中称之为“高斯消去法”，但近年开始改变称谓,如法国科学院院士、原苏黎世大学数学系主任PGabriel教授在他撰写的教科书[4]中就称解线性方程组的消元法为“张苍法”，张苍相传是《九章算术》的作者之一。 2 高次多项式方程与“正负开方术” 《九章算术》卷4中有“开方术”和“开立方术”。《九章算术》中的这些算法后来逐步推广到开更高次方的情形，并且在宋元时代发展为一般高次多项式方程的数值求解。秦九韶是这方面的集大成者，他在《数书九章》(1247年)一书中给出了高次多项式方程数值解的完整算法，即他所称的“正负开方术”。 用现代符号表达，秦九韶“正负开方术”的思路如下：对任意给定的方程 f(x)=a0xn+a1xn-1+……+an-2x2+an-1x+an=0 (1) 其中a0≠0，an<0,要求(1)式的一个正根。秦九韶先估计根的最高位数字，连同其位数一起称为“首商”，记作c，则根x＝c+h，代入(1)得 f(c+h)=a0(c+h)n+a1(c+h)n-1+……+an-1(c+h)+an=0 按h的幂次合并同类项即得到关于h的方程: f(h)=a0hn+a1hn-1+……+an-1h+an=0 (2) 于是又可估计满足新方程(2)的根的最高位数字。如此进行下去，若得到某个新方程的常数项为0，则求得的根是有理数；否则上述过程可继续下去，按所需精度求得根的近似值。 如果从原方程(1)的系数a0,a1，…,an及估值c求出新方程(2)的系数a0,a1，…,an的算法是需要反复迭代使用的，秦九韶给出了一个规格化的程序，我们可称之为“秦九韶程序”， 他在《数书九章》中用这一算法去解决各种可以归结为代数方程的实际问题，其中涉及的方程最高次数达到10次，秦九韶解这些问题的算法整齐划一，步骤分明，堪称是中国古代数学算法化、机械化的典范。 3 多元高次方程组与“四元术” 绝不是所有的问题都可以归结为线性方程组或一个未知量的多项式方程来求解。实际上，可以说更大量的实际问题如果能化为代数方程求解的话，出现的将是含有多个未知量的高次方程组。 多元高次方程组的求解即使在今天也绝非易事。历史上最早对多元高次方程组作出系统处理的是中国元代数学家朱世杰。朱世杰的《四元玉鉴》(1303年)一书中涉及的高次方程达到了4个未知数。朱世杰用“四元术”来解这些方程。“四元术”首先是以“天”、“地”、“人”、“物”来表示不同的未知数，同时建立起方程式，然后用顺序消元的一般方法解出方程。朱世杰在《四元玉鉴》中创造了多种消元程序。 通过《四元玉鉴》中的具体例子可以清晰地了解朱世杰“四元术”的特征。值得注意的是，这些例子中相当一部分是由几何问题导出的。这种将几何问题转化为代数方程并用某种统一的算法求解的例子，在宋元数学著作中比比皆是，充分反映了中国古代几何代数化和机械化的倾向。 4 一次同余方程组与“中国剩余定理” 中国古代数学家出于历法计算的需要，很早就开始研究形如： X≡Ri (mod ai) i=1,2,,n (1) (其中ai 是两两互素的整数)的一次同余方程组求解问题。公元4世纪的《孙子算经》中已有相当于求解下列一次同余组的著名的“孙子问题”： X≡2(mod3) ≡3(mod5) ≡2(mod7) 《孙子算经》作者给出的解法，引导了宋代秦九韶求解一次同余组的一般算法——“大衍求一术”。现代文献中通常把这种一般算法称为“中国剩余定理”。 5 插值法与“招差术” 插值算法在微积分的酝酿过程中扮演了重要角色。在中国，早从东汉时期起，学者们就惯用插值法来推算日月五星的运动。起初是简单的一次内插法，隋唐时期出现二次插值法(如一行《大衍历》，727年)。由于天体运动的加速度也不均匀，二次插值仍不够精密。随着历法的进步，到了宋元时代，便产生了三次内插法(郭守敬《授时历》，1280年)。在此基础上，数学家朱世杰更创造出一般高次内插公式，即他所说的“招差术”。 朱世杰的公式相当于 f(n)=n△+ n(n�1)△2+ n(n�1)(n�2)△3 + n(n�1)(n�2)(n�3)△4+…… 这是一项很突出的成就。 这里不可能一一列举中国古代数学家的所有算法，但仅从以上介绍不难看到，古代与中世纪中国数学家创造的算法，有许多即使按现代标准衡量也达到了很高的水平。这些算法所表达的数学真理，有的在欧洲直到18世纪以后依赖近代数学工具才重新获得(如前面提到的高次代数方程数值求解的秦九韶程序，与1819年英国数学家W 霍纳重新导出的“霍纳算法”基本一致；多元高次方程组的系统研究在欧洲也要到18世纪末才开始在E 别朱等人的著作中出现；解一次同余组的剩余定理则由欧拉与高斯分别独立重新获得；至于朱世杰的高次内插公式，实质上已与现在通用的牛顿-格列高里公式相一致)。这些算法的结构，其复杂程度也是惊人的。如对秦九韶“大衍求一术”和“正负开方术”的分析表明，这些算法的计算程序，包含了现代计算机语言中构造非平易算法的基本要素与基本结构。这类复杂的算法，很难再仅仅被看作是简单的经验法则了，而是高度的概括思维能力的产物，这种能力与欧几里得几何的演绎思维风格截然不同，但却在数学的发展中起着完全可与之相媲美的作用。事实上，古代中国算法的繁荣，同时也孕育了一系列极其重要的概念，显示了算法化思维在数学进化中的创造意义和动力功能。以下亦举几例。 6 负数的引进 《九章算术》“方程术”的消元程序，在方程系数相减时会出现较小数减较大数的情况，正是在这里，《九章算术》的作者们引进了负数，并给出了正、负数的加减运算法则，即“正负术”。 对负数的认识是人类数系扩充的重大步骤。公元7世纪印度数学家也开始使用负数，但负数的认识在欧洲却进展缓慢，甚至到16世纪，韦达的著作还回避负数。 7 无理数的发现 中国古代数学家在开方运算中接触到了无理数。《九章算术》开方术中指出了存在有开不尽的情形：“若开方不尽者，为不可开”，《九章算术》的作者们给这种不尽根数起了一个专门名词——“面”。“面”，就是无理数。与古希腊毕达哥拉斯学派发现正方形的对角线不是有理数时惊慌失措的表现相比，中国古代数学家却是相对自然地接受了那些“开不尽”的无理数，这也许应归功于他们早就习惯使用的十进位制，这种十进位制使他们能够有效地计算“不尽根数”的近似值。为《九章算术》作注的三国时代数学家刘徽就在“开方术”注中明确提出了用十进制小数任意逼近不尽根数的方法，他称之为“求微数法”，并指出在开方过程中，“其一退以十为步，其再退以百为步，退之弥下，其分弥细，则……虽有所弃之数，不足言之也”。 十进位值记数制是对人类文明不可磨灭的贡献。法国大数学家拉普拉斯曾盛赞十进位值制的发明，认为它“使得我们的算术系统在所有有用的创造中成为第一流的”。中国古代数学家正是在严格遵循十进位制的筹算系统基础上，建立起了富有算法化特色的东方数学大厦。 8 贾宪三角或杨辉三角 从前面关于高次方程数值求解算法(秦九韶程序)的介绍我们可以看到，中国古代开方术是以�c+h　n的二项展开为基础的，这就引导了二项系数表的发现。南宋数学家杨辉著《详解九章算法》(1261年)中，载有一张所谓“开方作法本源图”，实际就是一张二项系数表。这张图摘自公元1050年左右北宋数学家贾宪的一部著作。“开方作法本源图”现在就叫“贾宪三角”或“杨辉三角”。二项系数表在西方则叫“帕斯卡三角”�1654年　。 9 走向符号代数 解方程的数学活动，必然引起人们对方程表达形式的思考。在这方面，以解方程擅长的中国古代数学家们很自然也是走在了前列。在宋元时期的数学著作中，已出现了用特定的汉字作为未知数符号并进而建立方程的系统努力。这就是以李冶为代表的“天元术”和以朱世杰为代表的“四元术”。所谓“天元术”，首先是“立天元一为某某”，这相当于“设为某某”，“天元一”就表示未知数，然后在筹算盘上布列“天元式”，即一元方程式。该方法被推广到多个未知数情形，就是前面提到的朱世杰的“四元术”。因此，用天元术和四元术列方程的方法，与现代代数中的列方程法已相类似。 符号化是近世代数的标志之一。中国宋元数学家在这方面迈出了重要一步，“天元术”和“四元术”，是以创造算法特别是解方程的算法为主线的中国古代数学的一个高峰�。 2 中国古代数学对世界数学发展的贡献 数学的发展包括了两大主要活动：证明定理和创造算法。定理证明是希腊人首倡，后构成数学发展中演绎倾向的脊梁；算法创造昌盛于古代和中世纪的中国、印度，形成了数学发展中强烈的算法倾向。统观数学的历史将会发现，数学的发展并非总是演绎倾向独占鳌头。在数学史上，算法倾向与演绎倾向总是交替地取得主导地位。古代巴比伦和埃及式的原始算法时期，被希腊式的演绎几何所接替，而在中世纪，希腊数学衰落下去，算法倾向在中国、印度等东方国度繁荣起来；东方数学在文艺复兴前夕通过阿拉伯传播到欧洲，对近代数学兴起产生了深刻影响。事实上，作为近代数学诞生标志的解析几何与微积分，从思想方法的渊源看都不能说是演绎倾向而是算法倾向的产物。 从微积分的历史可以知道，微积分的产生是寻找解决一系列实际问题的普遍算法的结果�6�。这些问题包括：决定物体的瞬时速度、求极大值与极小值、求曲线的切线、求物体的重心及引力、面积与体积计算等。从16世纪中开始的100多年间，许多大数学家都致力于获得解决这些问题的特殊算法。牛顿与莱布尼兹的功绩是在于将这些特殊的算法统一成两类基本运算——微分与积分，并进一步指出了它们的互逆关系。无论是牛顿的先驱者还是牛顿本人，他们所使用的算法都是不严格的，都没有完整的演绎推导。牛顿的流数术在逻辑上的瑕疵更是众所周知。对当时的学者来说，首要的是找到行之有效的算法，而不是算法的证明。这种倾向一直延续到18世纪。18世纪的数学家也往往不管微积分基础的困难而大胆前进。如泰勒公式，欧拉、伯努利甚至19世纪初傅里叶所发现的三角展开等，都是在很长时期内缺乏严格的证明。正如冯·诺伊曼指出的那样：没有一个数学家会把这一时期的发展看作是异端邪道；这个时期产生的数学成果被公认为第一流的。并且反过来，如果当时的数学家一定要在有了严密的演绎证明之后才承认新算法的合理性，那就不会有今天的微积分和整个分析大厦了。 现在再来看一看更早的解析几何的诞生。通常认为，笛卡儿发明解析几何的基本思想，是用代数方法来解几何问题。这同欧氏演绎方法已经大相径庭了。而事实上如果我们去阅读笛卡儿的原著，就会发现贯穿于其中的彻底的算法精神。《几何学》开宗明义就宣称：“我将毫不犹豫地在几何学中引进算术的术语，以便使自己变得更加聪明”。众所周知，笛卡儿的《几何学》是他的哲学著作《方法论》的附录。笛卡儿在他另一部生前未正式发表的哲学著作《指导思维的法则》(简称《法则》)中曾强烈批判了传统的主要是希腊的研究方法，认为古希腊人的演绎推理只能用来证明已经知道的事物，“却不能帮助我们发现未知的事情”。因此他提出“需要一种发现真理的方法”，并称之为“通用数学”(mathesis universakis)。笛卡儿在《法则》中描述了这种通用数学的蓝图，他提出的大胆计划，概而言之就是要将一切科学问题转化为求解代数方程的数学问题： 任何问题→数学问题→代数问题→方程求解而笛卡儿的《几何学》，正是他上述方案的一个具体实施和示范，解析几何在整个方案中扮演着重要的工具作用，它将一切几何问题化为代数问题，这些代数问题则可以用一种简单的、几乎自动的或者毋宁说是机械的方法去解决。这与上面介绍的古代中国数学家解决问题的路线可以说是一脉相承。 因此我们完全有理由说，在从文艺复兴到17世纪近代数学兴起的大潮中，回响着东方数学特别是中国数学的韵律。整个17—18世纪应该看成是寻求无穷小算法的英雄年代，尽管这一时期的无穷小算法与中世纪算法相比有质的飞跃。而从19世纪特别是70年代直到20世纪中，演绎倾向又重新在比希腊几何高得多的水准上占据了优势。因此，数学的发展呈现出算法创造与演绎证明两大主流交替繁荣、螺旋式上升过程： 演绎传统——定理证明活动 算法传统——算法创造活动 中国古代数学家对算法传统的形成与发展做出了毋容置疑的巨大贡献。 我们强调中国古代数学的算法传统，并不意味中国古代数学中没有演绎倾向。事实上，在魏晋南北朝时期一些数学家的工作中，已出现具有相当深度的论证思想。如赵爽勾股定理证明、刘徽“阳马”�一种长方锥体　体积证明、祖冲之父子对球体积公式的推导等等，均可与古希腊数学家相应的工作媲美。赵爽勾股定理证明示意图“弦图”原型，已被采用作2002年国际数学家大会会标。令人迷惑的是，这种论证倾向随着南北朝的结束，可以说是戛然而止。囿于篇幅和本文重点，对这方面的内容这里不能详述，有兴趣的读者可参阅参考文献�3�。 3 古为今用，创新发展 到了20世纪，至少从中叶开始，电子计算机的出现对数学的发展带来了深远影响，并孕育出孤立子理论、混沌动力学、四色定理证明等一系列令人瞩目的成就。借助计算机及有效的算法猜测发现新事实、归纳证明新定理乃至进行更一般的自动推理……，这一切可以说已揭开了数学史上一个新的算法繁荣时代的伟大序幕。科学界敏锐的有识之士纷纷预见到数学发展的这一趋势。在我国，早在上世纪50年代，华罗庚教授就亲自领导建立了计算机研制组，为我国计算机科学和数学的发展奠定了基础。吴文俊教授更是从70年代中开始，毅然由原先从事的拓扑学领域转向定理机器证明的研究，并开创了现代数学的崭新领域——数学机械化。被国际上誉为“吴方法”的数学机械化方法已使中国在数学机械化领域处于国际领先地位，而正如吴文俊教授本人所说：“几何定理证明的机械化问题，从思维到方法，至少在宋元时代就有蛛丝马迹可寻，”他的工作“主要是受中国古代数学的启发”。“吴方法”，是中国古代数学算法化、机械化精髓的发扬光大。 计算机影响下算法倾向的增长，自然也引起一些外国学者对中国古代数学中算法传统的兴趣。早在上世纪70年代初，著名的计算机科学家DEKnuth就呼吁人们关注古代中国和印度的算法�5�。多年来这方面的研究取得了一定进展，但总的来说还亟待加强。众所周知，中国古代文化包括数学是通过著名的丝绸之路向西方传播的，而阿拉伯地区是这种文化传播的重要中转站。现存有些阿拉伯数学与天文著作中包含有一定的中国数学与天文学知识，如著名的阿尔·卡西《算术之钥》一书中有相当数量的数学问题显示出直接或间接的中国来源，而根据阿尔·卡西本人记述，他所工作的天文台中就有不少来自中国的学者。 然而长期以来由于“西方中心论”特别是“希腊中心论”的影响以及语言文字方面的障碍，有关资料还远远没有得到发掘。正是为了充分揭示东方数学与欧洲数学复兴的关系，吴文俊教授特意从他荣获的国家最高科学奖中拨出专款成立了“吴文俊数学与天文丝路基金”，鼓励支持年轻学者深入开展这方面的研究，这是具有深远意义之举。 研究科学的历史，其重要意义之一就是从历史的发展中获得借鉴和汲取教益，促进现实的科学研究，通俗地说就是“古为今用”。吴文俊对此有精辟的论述，他说：“假如你对数学的历史发展，对一个领域的发生和发展，对一个理论的兴旺和衰落，对一个概念的来龙去脉，对一种重要思想的产生和影响等这许多历史因素都弄清了，我想，对数学就会了解得更多，对数学的现状就会知道得更清楚、更深刻，还可以对数学的未来起一种指导作用，也就是说，可以知道数学究竟应该按怎样的方向发展可以收到最大的效益”。数学机械化理论的创立，正是这种古为今用原则的硕果。我国科学技术的伟大复兴，呼唤着更多这样既有浓郁的中国特色、又有鲜明时代气息的创新。