数学是什么

我国古奇普，印加帝国时所使用的计数工具。数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικ�0�2�0�9（mathematikós）意思是“学问的基础”，源于μ�0�4θημα（máthema）（“科学，知识，学问”）。

数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解了如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。

历史奇普，印加帝国时所使用的计数工具。数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικ�0�2�0�9（mathematikós）意思是“学问的基础”，源于μ�0�4θημα（máthema）（“科学，知识，学问”）。

数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解了如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。

更进一步则需要写作或其他可记录数字的系统，如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。

从历史时代的一开始，数学内的主要原理是为了做税务和贸易等相关计算，为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。

到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使所有的人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中，微积分的方法被发明。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。

数学从古至今便一直不断地延展，且与科学有丰富的相互作用，并使两者都得到好处。数学在历史上有着许多的发现，并且直至今日都还不断地发现中。依据Mikhail B Sevryuk于美国数学会通报2006年1月的期刊中所说，“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份，而且每年还增加超过七万五千份的细目。此一学海的绝大部份为新的数学定理及其证明。”分支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计算方法详细请见词条：数学分支符号、语言与严谨在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。

我们现今所使用的大部份数学符号都是到了16世纪后才被发明出来了。在此之前，数学被以文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。

数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。

严谨是数学证明中很重要且基本的一部份。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”，依着不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。各领域早期的数学完全着重在演算实际运算的需要上，有如反映在中国算盘上的一般。如同上面所述一般，数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。

数量

数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。数论还包括两个被广为探讨的未解问题：孪生素数猜想及哥德巴赫猜想。

当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：艾礼富数，它允许无限集合之间的大小可以做有意义的比较。

结构

许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。

空间

空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数，且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中，拓扑学可能是二十世纪数学中有着最大进展的领域，并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明，而从来没有由人力来验证过。

基础与哲学

为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。康托（Georg Cantor，1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，就连被誉为“博大精深，富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”，甚至他的老师Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚”他还指出：“数学的本质在于它的自由性，不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中，致使他1884年患了精神分裂症，最后死于精神病院。

然而，历史终究公平地评价了他的创造，集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。

数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。

恩格斯说：“数学是研究现定世界的数量关系与空间形式的科学。”

离散数学

离散数学是指对理论计算机科学最有用处的数学领域之总称，包含有可计算理论、计算复杂性理论及信息论。可计算理论检查电脑的不同理论模型之极限，包含现知最有力的模型－图灵机。复杂性理论研究可以由电脑做为较易处理的程度；有些问题即使理论是可以以电脑解出来，但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的，尽管电脑硬件的快速进步。最后，信息论专注在可以储存在特定媒体内的资料总量，且因此有压缩及熵等概念。

做为一相对较新的领域，离散数学有许多基本的未解问题。其中最有名的为P/NP问题－千禧年大奖难题之一。一般相信此问题的解答是否定的。

应用数学

应用数学思考将抽象的数学工具运用在解答科学、工商业及其他领域上之现实问题。应用数学中的一重要领域为统计学，它利用机率论为其工具并允许对含有机会成分的现象进行描述、分析与预测。大部份的实验、测量及观察研究需要统计对其资料的分析。(许多的统计学家并不认为他们是数学家，而比较觉得是合作团体的一份子。)数值分析研究如何有效地用电脑的方法解决大量因太大而不可能以人类的演算能力算出的数学问题；它亦包含了对计算中舍入误差或其他来源的误差之研究。

模糊数学

现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看，在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性，人们可以通过说明属性来说明概念（内涵），也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延，外延其实就是集合。从这个意义上讲，集合可以表现概念，而集合论中的关系和运算又可以表现判断和推理，一切现实的理论系统都一可能纳入集合描述的数学框架。

但是，数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上，它明确地限定：每个集合都必须由明确的元素构成，元素对集合的隶属关系必须是明确的，决不能模棱两可。对于那些外延不分明的概念和事物，经典集合论是暂时不去反映的，属于待发展的范畴。

在较长时间里，精确数学及随机数学在描述自然界多种事物的运动规律中，获得显著效果。但是，在客观世界中还普遍存在着大量的模糊现象。以前人们回避它，但是，由于现代科技所面对的系统日益复杂，模糊性总是伴随着复杂性出现。

各门学科，尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是，随着电子计算机、控制论、系统科学的迅速发展，要使计算机能像人脑那样对复杂事物具有识别能力，就必须研究和处理模糊性。

