中国剩余定理相关的毕业论文

刘 徽 刘徽（生于公元250年左右），是中国数学史上一个非常伟大的数学家，在世界数学史上，也占有杰出的地位．他的杰作《九章算术注》和《海岛算经》，是我国最宝贵的数学遗产． 贾 宪 贾宪，中国古代北宋时期杰出的数学家。曾撰写的《黄帝九章算法细草》（九卷）和《算法斆古集》（二卷）（斆xiào，意：数导）均已失传。 他的主要贡献是创造了"贾宪三角"和增乘开方法，增乘开方法即求高次幂的正根法。目前中学数学中的混合除法，其原理和程序均与此相仿，增乘开方法比传统的方法整齐简捷、又更程序化，所以在开高次方时，尤其显出它的优越性，这个方法的提出要比欧洲数学家霍纳的结论早七百多年。 秦九韶 秦九韶（约1202--1261），字道古，四川安岳人。先后在湖北，安徽，江苏，浙江等地做官，1261年左右被贬至梅州，（今广东梅县），不久死于任所。他与李冶，杨辉，朱世杰并称宋元数学四大家。早年在杭州“访习于太史，又尝从隐君子受数学”，1247年写成著名的《数书九章》。《数书九章》全书凡18卷，81题，分为九大类。其最重要的数学成就----“大衍总数术”（一次同余组解法）与“正负开方术"(高次方程数值解法），使这部宋代算经在中世纪世界数学史上占有突出的地位。 李冶 李冶(1192----1279)，原名李治，号敬斋，金代真定栾城人，曾任钧州（今河南禹县）知事，1232年钧州被蒙古军所破，遂隐居治学，被元世祖忽必烈聘为翰林学士，仅一年，便辞官回乡。1248年撰成《测圆海镜》，其主要目的是说明用天元术列方程的方法。“天元术”与现代代数中的列方程法相类似，“立天元一为某某”，相当于“设x为某某“，可以说是符号代数的尝试。李冶还有另一步数学著作《益古演段》（1259）也是讲解天元术的。 朱世杰 朱世杰（1300前后），字汉卿，号松庭，寓居燕山（今北京附近），“以数学名家周游湖海二十余年”，“踵门而学者云集”(莫若、祖颐：《四元玉鉴》后序）。朱世杰数学代表作有《算学启蒙》（1299）和《四元玉鉴》（1303）。《算术启蒙》是一部通俗数学名著，曾流传海外，影响了朝鲜、日本数学的发展。《四元玉鉴》则是中国宋元数学高峰的又一个标志，其中最杰出的数学创造有“四元术”（多元高次方程列式与消元解法）、“垛积术”（高阶等差数列求和）与“招差术”（高次内插法）． 祖冲之 祖冲之（公元429～500年）祖籍是现今河北省涞源县，他是南北朝时代的一位杰出科学家。他不仅是一位数学家，同时还通晓天文历法、机械制造、音乐等领域，并且是一位天文学家。 祖冲之在数学方面的主要成就是关于圆周率的计算，他算出的圆周率为<π<，这一结果的重要意义在于指出误差的范围，是当时世界最杰出的成就。祖冲之确定了两个形式的π值，约率355/173(≈）密率22/7(≈)，这两个数都是π的渐近分数。 祖 暅 祖暅，祖冲之之子，同其父祖冲之一起圆满解决了球面积的计算问题，得到正确的体积公式。现行教材中著名的“祖暅原理”，在公元五世纪可谓祖暅对世界杰出的贡献。 杨辉 杨辉，中国南宋时期杰出的数学家和数学教育家。在13世纪中叶活动于苏杭一带，其著作甚多。 他著名的数学书共五种二十一卷。著有《详解九章算法》十二卷（1261年）、《日用算法》二卷（1262年）、《乘除通变本末》三卷（1274年）、《田亩比类乘除算法》二卷（1275年）、《续古摘奇算法》二卷（1275年）。 他在《续古摘奇算法》中介绍了各种形式的"纵横图"及有关的构造方法，同时"垛积术"是杨辉继沈括"隙积术"后，关于高阶等差级数的研究。杨辉在"纂类"中，将《九章算术》246个题目按解题方法由浅入深的顺序，重新分为乘除、分率、合率、互换、二衰分、叠积、盈不足、方程、勾股等九类。 赵 爽 赵爽，三国时期东吴的数学家。曾注《周髀算经》，他所作的《周髀算经注》中有一篇《勾股圆方图注》全文五百余字，并附有云幅插图（已失传），这篇注文简练地总结了东汉时期勾股算术的重要成果，最早给出并证明了有关勾股弦三边及其和、差关系的二十多个命题，他的证明主要是依据几何图形面积的换算关系。 赵爽还在《勾股圆方图注》中推导出二次方程 (其中a>0,A>0)的求根公式 在《日高图注》中利用几何图形面积关系，给出了"重差术"的证明。（汉代天文学家测量太阳高、远的方法称为重差术）。 明安图】(1692——1765) 清代蒙古族杰出数学家、天文学家。字静庵。蒙古正白旗(今内蒙古锡林郭勒盟正白旗)人，为蒙古族人。康熙九年(1670)，被选入钦天监学习天文、历象和数学

