[原创]
数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念，为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。基础数学的知识与运用总是个人与团体生活中不可或缺的一块。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅的进展，直至16世纪的文艺复兴时期，因著和新科学发现相作用而生成的数学革新导致了知识的加速，直至今日。
今日，数学被使用在世界上不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家亦研究没有任何实际应用价值的纯数学，即使其应用常会在之后被发现。
创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯粹数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。
数学还分几何，计算，还有面积。
词源
数学（mathematics；希腊语：μαθηματικ?）这一词在西方源自于古希腊语的μ?θημα（máthēma），其有学习、学问、科学，以及另外还有个较狭意且技术性的意义－“数学研究”，即使在其语源内。其形容词μαθηματικ??（mathēmatikós），意义为和学习有关的或用功的，亦会被用来指数学的。其在英语中表面上的复数形式，及在法语中的表面复数形式les mathématiques，可溯至拉丁文的中性复数mathematica，由西塞罗译自希腊文复数τα μαθηματικ?（ta mathēmatiká），此一希腊语被亚里士多德拿来指“万物皆数”的概念。
历史
奇普，印加帝国时所使用的计数工具。数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικ??（mathematikós）意思是“学问的基础”，源于μ?θημα（máthema）（“科学，知识，学问”）。
数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解了如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。
更进一步则需要写作或其他可记录数字的系统，如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。
从历史时代的一开始，数学内的主要原理是为了做税务和贸易等相关计算，为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。
到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中，微积分的方法被发明。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。
数学从古至今便一直不断地延展，且与科学有丰富的相互作用，并使两者都得到好处。数学在历史上有着许多的发现，并且直至今日都还不断地发现中。依据Mikhail B. Sevryuk于美国数学会通报2006年1月的期刊中所说，“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份，而且每年还增加超过七万五千份的细目。此一学海的绝大部份为新的数学定理及其证明。”
中国数学历史
数学是中国古代科学中一门重要的学科，根据中国古代数学发展的特点，可以分为五个时期：萌芽；体系的形成；发展；繁荣和中西方数学的融合。
中国古代数学的萌芽
原始公社末期，私有制和货物交换产生以后，数与形的概念有了进一步的发展，仰韶文化时期出土的陶器，上面已刻有表示1234的符号。到原始公社末期，已开始用文字符号取代结绳记事了。
西安半坡出土的陶器有用1～8个圆点组成的等边三角形和分正方形为100个小正方形的图案，半坡遗址的房屋基址都是圆形和方形。为了画圆作方，确定平直，人们还创造了规、矩、准、绳等作图与测量工具。据《史记·夏本纪》记载，夏禹治水时已使用了这些工具。
商代中期，在甲骨文中已产生一套十进制数字和记数法，其中最大的数字为三万；与此同时，殷人用十个天干和十二个地支组成甲子、乙丑、丙寅、丁卯等60个名称来记60天的日期；在周代，又把以前用阴、阳符号构成的八卦表示八种事物发展为六十四卦，表示64种事物。
公元前一世纪的《周髀算经》提到西周初期用矩测量高、深、广、远的方法，并举出勾股形的勾三、股四、弦五以及环矩可以为圆等例子。《礼记·内则》篇提到西周贵族子弟从九岁开始便要学习数目和记数方法，他们要受礼、乐、射、驭、书、数的训练，作为“六艺”之一的数已经开始成为专门的课程。
春秋战国之际，筹算已得到普遍的应用，筹算记数法已使用十进位值制，这种记数法对世界数学的发展是有划时代意义的。这个时期的测量数学在生产上有了广泛应用，在数学上亦有相应的提高。
战国时期的百家争鸣也促进了数学的发展，尤其是对于正名和一些命题的争论直接与数学有关。名家认为经过抽象以后的名词概念与它们原来的实体不同，他们提出“矩不方，规不可以为圆”，把“大一”(无穷大)定义为“至大无外”，“小一”(无穷小)定义为“至小无内”。还提出了“一尺之棰，日取其半，万世不竭”等命题。
而墨家则认为名来源于物，名可以从不同方面和不同深度反映物。墨家给出一些数学定义。例如圆、方、平、直、次(相切)、端(点)等等。
墨家不同意“一尺之棰”的命题，提出一个“非半”的命题来进行反驳：将一线段按一半一半地无限分割下去，就必将出现一个不能再分割的“非半”，这个“非半”就是点。
名家的命题论述了有限长度可分割成一个无穷序列，墨家的命题则指出了这种无限分割的变化和结果。名家和墨家的数学定义和数学命题的讨论，对中国古代数学理论的发展是很有意义的。
中国古代数学体系的形成
秦汉是封建社会的上升时期，经济和文化均得到迅速发展。中国古代数学体系正是形成于这个时期，它的主要标志是算术已成为一个专门的学科，以及以《九章算术》为代表的数学著作的出现。
《九章算术》是战国、秦、汉封建社会创立并巩固时期数学发展的总结，就其数学成就来说，堪称是世界数学名著。例如分数四则运算、今有术(西方称三率法)、开平方与开立方(包括二次方程数值解法)、盈不足术(西方称双设法)、各种面积和体积公式、线性方程组解法、正负数运算的加减法则、勾股形解法(特别是勾股定理和求勾股数的方法)等，水平都是很高的。其中方程组解法和正负数加减法则在世界数学发展上是遥遥领先的。就其特点来说，它形成了一个以筹算为中心、与古希腊数学完全不同的独立体系。
《九章算术》有几个显著的特点：采用按类分章的数学问题集的形式；算式都是从筹算记数法发展起来的；以算术、代数为主，很少涉及图形性质；重视应用，缺乏理论阐述等。
这些特点是同当时社会条件与学术思想密切相关的。秦汉时期，一切科学技术都要为当时确立和巩固封建制度，以及发展社会生产服务，强调数学的应用性。最后成书于东汉初年的《九章算术》，排除了战国时期在百家争鸣中出现的名家和墨家重视名词定义与逻辑的讨论，偏重于与当时生产、生活密切相结合的数学问题及其解法，这与当时社会的发展情况是完全一致的。
《九章算术》在隋唐时期曾传到朝鲜、日本，并成为这些国家当时的数学教科书。它的一些成就如十进位值制、今有术、盈不足术等还传到印度和阿拉伯，并通过印度、阿拉伯传到欧洲，促进了世界数学的发展。
中国古代数学的发展
魏、晋时期出现的玄学，不为汉儒经学束缚，思想比较活跃；它诘辩求胜，又能运用逻辑思维，分析义理，这些都有利于数学从理论上加以提高。吴国赵爽注《周髀算经》，汉末魏初徐岳撰《九章算术》注，魏末晋初刘徽撰《九章算术》注、《九章重差图》都是出现在这个时期。赵爽与刘徽的工作为中国古代数学体系奠定了理论基础。
赵爽是中国古代对数学定理和公式进行证明与推导的最早的数学家之一。他在《周髀算经》书中补充的“勾股圆方图及注”和“日高图及注”是十分重要的数学文献。在“勾股圆方图及注”中他提出用弦图证明勾股定理和解勾股形的五个公式；在“日高图及注”中，他用图形面积证明汉代普遍应用的重差公式，赵爽的工作是带有开创性的，在中国古代数学发展中占有重要地位。
刘徽约与赵爽同时，他继承和发展了战国时期名家和墨家的思想，主张对一些数学名词特别是重要的数学概念给以严格的定义，认为对数学知识必须进行“析理”，才能使数学著作简明严密，利于读者。他的《九章算术》注不仅是对《九章算术》的方法、公式和定理进行一般的解释和推导，而且在论述的过程中有很大的发展。刘徽创造割圆术，利用极限的思想证明圆的面积公式，并首次用理论的方法算得圆周率为 157/50和 3927/1250。
刘徽用无穷分割的方法证明了直角方锥与直角四面体的体积比恒为2:1，解决了一般立体体积的关键问题。在证明方锥、圆柱、圆锥、圆台的体积时，刘徽为彻底解决球的体积提出了正确途径。
东晋以后，中国长期处于战争和南北分裂的状态。祖冲之父子的工作就是经济文化南移以后，南方数学发展的具有代表性的工作，他们在刘徽注《九章算术》的基础上，把传统数学大大向前推进了一步。他们的数学工作主要有：计算出圆周率在3.1415926～3.1415927之间；提出祖(日恒)原理；提出二次与三次方程的解法等。
据推测，祖冲之在刘徽割圆术的基础上，算出圆内接正6144边形和正12288边形的面积，从而得到了这个结果。他又用新的方法得到圆周率两个分数值，即约率22/7和密率355/113。祖冲之这一工作，使中国在圆周率计算方面，比西方领先约一千年之久；
祖冲之之子祖(日恒)总结了刘徽的有关工作，提出“幂势既同则积不容异”，即等高的两立体，若其任意高处的水平截面积相等，则这两立体体积相等，这就是著名的祖(日恒)公理。祖(日恒)应用这个公理，解决了刘徽尚未解决的球体积公式。
隋炀帝好大喜功，大兴土木，客观上促进了数学的发展。唐初王孝通的《缉古算经》，主要讨论土木工程中计算土方、工程分工、验收以及仓库和地窖的计算问题，反映了这个时期数学的情况。王孝通在不用数学符号的情况下，立出数字三次方程，不仅解决了当时社会的需要，也为后来天元术的建立打下基础。此外，对传统的勾股形解法，王孝通也是用数字三次方程解决的。
唐初封建统治者继承隋制，656年在国子监设立算学馆，设有算学博士和助教，学生30人。由太史令李淳风等编纂注释《算经十书》，作为算学馆学生用的课本，明算科考试亦以这些算书为准。李淳风等编纂的《算经十书》，对保存数学经典著作、为数学研究提供文献资料方面是很有意义的。他们给《周髀算经》、《九章算术》以及《海岛算经》所作的注解，对读者是有帮助的。隋唐时期，由于历法的需要，天算学家创立了二次函数的内插法，丰富了中国古代数学的内容。
算筹是中国古代的主要计算工具，它具有简单、形象、具体等优点，但也存在布筹占用面积大，运筹速度加快时容易摆弄不正而造成错误等缺点，因此很早就开始进行改革。其中太乙算、两仪算、三才算和珠算都是用珠的槽算盘，在技术上是重要的改革。尤其是“珠算”，它继承了筹算五升十进与位值制的优点，又克服了筹算纵横记数与置筹不便的缺点，优越性十分明显。但由于当时乘除算法仍然不能在一个横列中进行。算珠还没有穿档，携带不方便，因此仍没有普遍应用。
唐中期以后，商业繁荣，数字计算增多，迫切要求改革计算方法，从《新唐书》等文献留下来的算书书目，可以看出这次算法改革主要是简化乘、除算法，唐代的算法改革使乘除法可以在一个横列中进行运算，它既适用于筹算，也适用于珠算。
中国古代数学的繁荣
960年，北宋王朝的建立结束了五代十国割据的局面。北宋的农业、手工业、商业空前繁荣，科学技术突飞猛进，火药、指南针、印刷术三大发明就是在这种经济高涨的情况下得到广泛应用。1084年秘书省第一次印刷出版了《算经十书》，1213年鲍擀之又进行翻刻。这些都为数学发展创造了良好的条件。
从11～14世纪约300年期间，出现了一批著名的数学家和数学著作，如贾宪的《黄帝九章算法细草》，刘益的《议古根源》，秦九韶的《数书九章》，李冶的《测圆海镜》和《益古演段》，杨辉的《详解九章算法》《日用算法》和《杨辉算法》，朱世杰的《算学启蒙》《四元玉鉴》等，很多领域都达到古代数学的高峰，其中一些成就也是当时世界数学的高峰。
从开平方、开立方到四次以上的开方，在认识上是一个飞跃，实现这个飞跃的就是贾宪。杨辉在《九章算法纂类》中载有贾宪“增乘开平方法”、“增乘开立方法”；在《详解九章算法》中载有贾宪的“开方作法本源”图、“增乘方法求廉草”和用增乘开方法开四次方的例子。根据这些记录可以确定贾宪已发现二项系数表，创造了增乘开方法。这两项成就对整个宋元数学发生重大的影响，其中贾宪三角比西方的帕斯卡三角形早提出600多年。
把增乘开方法推广到数字高次方程(包括系数为负的情形)解法的是刘益。《杨辉算法》中“田亩比类乘除捷法”卷，介绍了原书中22个二次方程和 1个四次方程，后者是用增乘开方法解三次以上的高次方程的最早例子。
秦九韶是高次方程解法的集大成者，他在《数书九章》中收集了21个用增乘开方法解高次方程(最高次数为10)的问题。为了适应增乘开方法的计算程序，奏九韶把常数项规定为负数，把高次方程解法分成各种类型。当方程的根为非整数时，秦九韶采取继续求根的小数，或用减根变换方程各次幂的系数之和为分母，常数为分子来表示根的非整数部分，这是《九章算术》和刘徽注处理无理数方法的发展。在求根的第二位数时，秦九韶还提出以一次项系数除常数项为根的第二位数的试除法，这比西方最早的霍纳方法早500多年。
元代天文学家王恂、郭守敬等在《授时历》中解决了三次函数的内插值问题。秦九韶在“缀术推星”题、朱世杰在《四元玉鉴》“如象招数”题都提到内插法(他们称为招差术)，朱世杰得到一个四次函数的内插公式。
用天元(相当于x)作为未知数符号，立出高次方程，古代称为天元术，这是中国数学史上首次引入符号，并用符号运算来解决建立高次方程的问题。现存最早的天元术著作是李冶的《测圆海镜》。
从天元术推广到二元、三元和四元的高次联立方程组，是宋元数学家的又一项杰出的创造。留传至今，并对这一杰出创造进行系统论述的是朱世杰的《四元玉鉴》。
朱世杰的四元高次联立方程组表示法是在天元术的基础上发展起来的，他把常数放在中央，四元的各次幂放在上、下、左、右四个方向上，其他各项放在四个象限中。朱世杰的最大贡献是提出四元消元法，其方法是先择一元为未知数，其他元组成的多项式作为这未知数的系数，列成若干个一元高次方程式，然后应用互乘相消法逐步消去这一未知数。重复这一步骤便可消去其他未知数，最后用增乘开方法求解。这是线性方法组解法的重大发展，比西方同类方法早400多年。
勾股形解法在宋元时期有新的发展，朱世杰在《算学启蒙》卷下提出已知勾弦和、股弦和求解勾股形的方法，补充了《九章算术》的不足。李冶在《测圆海镜》对勾股容圆问题进行了详细的研究，得到九个容圆公式，大大丰富了中国古代几何学的内容。
已知黄道与赤道的夹角和太阳从冬至点向春分点运行的黄经余弧，求赤经余弧和赤纬度数，是一个解球面直角三角形的问题，传统历法都是用内插法进行计算。元代王恂、郭守敬等则用传统的勾股形解法、沈括用会圆术和天元术解决了这个问题。不过他们得到的是一个近似公式，结果不够精确。但他们的整个推算步骤是正确无误的，从数学意义上讲，这个方法开辟了通往球面三角法的途径。
中国古代计算技术改革的高潮也是出现在宋元时期。宋元明的历史文献中载有大量这个时期的实用算术书目，其数量远比唐代为多，改革的主要内容仍是乘除法。与算法改革的同时，穿珠算盘在北宋可能已出现。但如果把现代珠算看成是既有穿珠算盘，又有一套完善的算法和口诀，那么应该说它最后完成于元代。
宋元数学的繁荣，是社会经济发展和科学技术发展的必然结果，是传统数学发展的必然结果。此外，数学家们的科学思想与数学思想也是十分重要的。宋元数学家都在不同程度上反对理学家的象数神秘主义。秦九韶虽曾主张数学与道学同出一源，但他后来认识到，“通神明”的数学是不存在的，只有“经世务类万物”的数学；莫若在《四元玉鉴》序文中提出的“用假象真，以虚问实”则代表了高度抽象思维的思想方法；杨辉对纵横图结构进行研究，揭示出洛书的本质，有力地批判了象数神秘主义。所有这些，无疑是促进数学发展的重要因素。
中西方数学的融合
中国从明代开始进入了封建社会的晚期，封建统治者实行极权统治，宣传唯心主义哲学，施行八股考试制度。在这种情况下，除珠算外，数学发展逐渐衰落。
16世纪末以后，西方初等数学陆续传入中国，使中国数学研究出现一个中西融合贯通的局面；鸦片战争以后，近代数学开始传入中国，中国数学便转入一个以学习西方数学为主的时期；到19世纪末20世纪初，近代数学研究才真正开始。
从明初到明中叶，商品经济有所发展，和这种商业发展相适应的是珠算的普及。明初《魁本对相四言杂字》和《鲁班木经》的出现，说明珠算已十分流行。前者是儿童看图识字的课本，后者把算盘作为家庭必需用品列入一般的木器家具手册中。
随着珠算的普及，珠算算法和口诀也逐渐趋于完善。例如王文素和程大位增加并改善撞归、起一口诀；徐心鲁和程大位增添加、减口诀并在除法中广泛应用归除，从而实现了珠算四则运算的全部口诀化；朱载墒和程大位把筹算开平方和开立方的方法应用到珠算，程大位用珠算解数字二次、三次方程等等。程大位的著作在国内外流传很广，影响很大。
1582年，意大利传教士利玛窦到中国，1607年以后，他先后与徐光启翻译了《几何原本》前六卷、《测量法义》一卷，与李之藻编译《圜容较义》和《同文算指》。1629年，徐光启被礼部任命督修历法，在他主持下，编译《崇祯历书》137卷。《崇祯历书》主要是介绍欧洲天文学家第谷的地心学说。作为这一学说的数学基础，希腊的几何学，欧洲玉山若干的三角学，以及纳皮尔算筹、伽利略比例规等计算工具也同时介绍进来。
在传入的数学中，影响最大的是《几何原本》。《几何原本》是中国第一部数学翻译著作，绝大部分数学名词都是首创，其中许多至今仍在沿用。徐光启认为对它“不必疑”、“不必改”，“举世无一人不当学”。《几何原本》是明清两代数学家必读的数学书，对他们的研究工作颇有影响。
其次应用最广的是三角学，介绍西方三角学的著作有《大测》《割圆八线表》和《测量全义》。《大测》主要说明三角八线(正弦、余弦、正切、余切、正割、余割、正矢、余矢)的性质，造表方法和用表方法。《测量全义》除增加一些《大测》所缺的平面三角外，比较重要的是积化和差公式和球面三角。所有这些，在当时历法工作中都是随译随用的。
1646年，波兰传教士穆尼阁来华，跟随他学习西方科学的有薛凤柞、方中通等。穆尼阁去世后，薛凤柞据其所学，编成《历学会通》，想把中法西法融会贯通起来。《历学会通》中的数学内容主要有比例对数表》《比例四线新表》和《三角算法》。前两书是介绍英国数学家纳皮尔和布里格斯发明增修的对数。后一书除《崇祯历书》介绍的球面三角外，尚有半角公式、半弧公式、德氏比例式、纳氏比例式等。方中通所著《数度衍》对对数理论进行解释。对数的传入是十分重要，它在历法计算中立即就得到应用。
清初学者研究中西数学有心得而著书传世的很多，影响较大的有王锡阐《图解》、梅文鼎《梅氏丛书辑要》(其中数学著作13种共40卷)、年希尧《视学》等。梅文鼎是集中西数学之大成者。他对传统数学中的线性方程组解法、勾股形解法和高次幂求正根方法等方面进行整理和研究，使濒于枯萎的明代数学出现了生机。年希尧的《视学》是中国第一部介绍西方透视学的著作。
清康熙皇帝十分重视西方科学，他除了亲自学习天文数学外，还培养了一些人才和翻译了一些著作。1712年康熙皇帝命梅彀成任蒙养斋汇编官，会同陈厚耀、何国宗、明安图、杨道声等编纂天文算法书。1721年完成《律历渊源》100卷，以康熙“御定”的名义于1723年出版。其中《数理精蕴》主要由梅彀成负责，分上下两编，上编包括《几何原本》、《算法原本》，均译自法文著作；下编包括算术、代数、平面几何平面三角、立体几何等初等数学，附有素数表、对数表和三角函数表。由于它是一部比较全面的初等数学百科全书，并有康熙“御定”的名义，因此对当时数学研究有一定影响。
综上述可以看到，清代数学家对西方数学做了大量的会通工作，并取得许多独创性的成果。这些成果，如和传统数学比较，是有进步的，但和同时代的西方比较则明显落后了。
雍正即位以后，对外闭关自守，导致西方科学停止输入中国，对内实行高压政策，致使一般学者既不能接触西方数学，又不敢过问经世致用之学，因而埋头于究治古籍。乾嘉年间逐渐形成一个以考据学为主的乾嘉学派。
随着《算经十书》与宋元数学著作的收集与注释，出现了一个研究传统数学的高潮。其中能突破旧有框框并有发明创造的有焦循、汪莱、李锐、李善兰等。他们的工作，和宋元时代的代数学比较是青出于蓝而胜于蓝的；和西方代数学比较，在时间上晚了一些，但这些成果是在没有受到西方近代数学的影响下独立得到的。
与传统数学研究出现高潮的同时，阮元与李锐等编写了一部天文数学家传记—《畴人传》，收集了从黄帝时期到嘉庆四年已故的天文学家和数学家270余人(其中有数学著作传世的不足50人)，和明末以来介绍西方天文数学的传教士41人。这部著作全由“掇拾史书，荃萃群籍，甄而录之”而成，收集的完全是第一手的原始资料，在学术界颇有影响。
1840年鸦片战争以后，西方近代数学开始传入中国。首先是英人在上海设立墨海书馆，介绍西方数学。第二次鸦片战争后，曾国藩、李鸿章等官僚集团开展“洋务运动”，也主张介绍和学习西方数学，组织翻译了一批近代数学著作。
其中较重要的有李善兰与伟烈亚力翻译的《代数学》《代微积拾级》；华蘅芳与英人傅兰雅合译的《代数术》《微积溯源》《决疑数学》；邹立文与狄考文编译的《形学备旨》《代数备旨》《笔算数学》；谢洪赉与潘慎文合译的《代形合参》《八线备旨》等等。
《代微积拾级》是中国第一部微积分学译本；《代数学》是英国数学家德·摩根所著的符号代数学译本；《决疑数学》是第一部概率论译本。在这些译著中，创造了许多数学名词和术语，至今还在应用，但所用数学符号一般已被淘汰了。戊戌变法以后，各地兴办新法学校，上述一些著作便成为主要教科书。
在翻译西方数学著作的同时，中国学者也进行一些研究，写出一些著作，较重要的有李善兰的《《尖锥变法解》《考数根法》；夏弯翔的《洞方术图解》《致曲术》《致曲图解》等等，都是会通中西学术思想的研究成果。
由于输入的近代数学需要一个消化吸收的过程，加上清末统治者十分腐败，在太平天国运动的冲击下，在帝国主义列强的掠夺下，焦头烂额，无暇顾及数学研究。直到1919年五四运动以后，中国近代数学的研究才真正开始。
中国古代数学家——刘徽
刘徽（生于公元250年左右），是中国数学史上一个非常伟大的数学家，在世界数学史上，也占有杰出的地位．他的杰作《九章算术注》和《海岛算经》，是我国最宝贵的数学遗产．
《九章算术》约成书于东汉之初，共有246个问题的解法．在许多方面：如解联立方程，分数四则运算，正负数运算，几何图形的体积面积计算等，都属于世界先进之列，但因解法比较原始，缺乏必要的证明，而刘徽则对此均作了补充证明．在这些证明中，显示了他在多方面的创造性的贡献．他是世界上最早提出十进小数概念的人，并用十进小数来表示无理数的立方根．在代数方面，他正确地提出了正负数的概念及其加减运算的法则；改进了线性方程组的解法．在几何方面，提出了"割圆术"，即将圆周用内接或外切正多边形穷竭的一种求圆面积和圆周长的方法．他利用割圆术科学地求出了圆周率π=3.14的结果．刘徽在割圆术中提出的"割之弥细，所失弥少，割之又割以至于不可割，则与圆合体而无所失矣"，这可视为中国古代极限观念的佳作．
《海岛算经》一书中， 刘徽精心选编了九个测量问题，这些题目的创造性、复杂性和富有代表性，都在当时为西方所瞩目．
刘徽思想敏捷，方法灵活，既提倡推理又主张直观．他是我国最早明确主张用逻辑推理的方式来论证数学命题的人．
刘徽的一生是为数学刻苦探求的一生．他虽然地位低下，但人格高尚．他不是沽名钓誉的庸人，而是学而不厌的伟人，他给我们中华民族留下了宝贵的财富．
中国古代数学家——祖冲之
祖冲之（公元429-500年）是我国南北朝时期，河北省涞源县人．他从小就阅读了许多天文、数学方面的书籍，勤奋好学，刻苦实践，终于使他成为我国古代杰出的数学家、天文学家．
祖冲之在数学上的杰出成就，是关于圆周率的计算．秦汉以前，人们以"径一周三"做为圆周率，这就是"古率"．后来发现古率误差太大，圆周率应是"圆径一而周三有余"，不过究竟余多少，意见不一．直到三国时期，刘徽提出了计算圆周率的科学方法--"割圆术"，用圆内接正多边形的周长来逼近圆周长．刘徽计算到圆内接96边形， 求得π=3.14，并指出，内接正多边形的边数越多，所求得的π值越精确．祖冲之在前人成就的基础上，经过刻苦钻研，反复演算，求出π在3.1415926与3.1415927之间．并得出了π分数形式的近似值，取22/7为约率，取355/133为密率，其中355/133取六位小数是3.141929，它是分子分母在1000以内最接近π值的分数．祖冲之究竟用什么方法得出这一结果，现在无从考查．若设想他按刘徽的"割圆术"方法去求的话，就要计算到圆内接16，384边形，这需要化费多少时间和付出多么巨大的劳动啊！由此可见他在治学上的顽强毅力和聪敏才智是令人钦佩的．祖冲之计算得出的密率， 外国数学家获得同样结果，已是一千多年以后的事了．为了纪念祖冲之的杰出贡献，有些外国数学史家建议把π=叫做"祖率"．
祖冲之博览当时的名家经典，坚持实事求是，他从亲自测量计算的大量资料中对比分析，发现过去历法的严重误差，并勇于改进，在他三十三岁时编制成功了《大明历》，开辟了历法史的新纪元．
祖冲之还与他的儿子祖暅（也是我国著名的数学家）一起，用巧妙的方法解决了球体体积的计算．他们当时采用的一条原理是："幂势既同，则积不容异．"意即，位于两平行平面之间的两个立体，被任一平行于这两平面的平面所截，如果两个截面的面积恒相等，则这两个立体的体积相等．这一原理，在西文被称为卡瓦列利原理， 但这是在祖氏以后一千多年才由卡氏发现的．为了纪念祖氏父子发现这一原理的重大贡献，大家也称这原理为"祖暅原理"．
形成、纯数与应数及美学
数学出现于包含著数量、结构、空间及变化等困难问题内。一开始，出现于贸易、土地测量及之后的天文学；今日，所有的科学都存在着值得数学家研究的问题，且数学本身亦存在了许多的问题。牛顿和莱布尼兹是微积分的发明者，费曼发明了费曼路径积分，来用于推理及物理的洞察，而今日的弦理论亦生成为新的数学。一些数学只和生成它的领域有关，且应用于此领域的更多问题解答。但一般被一领域生成的数学亦可以在其他许多领域内被有用的使用，且成为数学概念的一般知识。即使是“最纯的”数学通常亦可以被用于实际的用途上的此一卓越的事实，被维格纳称为“数学在自然科学中不可想像的有效性”。
如同大多数的研究领域，科学知识的爆发导致了数学的专业化。一主要的分歧为纯数学和应用数学。在应用数学内，又被分成两大领域，并且变成了它们自身的学科－统计学和计算机科学。
许多数学家谈论数学的优美，其内在的美学及美。简单和一般化即为美的一种。另外亦包括巧妙的证明，如欧几里德对存在无限多质数的证明，及加快计算的数值方法，如快速傅里叶变换。高德菲·哈罗德·哈代在一个数学家的自白这章文章中表示其所相信的美学思维足够使其进行纯数学的研究。
符号、语言与严谨
在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。
我们现今所使用的大部份数学符号都是到了16世纪后才被发明出来了。在此之前，数学被以文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。
数学语言亦对初学者而言感到困难。如或和只这些字有着比日常用语更精确的意思。亦困恼著初学者的，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。
严谨是数学证明中很重要且基本的一部份。数学家希望他们的定理以系统化的推理依著公理被推论下去。这是为了避免错误的“定理”，依著不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因著时间而不同：希腊人期许著仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。
公理在传统的思想中是“不证自明的真理”，但这种想法是有问题的。在形式上，公理只是一串符号，其只对可以由公理系统导出的公式之内容有意义。希尔伯特计划即是想将所有的数学放在坚固的公理基础上，但依据哥德尔不完备定理，每一不相矛盾的公理系统必含有一不可决定的公式；因而所有数学的最终公理化是不可能的。然而数学常常被想像成只是一些公理化的集合论，在此意义下，所有数学叙述或证明都可以写成集合论的公式。
数学作为科学
卡尔·弗里德里希·高斯称数学为“科学之母”。其拉丁原文为Regina Scientiarum，而其德语为Königin der Wissenschaften（愿意：科学的皇后），其对应于科学的单字意思为知识。而实际上，科学science在英语内的原文内也是这个意思，且无疑问地数学确实一门在此意思下的“科学”。将科学限定在自然科学则是在此之后的事。若认为科学是只指物理的世界时，则数学，至少是纯数学不会是一门科学。爱因斯坦曾这样描述著：“数学定律越和现实有关，它们越不确实；若它们越是确定的话，它们和现实越不会有关。”
许多哲学家相信数学在经验上具可否证性，且因此不是卡尔·波普尔所定义的数学。但在1930年代时，在数学逻辑上的重大进展显示数学不能归并至逻辑内，且卡尔·波普尔推断“大部份的数学定律，如物理及生物学一样，是假设演绎的：纯数学因此变得更接近其假设为猜测的自然科学，比它现在看起来更接近。”其他的思想家，如较著名的拉卡托斯，提供了一个关于数学本身的可否证性版本。
另一种观点为某些科学领域(如理论物理)是其公理为尝试著符合现实的数学。而事实上，理论物理学家齐曼即认为科学是一种公众知识且因此亦包含著数学。在任何的情况下，数学和物理科学的许多领域都有着相同的地方，尤其是在假设的逻辑推论的探索。直觉和实验在数学和科学的猜想建构上皆扮演着重要的角色。实验数学在数学中的重要种持续地在增加，且计算（computation）和模拟在科学及数学中所扮演的角色也越来越加重，减轻了数学不使用科学方法的缺点。在史蒂芬·沃尔夫勒姆2002年的书籍一种新科学中提出，计算数学应被视为其自身的一科学领域来探索。
数学家对此的态度并不一致。一些研究应用数学的数学家觉得他们是科学家，而那些研究纯数学的数学家则时常觉得他们是在一门较接近逻辑的领域内工作，且因此基本上是个哲学家。许多数学家认为称他们的工作是一种科学，是低估了其美学方面的重要性，以及其做为七大博雅教育之一的历史；另外亦有人认为若忽略其与科学之间的关联，是假装没看到数学和其在科学与工程之间的交界导致了许多在数学上的发展此一事实。这两种观点之间的差异在哲学上产生了数学是被创造(如艺术)或是被发现(如科学)的争议。大学院系划分中常见“科学和数学”系，这指出了这两个领域被看作同盟而非同一。实际上，数学家基本上会在大体上与科学家合作，但在细节上却会分开。这亦是数学哲学众多议题的其中之一个议题。
数学奖通常和其他科学的奖项分开。数学上最有名的奖为菲尔兹奖，创立于1936年，每四年颁奖一次。它通常被认为是数学的诺贝尔奖。另一个国际上主要的奖项为阿贝尔奖，创立于2003年。两者都颁奖于特定的工作主题，包括数学新领域的创新或已成熟领域中未解决问题的解答。著名的23个问题，称为希尔伯特的23个问题，于1900年由德国数学家大卫·希尔伯特所提出。这一连串的问题在数学家之间有着极高的名望，且至少有九个问题已经被解答了出来。另一新的七个重要问题，称为千禧年大奖难题，在2000年发表出来。每一个问题的解答都有着一百万美元的奖金，且只是一个问题(黎曼猜想)和希尔伯特的问题重复。
数学的各领域
早期的数学完全着重在演算实际运算的需要上，有如反映在中国算盘上的一般。如同上面所述一般，数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。
数量
数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。数论还包括两个被广为探讨的未解问题：孪生素数猜想及哥德巴赫猜想。
当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：艾礼富数，它允许无限集合之间的大小可以做有意义的比较。
结构
许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。
空间
空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数，且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中，拓扑学可能是二十世纪数学中有着最大进展的领域，并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明，而从来没有由人力来验证过。
变化
了解及描述变化在自然科学里是一普遍的议题，而微积分即是一发展来做为研究变化的有利工具。函数誔生于此，做为描述一变化的量的核心概念。对于实数及实变函数的严格研究为实分析，而复分析则为复数的等价领域。黎曼猜想－数学最基本的未决问题之一－即以复分析来描述。泛函分析注重在函数的(一般为无限维)空间上。泛函分析的众多应用之一为量子力学。许多的问题很自然地会导出数量与其变化率之间的关系，而这则被微分方程所研究著。在自然界中的许多现象可以被动力系统所描述；混沌理论明确化许多表现出不可预测的系统之行为，而且为决定性系统的行为。
基础与哲学
为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。
数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。
离散数学
离散数学是指对理论计算机科学最有用处的数学领域之总称，包含有可计算理论、计算复杂性理论及信息论。可计算理论检查电脑的不同理论模型之极限，包含现知最有力的模型－图灵机。复杂性理论研究可以由电脑做为较易处理的程度；有些问题即使理论是可以以电脑解出来，但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的，尽管电脑硬件的快速进步。最后，信息论专注在可以储存在特定媒体内的资料总量，且因此有压缩及熵等概念。
做为一相对较新的领域，离散数学有许多基本的未解问题。其中最有名的为P/NP问题－千禧年大奖难题之一。一般相信此问题的解答是否定的。
应用数学
应用数学思考将抽象的数学工具运用在解答科学、工商业及其他领域上之现实问题。应用数学中的一重要领域为统计学，它利用机率论为其工具并允许对含有机会成分的现象进行描述、分析与预测。大部份的实验、测量及观察研究需要统计对其资料的分析。(许多的统计学家并不认为他们是数学家，而比较觉得是合作团体的一份子。)数值分析研究如何有效地用电脑的方法解决大量因太大而不可能以人类的演算能力算出的数学问题；它亦包含了对计算中舍入误差或其他来源的误差之研究。
模糊数学
产生
现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看，在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性，人们可以通过说明属性来说明概念（内涵），也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延，外延其实就是集合。从这个意义上讲，集合可以表现概念，而集合论中的关系和运算又可以表现判断和推理，一切现实的理论系统都一可能纳入集合描述的数学框架。
但是，数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上，它明确地限定：每个集合都必须由明确的元素构成，元素对集合的隶属关系必须是明确的，决不能模棱两可。对于那些外延不分明的概念和事物，经典集合论是暂时不去反映的，属于待发展的范畴。
在较长时间里，精确数学及随机数学在描述自然界多种事物的运动规律中，获得显著效果。但是，在客观世界中还普遍存在着大量的模糊现象。以前人们回避它，但是，由于现代科技所面对的系统日益复杂，模糊性总是伴随着复杂性出现。
各门学科，尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是，随着电子计算机、控制论、系统科学的迅速发展，要使计算机能像人脑那样对复杂事物具有识别能力，就必须研究和处理模糊性。
我们研究人类系统的行为，或者处理可与人类系统行为相比拟的复杂系统，如航天系统、人脑系统、社会系统等，参数和变量甚多，各种因素相互交错，系统很复杂，它的模糊性也很明显。从认识方面说，模糊性是指概念外延的不确定性，从而造成判断的不确定性。
在日常生活中，经常遇到许多模糊事物，没有分明的数量界限，要使用一些模糊的词句来形容、描述。比如，比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中，往往也有许多模糊的东西。例如，要确定一炉钢水是否已经炼好，除了要知道钢水的温度、成分比例和冶炼时间等精确信息外，还需要参考钢水颜色、沸腾情况等模糊信息。因此，除了很早就有涉及误差的计算数学之外，还需要模糊数学。
人与计算机相比，一般来说，人脑具有处理模糊信息的能力，善于判断和处理模糊现象。但计算机对模糊现象识别能力较差，为了提高计算机识别模糊现象的能力，就需要把人们常用的模糊语言设计成机器能接受的指令和程序，以便机器能像人脑那样简洁灵活的做出相应的判断，从而提高自动识别和控制模糊现象的效率。这样，就需要寻找一种描述和加工模糊信息的数学工具，这就推动数学家深入研究模糊数学。所以，模糊数学的产生是有其科学技术与数学发展的必然性。
研究内容
1965年，美国控制论专家、数学家查德发表了论文《模糊集合》，标志着模糊数学这门学科的诞生。
模糊数学的研究内容主要有以下三个方面：
第一，研究模糊数学的理论，以及它和精确数学、随机数学的关系。察德以精确数学集合论为基础，并考虑到对数学的集合概念进行修改和推广。他提出用“模糊集合”作为表现模糊事物的数学模型。并在“模糊集合”上逐步建立运算、变换规律，开展有关的理论研究，就有可能构造出研究现实世界中的大量模糊的数学基础，能够对看来相当复杂的模糊系统进行定量的描述和处理的数学方法。
在模糊集合中，给定范围内元素对它的隶属关系不一定只有“是”或“否”两种情况，而是用介于0和1之间的实数来表示隶属程度，还存在中间过渡状态。比如“老人”是个模糊概念，70岁的肯定属于老人，它的从属程度是 1，40岁的人肯定不算老人，它的从属程度为 0，按照查德给出的公式，55岁属于“老”的程度为0.5，即“半老”，60岁属于“老”的程度0.8。查德认为，指明各个元素的隶属集合，就等于指定了一个集合。当隶属于0和1之间值时，就是模糊集合。
第二，研究模糊语言学和模糊逻辑。人类自然语言具有模糊性，人们经常接受模糊语言与模糊信息，并能做出正确的识别和判断。
为了实现用自然语言跟计算机进行直接对话，就必须把人类的语言和思维过程提炼成数学模型，才能给计算机输入指令，建立和是的模糊数学模型，这是运用数学方法的关键。查德采用模糊集合理论来建立模糊语言的数学模型，使人类语言数量化、形式化。
如果我们把合乎语法的标准句子的从属函数值定为1，那么，其他文法稍有错误，但尚能表达相仿的思想的句子，就可以用以0到1之间的连续数来表征它从属于“正确句子”的隶属程度。这样，就把模糊语言进行定量描述，并定出一套运算、变换规则。目前，模糊语言还很不成熟，语言学家正在深入研究。
人们的思维活动常常要求概念的确定性和精确性，采用形式逻辑的排中律，既非真既假，然后进行判断和推理，得出结论。现有的计算机都是建立在二值逻辑基础上的，它在处理客观事物的确定性方面，发挥了巨大的作用，但是却不具备处理事物和概念的不确定性或模糊性的能力。
为了使计算机能够模拟人脑高级智能的特点，就必须把计算机转到多值逻辑基础上，研究模糊逻辑。目前，模糊罗基还很不成熟，尚需继续研究。
第三，研究模糊数学的应用。模糊数学是以不确定性的事物为其研究对象的。模糊集合的出现是数学适应描述复杂事物的需要，查德的功绩在于用模糊集合的理论找到解决模糊性对象加以确切化，从而使研究确定性对象的数学与不确定性对象的数学沟通起来，过去精确数学、随机数学描述感到不足之处，就能得到弥补。在模糊数学中，目前已有模糊拓扑学、模糊群论、模糊图论、模糊概率、模糊语言学、模糊逻辑学等分支。
应用
模糊数学是一门新兴学科，它已初步应用于模糊控制、模糊识别、模糊聚类分析、模糊决策、模糊评判、系统理论、信息检索、医学、生物学等各个方面。在气象、结构力学、控制、心理学等方面已有具体的研究成果。然而模糊数学最重要的应用领域是计算机职能，不少人认为它与新一代计算机的研制有密切的联系。
目前，世界上发达国家正积极研究、试制具有智能化的模糊计算机，1986年日本山川烈博士首次试制成功模糊推理机，它的推理速度是1000万次/秒。1988年，我国汪培庄教授指导的几位博士也研制成功一台模糊推理机——分立元件样机，它的推理速度为1500万次/秒。这表明我国在突破模糊信息处理难关方面迈出了重要的一步。
非数学
数学不是占数术。数学的证明或反证明的意念都要在逻辑之中进行，占数术却不。
数学不是会计学。虽然会计师的工作就是算术运算，他们只需检查计算是否准确。证明和反证假设对数学家很重要但对会计师毫不重要。如果高等抽象数学的发展不能改善簿记的精确性和效率，和会计学毫无关系。
数学不是物理，虽然历史上和哲学上两者关系密切。
页:
[1]