我们研究人类系统的行为，或者处理可与人类系统行为相比拟的复杂系统，如航天系统、人脑系统、社会系统等，参数和变量甚多，各种因素相互交错，系统很复杂，它的模糊性也很明显。从认识方面说，模糊性是指概念外延的不确定性，从而造成判断的不确定性。

在日常生活中，经常遇到许多模糊事物，没有分明的数量界限，要使用一些模糊的词句来形容、描述。比如，比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中，往往也有许多模糊的东西。例如，要确定一炉钢水是否已经炼好，除了要知道钢水的温度、成分比例和冶炼时间等精确信息外，还需要参考钢水颜色、沸腾情况等模糊信息。因此，除了很早就有涉及误差的计算数学之外，还需要模糊数学。

人与计算机相比，一般来说，人脑具有处理模糊信息的能力，善于判断和处理模糊现象。但计算机对模糊现象识别能力较差，为了提高计算机识别模糊现象的能力，就需要把人们常用的模糊语言设计成机器能接受的指令和程序，以便机器能像人脑那样简洁灵活的做出相应的判断，从而提高自动识别和控制模糊现象的效率。这样，就需要寻找一种描述和加工模糊信息的数学工具，这就推动数学家深入研究模糊数学。所以，模糊数学的产生是有其科学技术与数学发展的必然性。广义的数学分类从纵向划分：

1、初等数学和古代数学：这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学，古代中国、古印度和古巴比伦时期建立的算术，欧洲文艺复兴时期发展起来的代数方程等。

2、变量数学：是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期，可以分为两个阶段：17世纪的创建阶段（英雄时代）与18世纪的发展阶段（创造时代）。

3、近代数学：是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段，数学的面貌发生了深刻的变化，数学的绝大部分分支在这一时期都已经形成，整个数学呈现现出全面繁荣的景象。

4、现代数学：是指20世纪的数学。1900年德国著名数学家希尔伯特（D Hilbert）在世界数学家大会上发表了一个著名演讲，提出了23个预测和知道今后数学发展的数学问题（见下），拉开了20世纪现代数学的序幕。

注：希尔伯特的23个问题——

在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。

希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 现在只列出一张清单：

（1）康托的连续统基数问题。

（2）算术公理系统的无矛盾性。

（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。

（4）两点间以直线为距离最短线问题。

（5）拓扑学成为李群的条件（拓扑群）。

（6）对数学起重要作用的物理学的公理化。

（7）某些数的超越性的证明。

（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。

（9）一般互反律在任意数域中的证明。

（10）能否通过有限步骤来判定不定方程是否存在有理整数解？

（11）一般代数数域内的二次型论。

（12）类域的构成问题。

（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。

（14）某些完备函数系的有限的证明。

（15）建立代数几何学的基础。

（16）代数曲线和曲面的拓扑研究。

（17）半正定形式的平方和表示。

（18）用全等多面体构造空间。

（19）正则变分问题的解是否总是解析函数？

（20）研究一般边值问题。

（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。

（22）用自守函数将解析函数单值化。

（23）发展变分学方法的研究。

从横向划分：

1、基础数学（英文：Pure Mathematics）。又称为理论数学或纯粹数学，是数学的核心部分，包含代数、几何、分析三大分支，分别研究数、形和数形关系。

2、应用数学。简单地说，也即数学的应用。

3、计算数学。研究诸如计算方法（数值分析）、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。