学好数理化，走遍天下都不怕。写好数学论文的前提是需要有拟定一个优秀的数学论文题目，有哪些比较优秀的数学论文题目呢？下面我给大家带来2022最新数学方向 毕业 论文题目有哪些，希望能帮助到大家!

↓↓↓点击获取更多“知足常乐 议论文 ”↓↓↓

★ 数学应用数学毕业论文 ★

★ 大学生数学毕业论文  ★

★ 大学毕业论文评语大全 ★

★ 毕业论文答辩致谢词10篇 ★

中学数学论文题目

1、用面积思想 方法 解题

2、向量空间与矩阵

3、向量空间与等价关系

4、代数中美学思想新探

5、谈在数学中数学情景的创设

6、数学 创新思维 及其培养

7、用函数奇偶性解题

8、用方程思想方法解题

9、用数形结合思想方法解题

10、浅谈数学教学中的幽默风趣

11、中学数学教学与女中学生发展

12、论代数中同构思想在解题中的应用

13、论教师的人格魅力

14、论农村中小学数学 教育

15、论师范院校数学教育

16、数学在母校的发展

17、数学学习兴趣的激发和培养

18、谈新课程理念下的数学教师角色的转变

19、数学新课程教材教学探索

20、利用函数单调性解题

21、数学毕业论文题目汇总

22、浅谈中学数学教学中学生能力的培养

23、变异思维与学生的创新精神

24、试论数学中的美学

25、数学课堂中的提问艺术

26、不等式的证明方法

27、数列问题研究

28、复数方程的解法

29、函数最值方法研究

30、图象法在中学数学中的应用

31、近年来高考命题研究

32、边数最少的自然图的构造

33、向量线性相关性讨论

34、组合数学在中学数学中的应用

35、函数最值研究

36、中学数学符号浅谈

37、论数学交流能力培养(数学语言、图形、 符号等)

38、探影响解决数学问题的心理因素

39、数学后进学生的心理分析

40、生活中处处有数学

41、数学毕业论文题目汇总

42、生活中的数学

43、欧几里得第五公设产生背景及对数学发展影响

44、略谈我国古代的数学成就

45、论数学史的教育价值

46、课程改革与数学教师

47、数学差生非智力因素的分析及对策

48、高考应用问题研究

49、“数形结合”思想在竞赛中的应用

50、浅谈数学的 文化 价值

51、浅谈数学中的对称美

52、三阶幻方性质的探究

53、试谈数学竞赛中的对称性

54、学竞赛中的信息型问题探究

55、柯西不等式分析

56、中国剩余定理应用

57、不定方程的研究

58、一些数学思维方法的证明

59、分类讨论思想在中学数学中的应用

60、生活数学文化分析

数学研究生论文题目推荐

1、混杂随机时滞微分方程的稳定性与可控性

2、多目标单元构建技术在圆锯片生产企业的应用研究

3、基于区间直觉模糊集的多属性群决策研究

4、排队论在交通控制系统中的应用研究

5、若干类新形式的预条件迭代法的收敛性研究

6、高职微积分教学引入数学文化的实践研究

7、分数阶微分方程的Hyers-Ulam稳定性

8、三维面板数据模型的序列相关检验

9、半参数近似因子模型中的高维协方差矩阵估计

10、高职院校高等数学教学改革研究

11、若干模型的分位数变量选择

12、若干变点模型的 经验 似然推断

13、基于Navier-Stokes方程的图像处理与应用研究

14、基于ESMD方法的模态统计特征研究

15、基于复杂网络的影响力节点识别算法的研究

16、基于不确定信息一致性及相关问题研究

17、基于奇异值及重组信任矩阵的协同过滤推荐算法的研究

18、广义时变脉冲系统的时域控制

19、正六边形铺砌上H-三角形边界H-点数的研究

20、外来物种入侵的广义生物经济系统建模与控制

21、具有较少顶点个数的有限群元阶素图

22、基于支持向量机的混合时间序列模型的研究与应用

23、基于Copula函数的某些金融风险的研究

24、基于智能算法的时间序列预测方法研究

25、基于Copula函数的非寿险多元索赔准备金评估方法的研究

26、具有五个顶点的共轭类类长图

27、刚体系统的优化方法数值模拟

28、基于差分进化算法的多准则决策问题研究

29、广义切换系统的指数稳定与H_∞控制问题研究

30、基于神经网络的混沌时间序列研究与应用

31、具有较少顶点的共轭类长素图

32、两类共扰食饵-捕食者模型的动力学行为分析

