数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。
数学,作为人类思维的表达形式,反映了人们积极进取的意志、缜密周详的推理及对完美境界的追求。它的基本要素是:逻辑和直观、分析和推理、共性和个性。虽然不同的传统学派可以强调不同的侧面,然而正是这些互相对立的力量的相互作用,以及它们综合起来的努力,才构成了数学科学的生命力、可用性和它的崇高价值。
数学史
基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始,其发展便持续不断地有小幅度的进展,直至16世纪的文艺复兴时期,因着和新科学发现相作用而生成的数学革新导致了知识的加速,直至今日。 今日,数学被使用在世界不同的领域上,包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学,有时亦会激起新的数学发现,并导致全新学科的发展。数学家也研究纯数学,也就是数学本身,而不以任何实际应用为目标。虽然许多以纯数学开始的研究,但之后会发现许多应用。 创立于二十世纪三十年代的法国的布尔巴基学派认为:数学,至少纯数学,是研究抽象结构的理论。结构,就是以初始概念和公理出发的演绎系统。布学派认为,有三种基本的抽象结构:代数结构(群,环,域……),序结构(偏序,全序……),拓扑结构(邻域,极限,连通性,维数……)。
数学分类
符号、语言与严谨 在现代的符号中,简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。 我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的。在此之前,数学被文字书写出来,这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作,但初学者却常对此感到怯步。它被极度的压缩:少量的符号包含著大量的讯息。如同音乐符号一般,现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。 数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者,如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的:数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。 严谨是数学证明中很重要且基本的一部分。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”,依着不可靠的直观,而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同:希腊人期许着仔细的论点,但在牛顿的时代,所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日,数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时,其证明亦很难说是有效地严谨。
中国古代数学的发展
魏、晋时期出现的玄学,不为汉儒经学束缚,思想比较活跃;它诘辩求胜,又能运用逻辑思维,分析义理,这些都有利于数学从理论上加以提高。吴国赵爽注《周髀算经》,汉末魏初徐岳撰《九章算术》注,魏末晋初刘徽撰《九章算术》注、《九章重差图》都是出现在这个时期。赵爽与刘徽的工作为中国古代数学体系奠定了理论基础。 赵爽是中国古代对数学定理和公式进行证明与推导的最早的数学家之一。他在《周髀算经》书中补充的“勾股圆方图及注”和“日高图及注”是十分重要的数学文献。在“勾股圆方图及注”中他提出用弦图证明勾股定理和解勾股形的五个公式;在“日高图及注”中,他用图形面积证明汉代普遍应用的重差公式,赵爽的工作是带有开创性的,在中国古代数学发展中占有重要地位。 刘徽约与赵爽同时,他继承和发展了战国时期名家和墨家的思想,主张对一些数学名词特别是重要的数学概念给以严格的定义,认为对数学知识必须进行“析理”,才能使数学著作简明严密,利于读者。他的《九章算术》注不仅是对《九章算术》的方法、公式和定理进行一般的解释和推导,而且在论述的过程中有很大的发展。刘徽创造割圆术,利用极限的思想证明圆的面积公式,并首次用理论的方法算得圆周率为 157/50和 3927/1250。 刘徽用无穷分割的方法证明了直角方锥与直角四面体的体积比恒为2:1,解决了一般立体体积的关键问题。在证明方锥、圆柱、圆锥、圆台的体积时,刘徽为彻底解决球的体积提出了正确途径。 东晋以后,中国长期处于战争和南北分裂的状态。祖冲之父子的工作就是经济文化南移以后,南方数学发展的具有代表性的工作,他们在刘徽注《九章算术》的基础上,把传统数学大大向前推进了一步。他们的数学工作主要有:计算出圆周率在3.1415926~3.1415927之间;提出祖暅原理;提出二次与三次方程的解法等。 据推测,祖冲之在刘徽割圆术的基础上,算出圆内接正6144边形和正12288边形的面积,从而得到了这个结果。他又用新的方法得到圆周率两个分数值,即约率22/7和密率355/113。祖冲之这一工作,使中国在圆周率计算方面,比西方领先约一千年之久; 祖冲之之子祖暅总结了刘徽的有关工作,提出“幂势既同则积不容异”,即等高的两立体,若其任意高处的水平截面积相等,则这两立体体积相等,这就是著名的祖暅公理。祖暅应用这个公理,解决了刘徽尚未解决的球体积公式。 隋炀帝好大喜功,大兴土木,客观上促进了数学的发展。唐初王孝通的《缉古算经》,主要讨论土木工程中计算土方、工程分工、验收以及仓库和地窖的计算问题,反映了这个时期数学的情况。王孝通在不用数学符号的情况下,立出数字三次方程,不仅解决了当时社会的需要,也为后来天元术的建立打下基础。此外,对传统的勾股形解法,王孝通也是用数字三次方程解决的。 唐初封建统治者继承隋制,656年在国子监设立算学馆,设有算学博士和助教,学生30人。由太史令李淳风等编纂注释《算经十书》,作为算学馆学生用的课本,明算科考试亦以这些算书为准。李淳风等编纂的《算经十书》,对保存数学经典著作、为数学研究提供文献资料方面是很有意义的。他们给《周髀算经》、《九章算术》以及《海岛算经》所作的注解,对读者是有帮助的。隋唐时期,由于历法的需要,天算学家创立了二次函数的内插法,丰富了中国古代数学的内容。 算筹是中国古代的主要计算工具,它具有简单、形象、具体等优点,但也存在布筹占用面积大,运筹速度加快时容易摆弄不正而造成错误等缺点,因此很早就开始进行改革。其中太乙算、两仪算、三才算和珠算都是用珠的槽算盘,在技术上是重要的改革。尤其是“珠算”,它继承了筹算五升十进与位值制的优点,又克服了筹算纵横记数与置筹不便的缺点,优越性十分明显。但由于当时乘除算法仍然不能在一个横列中进行。算珠还没有穿档,携带不方便,因此仍没有普遍应用。 唐中期以后,商业繁荣,数字计算增多,迫切要求改革计算方法,从《新唐书》等文献留下来的算书书目,可以看出这次算法改革主要是简化乘、除算法,唐代的算法改革使乘除法可以在一个横列中进行运算,它既适用于筹算,也适用于珠算。