4、概率统计。分概率论与数理统计两大块。5、运筹学与控制论。运筹学是利用数学方法，在建立模型的基础上，解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科其它解析另外，对数学还有一些更加广义的理解。如，有人认为，“数学是一种文化体系”，“数学是一种语言”，数学活动是社会性的，它是在人类文明发展的历史进程中，人类认识自然、适应和改造自然、完善自我与社会的一种高度智慧的结晶。数学对人类的思维方式产生了关键性的影响．也有人认为，数学是一门艺术，“和把数学看作一门学科相比，我几乎更喜欢把它看作一门艺术，因为数学家在理性世界指导下（虽然不是控制下）所表现出的经久的创造性活动，具有和艺术家的，例如画家的活动相似之处，这是真实的而并非臆造的。数学家的严格的演绎推理在这里可以比作专门注技巧。就像一个人若不具备一定量的技能就不能成为画家一样，不具备一定水平的精确推理能力就不能成为数学家，这些品质是最基本的，它与其它一些要微妙得多的品质共同构成一个优秀的艺术家或优秀的数学家的素质，其中最主要的一条在两种情况下都是想象力。 ”“数学是推理的音乐，”而“音乐是形象的数学”．这是从数学研究的过程和数学家应具备的品质来论述数学的本质，还有人把数学看成是一种对待事物的基本态度和方法，一种精神和观念，即数学精神、数学观念和态度。尼斯（MogensNiss）等在《社会中的数学》一文中认为，数学是一门学科，“在认识论的意义上它是一门科学，目标是要建立、描述和理解某些领域中的对象、现象、关系和机制等。如果这个领域是由我们通常认为的数学实体所构成的，数学就扮演着纯粹科学的角色。在这种情况下，数学以内在的自我发展和自我理解为目标，独立于外部世界，另一方面，如果所考虑的领域存在于数学之外，数学就起着用科学的作用，数学的这两个侧面之间的差异并非数学内容本身的问题，而是人们所关注的焦点不同。无论是纯粹的还是应用的，作为科学的数学有助于产生知识和洞察力。数学也是一个工具、产品以及过程构成的系统，它有助于我们作出与掌握数学以外的实践领域有关的决定和行动，数学是美学的一个领域，能为许多醉心其中的人们提供对美感、愉悦和激动的体验，作为一门学科，数学的传播和发展都要求它能被新一代的人们所掌握。数学的学习不会同时而自动地进行，需要靠人来传授，所以，数学也是我们社会的教育体系中的一个教学科目．”从上所述可以看出，人们是从数学内部（又从数学的内容、表现形式及研究过程等几个角度）。数学与社会的关系、数学与其它学科的关系、数学与人的发展的关系等几个方面来讨论数学的性质的。它们都从一个侧面反映了数学的本质特征，为我们全面认识数学的性质提供了一个视角。基于对数学本质特征的上述认识，人们也从不同侧面讨论了数学的具体特点。比较普遍的观点是，数学有抽象性、精确性和应用的广泛性等特点，其中最本质的特点是抽象性。A，。亚历山大洛夫说，“甚至对数学只有很肤浅的知识就能容易地觉察到数学的这些特点：第一是它的抽象性，第二是精确性，或者更好他说是逻辑的严格性以及它的结论的确定性，最后是它的应用的极端广泛性”王梓坤说，“数学的特点是：内容的抽象性、应用的广泛性、推理的严谨性和结论的明确必”这种看法主要从数学的内容、表现形式和数学的作用等方面来理解数学的特点，是数学特点的一个方面。另外，从数学研究的过程方面、数学与其它学科之间的关系方面来看，数学还有形象性、似真性、拟经验性。“可证伪性”的特点。对数学特点的认识也是有时代特征的，例如，关于数学的严谨性，在各个数学历史发展时期有不同的标准，从欧氏几何到罗巴切夫斯基几何再到希尔伯特公理体系，关于严谨性的评价标准有很大差异，尤其是哥德尔提出并证明了“不完备性定理…以后，人们发现即使是公理化这一曾经被极度推崇的严谨的科学方法也是有缺陷的。因此，数学的严谨性是在数学发展历史中表现出来的，具有相对性。关于数学的似真性，波利亚在他的《数学与猜想》中指出，“数学被人看作是一门论证科学。然而这仅仅是它的一个方面，以最后确定的形式出现的定型的数学，好像是仅含证明的纯论证性的材料，然而，数学的创造过程是与任何其它知识的创造过程一样的，在证明一个数学定理之前，你先得猜测这个定理的内容，在你完全作出详细证明之前，你先得推测证明的思路，你先得把观察到的结果加以综合然后加以类比．你得一次又一次地进行尝试。数学家的创造性工作成果是论证推理，即证明；但是这个证明是通过合情推理，通过猜想而发现的。只要数学的学习过程稍能反映出数学的发明过程的话，那么就应当让猜测、合情推理占有适当的位置。”正是从这个角度，我们说数学的确定性是相对的，有条件的，对数学的形象性、似真性、拟经验性。“可证伪性”特点的强调，实际上是突出了数学研究中观察、实验、分析。比较、类比、归纳、联想等思维过程的重要性。

给个满意哟~</dd></dd></p>

</dd></dd></span>

[编辑本段]数学简介

数学（mathematics；希腊语：μαθηματικά）这一词在西方源自于古希腊语的μάθημα（máthēma），其有学习、学问、科学，以及另外还有个较狭意且技术性的意义－“数学研究”，即使在其语源内。其形容词μαθηματικός（mathēmatikós），意义为和学习有关的或用功的，亦会被用来指数学的。其在英语中表面上的复数形式，及在法语中的表面复数形式les mathématiques，可溯至拉丁文的中性复数mathematica，由西塞罗译自希腊文复数τα μαθηματικά（ta mathēmatiká），此一希腊语被亚里士多德拿来指“万物皆数”的概念。