33、复杂网络社团划分及城市公交网络研究

34、在线核极限学习机的改进与应用研究

35、共振微分方程边值问题正解存在性的研究

36、几类非线性离散系统的自适应控制算法设计

37、数据维数约简及分类算法研究

38、几类非线性不确定系统的自适应模糊控制研究

39、区间二型TSK模糊逻辑系统的混合学习算法的研究

40、基于节点调用关系的软件执行网络结构特征分析

41、基于复杂网络的软件网络关键节点挖掘算法研究

42、圈图谱半径问题研究

43、非线性状态约束系统的自适应控制方法研究

44、多维power-normal分布及其参数估计问题的研究

45、旋流式系统的混沌仿真及其控制与同步研究

46、具有可选服务的M/M/1排队系统驱动的流模型

47、动力系统的混沌反控制与同步研究

48、载流矩形薄板在磁场中的随机分岔

49、广义马尔科夫跳变系统的稳定性分析与鲁棒控制

50、带有非线性功能响应函数的食饵-捕食系统的研究

51、基于观测器的饱和时滞广义系统的鲁棒控制

52、高职数学课程培养学生关键技能的研究

53、基于生存分析和似然理论的数控机床可靠性评估方法研究

54、面向不完全数据的疲劳可靠性分析方法研究

55、带平方根俘获率的可变生物种群模型的稳定性研究

56、一类非线性分数阶动力系统混沌同步控制研究

57、带有不耐烦顾客的M/M/m排队系统的顾客损失率

58、小波方法求解三类变分数阶微积分问题研究

59、乘积空间上拓扑度和不动点指数的计算及其应用

60、浓度对流扩散方程高精度并行格式的构造及其应用

专业微积分数学论文题目

1、一元微积分概念教学的设计研究

2、基于分数阶微积分的飞航式导弹控制系统设计方法研究

3、分数阶微积分运算数字滤波器设计与电路实现及其应用

4、分数阶微积分在现代信号分析与处理中应用的研究

5、广义分数阶微积分中若干问题的研究

6、分数阶微积分及其在粘弹性材料和控制理论中的应用

7、Riemann-Liouville分数阶微积分及其性质证明

8、中学微积分的教与学研究

9、高中数学教科书中微积分的变迁研究

10、HPM视域下的高中微积分教学研究

11、基于分数阶微积分理论的控制器设计及应用

12、微积分在高中数学教学中的作用

13、高中微积分的教学策略研究

14、高中微积分教学中数学史的渗透

15、关于高中微积分的教学研究

16、微积分与中学数学的关联

17、中学微积分课程的教学研究

18、高中微积分课程内容选择的探索

19、高中微积分教学研究

20、高中微积分教学现状的调查与分析

21、微分方程理论中的若干问题

22、倒向随机微分方程理论的一些应用：分形重倒向随机微分方程

23、基于偏微分方程图像分割技术的研究

24、状态受限的随机微分方程：倒向随机微分方程、随机变分不等式、分形随机可生存性

25、几类分数阶微分方程的数值方法研究

26、几类随机延迟微分方程的数值分析

27、微分求积法和微分求积单元法--原理与应用

28、基于偏微分方程的图像平滑与分割研究

29、小波与偏微分方程在图像处理中的应用研究

30、基于粒子群和微分进化的优化算法研究

31、基于变分问题和偏微分方程的图像处理技术研究

32、基于偏微分方程的图像去噪和增强研究

33、分数阶微分方程的理论分析与数值计算

34、基于偏微分方程的数字图象处理的研究

35、倒向随机微分方程、g-期望及其相关的半线性偏微分方程

36、反射倒向随机微分方程及其在混合零和微分对策

37、基于偏微分方程的图像降噪和图像恢复研究

38、基于偏微分方程理论的机械故障诊断技术研究

39、几类分数阶微分方程和随机延迟微分方程数值解的研究

40、非零和随机微分博弈及相关的高维倒向随机微分方程

41、高中微积分教学中数学史的渗透

42、关于高中微积分的教学研究

43、微积分与中学数学的关联

44、中学微积分课程的教学研究

45、大学一年级学生对微积分基本概念的理解

46、中学微积分课程教学研究

47、中美两国高中数学教材中微积分内容的比较研究

48、高中生微积分知识理解现状的调查研究

49、高中微积分教学研究

50、中美高校微积分教材比较研究

51、分数阶微积分方程的一种数值解法

52、HPM视域下的高中微积分教学研究

53、高中微积分课程内容选择的探索

54、新课程理念下高中微积分教学设计研究

55、基于分数阶微积分的线控转向系统控制策略研究

56、基于分数阶微积分的数字图像去噪与增强算法研究

57、高中微积分教学现状的调查与分析

58、高三学生微积分认知状况的思维层次研究

59、分数微积分理论在车辆底盘控制中的应用研究

60、新课程理念下高中微积分课程的教育价值及其教学研究

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