数学的由来
数学的由来
数学，起源于人类早期的生产活动，为中国古代六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语意思是“学问的基础”。
数学史：
数学主要的学科首要产生于商业上计算的需要、了解数与数之间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化（即算术、代数、几何及分析）等数学上广泛的领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论（基础）、至不同科学的经验上的数学（应用数学）、及较近代的至不确定性的严格学习。
数量
数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中，此一理论包括了如费马最后定理之著名的结果。
当数系更进一步发展时，整数被承认为有理数的子集，而有理数则包含于实数中，连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数，它公式化了计数至无限的这一概念。另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：阿列夫数，它允许无限集合之间的大小可以做有意义的比较。
结构
许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。
空间
空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及 数，且包含有非常著名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何（其在广义相对论中扮演着核心的角色）及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。
基础与哲学
为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。德国数学家康托（Georg Cantor，1845—1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，Pioncare也把集合论比作有趣的“病理情形”，Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”。对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚。”
集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。
数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。
拓展： 数学一词的由来
古希腊人在数学中引进了名称，概念和自我思考，他们很早就开始猜测数学是如何产生的。虽然他们的猜测仅是匆匆记下，但他们几乎先占有了猜想这一思考领域。古希腊人随意记下的东西在19世纪变成了大堆文章，而在20世纪却变成了令人讨厌的陈辞滥调。 在现存的资料中，希罗多德(Herodotus，公元前484--425年)是第一个开始猜想的人。他只谈论了几何学，他对一般的数学概念也许不熟悉，但对土地测量的准确意思很敏感。作为一个人类学家和一个社会历史学家，希罗多德指出，古希腊的几何来自古埃及，在古埃及，由于一年一度的洪水淹没土地，为了租税的目的，人们经常需要重新丈量土地;他还说：希腊人从巴比伦人那里学会了日晷仪的使用，以及将一天分成12个时辰。希罗多德的这一发现，受到了肯定和赞扬。认为普通几何学有一个辉煌开端的推测是肤浅的。
柏拉图关心数学的各个方面，在他那充满奇妙幻想的神话故事《费德洛斯篇》中，他说：
故事发生在古埃及的洛克拉丁(区域)，在那里住着一位老神仙，他的名字叫赛斯(Theuth)，对于赛斯来说，朱鹭是神鸟，他在朱鹭的帮助下发明了数，计算、几何学和天文学，还有棋类游戏等。
柏拉图常常充满了奇怪的幻想，原因是他不知道自己是否正亚里士多德最后终于用完全概念化的语言谈论数学了，即谈论统一的、有着自己发展目的的数学。在他的《形而上学》(Meta-physics)第1卷第1章中，亚里士多德说：数学科学或数学艺术源于古埃及，因为在古埃及有一批祭司有空闲自觉地致力于数学研究。亚里士多德所说的是否是事实还值得怀疑，但这并不影响亚里士多德聪慧和敏锐的观察力。在亚里士多德的书中，提到古埃及仅仅只是为了解决关于以下问题的争论：1.存在为知识服务的知识，纯数学就是一个最佳的例子：2.知识的发展不是由于消费者购物和奢华的需要而产生的。亚里士多德这种“天真”的观点也许会遭到反对;但却驳不倒它，因为没有更令人信服的观点.
就整体来说，古希腊人企图创造两种“科学”的方法论，一种是实体论，而另一种是他们的数学。亚里士多德的逻辑方法大约是介于二者之间的，而亚里士多德自己认为，在一般的意义上讲他的方法无论如何只能是一种辅助方法。古希腊的实体论带有明显的巴门尼德的“存在”特征，也受到赫拉克利特“理性”的轻微影响，实体论的特征仅在以后的斯多葛派和其它希腊作品的翻译中才表现出来。数学作为一种有效的方法论远远地超越了实体论，但不知什么原因，数学的名字本身并不如“存在”和“理性”那样响亮和受到肯定。然而，数学名称的产生和出现，却反映了古希腊人某些富于创造的特性。下面我们将说明数学这一名词的来源。
“数学”一词是来自希腊语，它意味着某种‘已学会或被理解的东西’或“已获得的知识”，甚至意味着“可获的东西”， “可学会的东西”，即“通过学习可获得的知识”，数学名称的这些意思似乎和梵文中的同根词意思相同。甚至伟大的辞典编辑人利特雷(E.Littre 也是当时杰出的古典学者)，在他编辑的法语字典(1877年)中也收入了“数学”一词。牛津英语字典没有参照梵文。公元10世纪的拜占庭希腊字典“Suidas”中，引出了“物理学”、“几何学”和“算术”的词条，但没有直接列出“数学”—词。
“数学”一词从表示一般的知识到专门表示数学专业，经历一个较长的过程，仅在亚里士多德时代，而不是在柏拉图时代，这一过程才完成。数学名称的专有化不仅在于其意义深远，而在于当时古希腊只有“诗歌”一词的专有化才能与数学名称的专有化相媲美。“诗歌”原来的意思是“已经制造或完成的某些东西”，“诗歌”一词的专有化在柏拉图时代就完成了。而不知是什么原因辞典编辑或涉及名词专有化的知识问题从来没有提到诗歌，也没有提到诗歌与数学名称专有化之间奇特的'相似性。但数学名称的专有化确实受到人们的注意。
首先，亚里士多德提出， “数学”一词的专门化使用是源于毕达哥拉斯的想法，但没有任何资料表明对于起源于爱奥尼亚的自然哲学有类似的思考。其次在爱奥尼亚人中，只有泰勒斯(公元前640?--546年)在“纯”数学方面的成就是可信的，因为除了第欧根尼·拉尔修(Diogenes Laertius)简短提到外，这一可信性还有一个较迟的而直接的数学来源，即来源于普罗克洛斯(Proclus)对欧几里得的评注：但这一可信性不是来源于亚里士多德，尽管他知道泰勒斯是一个“自然哲学家”;也不是来源于早期的希罗多德，尽管他知道塞利斯是一个政治、军事战术方面的“爱好者”，甚至还能预报日蚀。以上这些可能有助于解释为什么在柏拉图的体系中，几乎没有爱奥尼亚的成份。赫拉克利特(公元前500--?年)有一段名言：“万物都在运动中，物无常往”， “人们不可能两次落进同一条河里”。这段名言使柏拉图迷惑了，但赫拉克赖脱却没受到柏拉图给予巴门尼德那样的尊敬。巴门尼德的实体论，从方法论的角度讲，比起赫拉克赖脱的变化论，更是毕达哥拉斯数学的强有力的竞争对手。
对于毕达哥拉斯学派来说，数学是一种“生活的方式”。事实上，从公元2世纪的拉丁作家格利乌斯(Gellius)和公元3世纪的希腊哲学家波菲利(Porphyry)以及公元4世纪的希腊哲学家扬布利科斯(Iamblichus)的某些证词中看出，似乎毕达哥拉斯学派对于成年人有一个“一般的学位课程”，其中有正式登记者和临时登记者。临时成员称为“旁听者”，正式成员称为“数学家”。
这里“数学家”仅仅表示一类成员，而并不是他们精通数学。毕达哥拉斯学派的精神经久不衰。对于那些被阿基米德神奇的发明所深深吸引的人来说，阿基米德是唯一的独特的数学家，从理论的地位讲，牛顿是一个数学家，尽管他也是半个物理学家，一般公众和新闻记者宁愿把爱因斯坦看作数学家，尽管他完全是物理学家。当罗吉尔·培根(Roger Bacon，1214--1292年)通过提倡接近科学的“实体论”，向他所在世纪提出挑战时，他正将科学放进了一个数学的大框架，尽管他在数学上的造诣是有限的，当笛卡儿(Descartes，1596--1650年)还很年轻时就决心有所创新，于是他确定了“数学万能论”的名称和概念。然后莱布尼茨引用了非常类似的概念，并将其变成了以后产生的“符号”逻辑的基础，而20世纪的“符号”逻辑变成了热门的数理逻辑。
在18世纪，数学史的先驱作家蒙托克莱(Montucla)说，他已听说了关于古希腊人首先称数学为“一般知识”，这一事实有两种解释：一种解释是，数学本身优于其它知识领域;而另一种解释是，作为一般知识性的学科，数学在修辞学，辩证法，语法和伦理学等等之前就结构完整了。蒙托克莱接受了第二种解释。他不同意第一种解释，因为在普罗克洛斯关于欧几里得的评注中，或在任何古代资料中，都没有发现适合这种解释的确证。然而19世纪的语源学家却倾向于第一种解释，而20世纪的古典学者却又偏向第二种解释。但我们发现这两种解释并不矛盾，即很早就有了数学且数学的优越性是无与伦比的。