数学是研究数量、结构、变化以及空间模型等概念的一门学科。通过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念，为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。

数学属性是任何事物的可量度属性，即数学属性是事物最基本的属性。可量度属性的存在与参数无关，但其结果却取决于参数的选择。例如：时间，不管用年、月、日还是用时、分、秒来量度；空间，不管用米、微米还是用英寸、光年来量度，它们的可量度属性永远存在，但结果的准确性与这些参照系数有关。

数学是研究现实世界中数量关系和空间形式的科学。简单地说，是研究数和形的科学。由于生活和劳动上的需求，即使是最原始的民族，也知道简单的计数，并由用手指或实物计数发展到用数字计数。

基础数学的知识与运用总是个人与团体生活中不可或缺的一块。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅的进展，直至16世纪的文艺复兴时期，因著和新科学发现相作用而生成的数学革新导致了知识的加速，直至今日。

今日，数学被使用在世界上不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家亦研究没有任何实际应用价值的纯数学，即使其应用常会在之后被发现。

创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯粹数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。

词源 数学（mathematics；希腊语：μαθηματικά）这一词在西方源自于古希腊语的μάθημα（máthēma），其有学习、学问、科学，以及另外还有个较狭意且技术性的意义－“数学研究”，即使在其语源内。其形容词μαθηματικός（mathēmatikós），意义为和学习有关的或用功的，亦会被用来指数学的。其在英语中表面上的复数形式，及在法语中的表面复数形式les mathématiques，可溯至拉丁文的中性复数mathematica，由西塞罗译自希腊文复数τα μαθηματικά（ta mathēmatiká），此一希腊语被亚里士多德拿来指“万物皆数”的概念。

（拉丁文：Mathemetica)原意是数和数数的技术。

我国古代把数学叫算术，又称算学，最后才改为数学。

[编辑本段]数学的本质

数学的本质是什么？为什么数学可以运用在所有的其它科目上？

数学是研究事物数量和形状规律的科目

如果要深入的研究其本质及其扩展问题，就必须引入全集然文明专有名词了

其实数学的本质是：一门研究储空的科目

自然万物都有其存储的空间，这种现象称之为储空

要判断一个事物是否为“储空”其实很简单：只要能够套入“在××里”的××就是“储空”（包括具体和抽象）。于是大家将会发现，所有的事物都可以套入其中，也就是说：自然万物都只是不同的“储空”而已。

于是人们也发现：代数就是研究储空量的科目；几何就是研究储空形状的科目。而既然自然万物都只是不同的储空而已，那么数学当然也就可以通用于所有的科目之中了！

扩展信息：

1更多的证据

因为一个除真空外的储空都是有储隔（储空隔膜）的，于是人们在其它科目中使用数字就必须用单位来区分各种不同的储空，如：个、头、条、小时、牛、焦耳、欧姆、安培等等，可以说离开了单位，数字几乎毫无意义。

并且各种名词的定义也是相关储空的储隔，就是区别于其他事物的地方。

2新数学等式和计算模型

异储空计算模型

异储空等式异储空等式比如：1个人 异等于 5个苹果 ，就是说：一个人可以得到5个苹果，或一个人和5个苹果相联系（任何联系都可以）；异等号就是等号=下面加个o（储空标志）；这样就可以简单的描述很多日常生活中碰到的计算。而且您还可以通过右图的异储空计算模型（最简单的模型），来计算一些事物。

3其他几何领域

当然有，其实一直都有两个巨大的几何领域被人们长期的忽视，那就是文字几何与功能几何。

（1）文字几何：当一些有特定含义的文字按照特殊的组合和形状排列下来就会出现各种特殊的功能和特性。就像我们最常见的“化学元素周期表”、“文字图表”、“数学计算模型”等等。

（2）功能几何：各种形状都是拥有各种不同的功能的！如球形可以做大容量的容纳物质，交叉有利于物质传播等等。所以我们应该仔细研究和探讨各种形状的各种特殊功能！

使用全集然文明逻辑：如果自然万物有共同的本质和规律，那么它们必然可以用来推导各个科目的本质和规律，并推理出该科目内的新内容。于是我们发现了数学就是研究“储空”的一个科目，并推理出了各种新领域。

注：（等式、四则运算、解方程式的本质都可以用储空内部规律推理出来）

[编辑本段]数学研究的各领域

数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。

数量

数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。数论还包括两个被广为探讨的未解问题：孪生素数猜想及哥德巴赫猜想。

当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：艾礼富数，它允许无限集合之间的大小可以做有意义的比较。

结构

许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。

空间

空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数，且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中，拓扑学可能是二十世纪数学中有着最大进展的领域，并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明，而从来没有由人力来验证过。

基础与哲学

为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。康托（Georg Cantor，1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，就连被誉为“博大精深，富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”，甚至他的老师Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚”他还指出：“数学的本质在于它的自由性，不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中，致使他1884年患了精神分裂症，最后死于精神病院。

然而，历史终究公平地评价了他的创造，集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。

数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。

恩格斯说：“数学是研究现定世界的数量关系与空间形式的科学。”

[编辑本段]数学的分类

离散数学

模糊数学

数学分支

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数学物理学

详细请见词条：数学分支

广义的数学分类

从纵向划分：

1、初等数学和古代数学：这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学，古代中国、古印度和古巴比伦时期建立的算术，欧洲文艺复兴时期发展起来的代数方程等。

2、变量数学：是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期，可以分为两个阶段：17世纪的创建阶段（英雄时代）与18世纪的发展阶段（创造时代）。

3、近代数学：是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段，数学的面貌发生了深刻的变化，数学的绝大部分分支在这一时期都已经形成，整个数学呈现现出全面繁荣的景象。

4、现代数学：是指20世纪的数学。1900年德国著名数学家希尔伯特（D Hilbert）在世界数学家大会上发表了一个著名演讲，提出了23个预测和知道今后数学发展的数学问题（见下），拉开了20世纪现代数学的序幕。

注：希尔伯特的23个问题——

在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。

希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 现在只列出一张清单：

（1）康托的连续统基数问题。

（2）算术公理系统的无矛盾性。

（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。

（4）两点间以直线为距离最短线问题。

（5）拓扑学成为李群的条件（拓扑群）。

（6）对数学起重要作用的物理学的公理化。

（7）某些数的超越性的证明。

（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。

（9）一般互反律在任意数域中的证明。

（10）能否通过有限步骤来判定不定方程是否存在有理整数解？

（11）一般代数数域内的二次型论。

（12）类域的构成问题。

（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。

（14）某些完备函数系的有限的证明。

（15）建立代数几何学的基础。

（16）代数曲线和曲面的拓扑研究。

（17）半正定形式的平方和表示。

（18）用全等多面体构造空间。

（19）正则变分问题的解是否总是解析函数？

（20）研究一般边值问题。

（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。

（22）用自守函数将解析函数单值化。

（23）发展变分学方法的研究。

从横向划分：

1、基础数学（英文：Pure Mathematics）。又称为理论数学或纯粹数学，是数学的核心部分，包含代数、几何、分析三大分支，分别研究数、形和数形关系。

2、应用数学。简单地说，也即数学的应用。

3 、计算数学。研究诸如计算方法（数值分析）、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。

4、概率统计。分概率论与数理统计两大块。

5、运筹学与控制论。运筹学是利用数学方法，在建立模型的基础上，解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科。

[编辑本段]符号、语言与严谨

在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。

我们现今所使用的大部份数学符号都是到了16世纪后才被发明出来的。在此之前，数学被文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。

数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。

严谨是数学证明中很重要且基本的一部份。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”，依着不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。

[编辑本段]数学的发展史

世界数学发展史

奇普，印加帝国时所使用的计数工具。数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικός（mathematikós）意思是“学问的基础”，源于μάθημα（máthema）（“科学，知识，学问”）。

数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解了如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。

更进一步则需要写作或其他可记录数字的系统，如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。

从历史时代的一开始，数学内的主要原理是为了做税务和贸易等相关计算，为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。

到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中，微积分的方法被发明。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。

数学从古至今便一直不断地延展，且与科学有丰富的相互作用，并使两者都得到好处。数学在历史上有着许多的发现，并且直至今日都还不断地发现中。依据Mikhail B Sevryuk于美国数学会通报2006年1月的期刊中所说，“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份，而且每年还增加超过七万五千份的细目。此一学海的绝大部份为新的数学定理及其证明。”

编辑本段简介

名称来源

数学（mathematics；希腊语：μαθηματικ）这一词在西方源自于古希腊语的μθημα（máthēma），其有学习、学问、科学，以及另外还有个较狭隘且技术性的意义－“数学研究”，即使在其语源内。其形容词意义为和学习有关的或用功的，亦会被用来指数学的。其在英语中表面上的复数形式，及在法语中的表面复数形式les mathématiques，可溯至拉丁文的中性复数mathematica，由西塞罗译自希腊文复数τα μαθηματικ（ta mathēmatiká），此一希腊语被亚里士多德拿来指“万物皆数”的概念。（拉丁文：Mathemetica)原意是数和数数的技术。 我国古代把数学叫算术，又称算学，最后才改为数学。 要想学好数学，勤练才可以。

数学史

基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅度的进展，直至16世纪的文艺复兴时期，因着和新科学发现相作用而生成的数学革新导致了知识的加速，直至今日。 今日，数学被使用在世界不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家也研究纯数学，也就是数学本身，而不以任何实际应用为目标。虽然许多以纯数学开始的研究，但之后会发现许多应用。 创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。

编辑本段数学研究的各领域

数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。 数量 数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。数论还包括两个被广为探讨的未解问题：孪生素数猜想及哥德巴赫猜想。 当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：艾礼富数，它允许无限集合之间的大小可以做有意义的比较。 结构 许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。 空间 空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数，且包含有著名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中，拓扑学可能是二十世纪数学中有着最大进展的领域，并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明，而从来没有由人力来验证过 基础与哲学 为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。德国数学家康托（Georg Cantor，1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，就连被誉为“博大精深，富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”，甚至他的老师Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚”他还指出：“数学的本质在于它的自由性，不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中，致使他1884年患了精神分裂症，最后死于精神病院。 然而，历史终究公平地评价了他的创造，集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。 数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。 恩格斯说：“数学是研究现定世界的数量关系与空间形式的科学。”

编辑本段数学的分类

离散数学 模糊数学

数学的五大分支

1经典数学 2近代数学 3计算机数学 4随机数学 5经济数学

数学分支

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数学物理学

广义的数学分类

从纵向划分： 1初等数学和古代数学：这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学，古代中国、古印度和古巴比伦时期建立的算术，欧洲文艺复兴时期发展起来的代数方程等。 2变量数学：是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期，可以分为两个阶段：17世纪的创建阶段（英雄时代）与18世纪的发展阶段（创造时代）。 3近代数学：是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段，数学的面貌发生了深刻的变化，数学的绝大部分分支在这一时期都已经形成，整个数学呈现现出全面繁荣的景象。 4现代数学：是指20世纪的数学。1900年德国著名数学家希尔伯特（D Hilbert）在世界数学家大会上发表了一个著名演讲，提出了23个预测和知道今后数学发展的数学问题（见下），拉开了20世纪现代数学的序幕。 1900年，在巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 现在只列出一张清单： （1）康托的连续统基数问题。 （2）算术公理系统的无矛盾性。 （3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。 （4）两点间以直线为距离最短线问题。 （5）拓扑学成为李群的条件（拓扑群）。 （6）对数学起重要作用的物理学的公理化。 （7）某些数的超越性的证明。 （8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 （9）一般互反律在任意数域中的证明。 （10）能否通过有限步骤来判定不定方程是否存在有理整数解？ （11）一般代数数域内的二次型论。 （12）类域的构成问题。 （13）一般七次代数方程以二变量连续函数之组合求解的不可能性。 （14）某些完备函数系的有限的证明。 （15）建立代数几何学的基础。 （16）代数曲线和曲面的拓扑研究。 （17）半正定形式的平方和表示。 （18）用全等多面体构造空间。 （19）正则变分问题的解是否总是解析函数？ （20）研究一般边值问题。 （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 （22）用自守函数将解析函数单值化。 （23）发展变分学方法的研究。 从横向划分： 1基础数学（Pure Mathematics）。又称为理论数学或纯粹数学，是数学的核心部分，包含代数、几何、分析三大分支，分别研究数、形和数形关系。 2应用数学（Applied mathematics）。简单地说，也即数学的应用。 3 计算数学（Computation mathematics）。研究诸如计算方法（数值分析）、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。 4概率统计（Probability and mathematical statistics）。分概率论与数理统计两大块。 5运筹学与控制论（Op-erations research and control）。运筹学是利用数学方法，在建立模型的基础上，解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科。

编辑本段符号、语言与严谨

在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。 我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的。在此之前，数学被文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。 数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。 严谨是数学证明中很重要且基本的一部份。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”，依着不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。

编辑本段数学的发展史

世界数学发展史 数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικ（mathematikós）意思是“学问的基础”，源于μθημα（máthema）（“科学，知识，学问”）。 数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。 更进一步则需要写作或其他可记录数字的系统，如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。 从历史时代的一开始，数学内的主要原理是为了做税务和贸易等相关计算，为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。 到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中，微积分的方法被发明。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。 数学从古至今便一直不断地延展，且与科学有丰富的相互作用，并使两者都得到好处。数学在历史上有着许多的发现，并且直至今日都还不断地发现中。依据Mikhail B Sevryuk于美国数学会通报2006年1月的期刊中所说，“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份，而且每年还增加超过七万五千份的细目。此一学海的绝大部份为新的数学定理及其证明。”

编辑本段国外数学名家

高斯

数 学 天 才 —— 高 斯 高斯是德国数学家、物理学家和天文学家。 高斯一生下来，就对一切现象和事物十分好奇，而且决心弄个水落石出。7岁那年，高斯第一次上学了。 在全世界广为流传的一则故事说，高斯10岁时算出布特纳给学生们出的将1到100的所有整数加起来的算术题，布特纳当时给孩子们出的是一道更难的加法题：81297+81495+81693+…+100899。说完高斯也算完并把写有答案的小石板交了上去，当时只有他写的答案是正确的。数学史家们倾向于认为，高斯当时已掌握了等差数列求和的方法。一位年仅10岁的孩子，能独立发现这一数学方法实属很不平常。 高斯的学术地位，历来被人们推崇得很高。他有“数学王子”、“数学家之王”的美称。

牛顿

牛顿是英国物理学家和数学家。

在学校里，牛顿是个古怪的孩子，就喜欢自己设计、自己动手，做风筝、日晷、滴漏之类器物。他对周围的一切充满好奇，但并不显得特别聪明。 后来，家里叫他停学，到他母亲的农场上去帮忙。在他母亲的农场上，看到一个苹果落在地上，便开始捉摸，这种将苹果往下拉的力会不会也在控制着月球。由此牛顿推导出物体的下落速度改变率与重力的大小成正比，而重力大小与距地心距离的平方成反比。后来牛顿的棱镜实验也使他一举成名。 牛顿有两句名言是大家所熟知的。他在一封信中写道：“如果我比别人看得远些，那是因为我站在巨人们的肩上。”据说他还讲过：“我不知道世人对我怎么看；但在我自己看来就好像只是一个在海滨嬉戏的孩子，不时地为比别人找到一块光滑的卵石或一只更美丽的贝壳而感到高兴，而我面前的

浩瀚的真理海洋，却还完全是个谜。”

莱布尼茨

戈特弗里德·威廉·凡·莱布尼茨（Gottfried Wilhelm von Leibniz，1646年7月1日～1716年11月14日）德国最重要的自然科学家、数学家、物理学家、历史学家和哲学家，一位举世罕见的科学天才，和牛顿（1643年1月4日—1727年3月31日）同为微积分的创建人。他博览群书，涉猎百科，对丰富人类的科学知识宝库做出了不可磨灭的贡献。

阿基米德

阿基米德（公元前287年—公元前212年），古希腊哲学家、数学家、物理学家。出生于西西里岛的叙拉古。阿基米德到过亚历山大里亚，据说他住在亚历山大里亚时期发明了阿基米德式螺旋抽水机。后来阿基米德成为兼数学家与力学家的伟大学者，并且享有“力学之父”的美称。阿基米德流传于世的数学著作有10余种，多为希腊文手稿。

名称来源

数学（mathematics；希腊语：μαθηματικ）这一词在西方源自于古希腊语的μθημα（máthēma），其有学习、学问、科学，以及另外还有个较狭隘且技术性的意义－“数学研究”，即使在其语源内。其形容词意义为和学习有关的或用功的，亦会被用来指数学的。其在英语中表面上的复数形式，及在法语中的表面复数形式les mathématiques，可溯至拉丁文的中性复数mathematica，由西塞罗译自希腊文复数τα μαθηματικ（ta mathēmatiká），此一希腊语被亚里士多德拿来指“万物皆数”的概念。（拉丁文：Mathemetica)原意是数和数数的技术。 我国古代把数学叫算术，又称算学，最后才改为数学。 要想学好数学，勤练才可以。

数学史

基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅度的进展，直至16世纪的文艺复兴时期，因着和新科学发现相作用而生成的数学革新导致了知识的加速，直至今日。 今日，数学被使用在世界不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家也研究纯数学，也就是数学本身，而不以任何实际应用为目标。虽然许多以纯数学开始的研究，但之后会发现许多应用。 创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。

编辑本段数学研究的各领域

数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。 数量 数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。数论还包括两个被广为探讨的未解问题：孪生素数猜想及哥德巴赫猜想。 当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：艾礼富数，它允许无限集合之间的大小可以做有意义的比较。 结构 许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。 空间 空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数，且包含有著名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中，拓扑学可能是二十世纪数学中有着最大进展的领域，并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明，而从来没有由人力来验证过 基础与哲学 为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。德国数学家康托（Georg Cantor，1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，就连被誉为“博大精深，富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”，甚至他的老师Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚”他还指出：“数学的本质在于它的自由性，不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中，致使他1884年患了精神分裂症，最后死于精神病院。 然而，历史终究公平地评价了他的创造，集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。 数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。 恩格斯说：“数学是研究现定世界的数量关系与空间形式的科学。”

编辑本段数学的分类

离散数学 模糊数学

数学的五大分支

1经典数学 2近代数学 3计算机数学 4随机数学 5经济数学

数学分支

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数学物理学

广义的数学分类

从纵向划分： 1初等数学和古代数学：这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学，古代中国、古印度和古巴比伦时期建立的算术，欧洲文艺复兴时期发展起来的代数方程等。 2变量数学：是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期，可以分为两个阶段：17世纪的创建阶段（英雄时代）与18世纪的发展阶段（创造时代）。 3近代数学：是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段，数学的面貌发生了深刻的变化，数学的绝大部分分支在这一时期都已经形成，整个数学呈现现出全面繁荣的景象。 4现代数学：是指20世纪的数学。1900年德国著名数学家希尔伯特（D Hilbert）在世界数学家大会上发表了一个著名演讲，提出了23个预测和知道今后数学发展的数学问题（见下），拉开了20世纪现代数学的序幕。 1900年，在巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 现在只列出一张清单： （1）康托的连续统基数问题。 （2）算术公理系统的无矛盾性。 （3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。 （4）两点间以直线为距离最短线问题。 （5）拓扑学成为李群的条件（拓扑群）。 （6）对数学起重要作用的物理学的公理化。 （7）某些数的超越性的证明。 （8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 （9）一般互反律在任意数域中的证明。 （10）能否通过有限步骤来判定不定方程是否存在有理整数解？ （11）一般代数数域内的二次型论。 （12）类域的构成问题。 （13）一般七次代数方程以二变量连续函数之组合求解的不可能性。 （14）某些完备函数系的有限的证明。 （15）建立代数几何学的基础。 （16）代数曲线和曲面的拓扑研究。 （17）半正定形式的平方和表示。 （18）用全等多面体构造空间。 （19）正则变分问题的解是否总是解析函数？ （20）研究一般边值问题。 （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 （22）用自守函数将解析函数单值化。 （23）发展变分学方法的研究。 从横向划分： 1基础数学（Pure Mathematics）。又称为理论数学或纯粹数学，是数学的核心部分，包含代数、几何、分析三大分支，分别研究数、形和数形关系。 2应用数学（Applied mathematics）。简单地说，也即数学的应用。 3 计算数学（Computation mathematics）。研究诸如计算方法（数值分析）、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。 4概率统计（Probability and mathematical statistics）。分概率论与数理统计两大块。 5运筹学与控制论（Op-erations research and control）。运筹学是利用数学方法，在建立模型的基础上，解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科。

编辑本段符号、语言与严谨

在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。 我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的。在此之前，数学被文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。 数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。 严谨是数学证明中很重要且基本的一部份。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”，依着不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。

编辑本段数学的发展史

世界数学发展史 数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语Μαθηματικά mathematikós）意思是“学问的基础”，源于ματθημα（máthema）（“科学，知识，学问”）。 数学的演进大约可以看成是抽象化的持续发展，或是题材的延展。第一个被抽象化的概念大概是数字，其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量，史前的人类亦了解如何去数抽象物质的数量，如时间－日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。 更进一步则需要写作或其他可记录数字的系统，如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。 从历史时代的一开始，数学内的主要原理是为了做税务和贸易等相关计算，为了了解数字间的关系，为了测量土地，以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。 到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中，微积分的方法被发明。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。 数学从古至今便一直不断地延展，且与科学有丰富的相互作用，并使两者都得到好处。数学在历史上有着许多的发现，并且直至今日都还不断地发现中。依据Mikhail B Sevryuk于美国数学会通报2006年1月的期刊中所说，“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份，而且每年还增加超过七万五千份的细目。此一学海的绝大部份为新的数学定理及其证明。”

以上就是关于数学是什么全部的内容，包括:数学是什么、什么是数学、好段好句等相关内容解答，如果想了解更多相关内容，可以关注我们，你们的支持是我们更新的动力！