数学

歐幾里得，西元前三世紀的希臘數學家，現在被認為是幾何之父，此畫為拉斐爾的作品《雅典學院》。

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科。借助语言阐述关系（数量，结构，前后变化...关系）的学科，透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察中產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。注意：公式不仅仅涉及到数量的关系，也涉及到性质的关系。

基礎數學的知識與運用總是個人與團體生活中不可或缺的一塊。其基本概念的精煉早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見。從那時開始，其發展便持續不斷地小幅進展，至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年(數學評論的創刊年份)現已超過了一百九十萬份，而且每年還增加超過七萬五千份的細目。此一學海的絕大部份為新的數學定理及其證明。」

形成、純數學與應用數學及美學

牛頓(1643-1727)，微積分的發明者之一。

數學出現於包含著數量、結構、空間及變化等困難問題內。一開始，出現於貿易、土地測量及之後的天文學；今日，所有的科學都存在著值得數學家研究的問題，且數學本身亦存在了許多的問題。牛頓和莱布尼兹是微積分的發明者，費曼發明了費曼路徑積分，來用於推理及物理的洞察，而今日的弦理論亦生成為新的數學。一些數學只和生成它的領域有關，且用來解答此領域的更多問題。但一般被一領域生成的數學在其他許多領域內也十分有用，且成為數學概念的一般知識。即使是「最純的」數學通常亦有實際的用途，此一卓越的事實，被維格納稱為「數學在自然科學中不可想像的有效性」。

如同大多數的研究領域，科學知識的爆發導致了數學的專業化。一主要的分歧為純數學和應用數學。在應用數學內，又被分成兩大領域，並且變成了它們自身的學科－統計學和電腦科學。

許多數學家談論數學的優美，其內在的美學及美。簡單和一般化即為美的一種。另外亦包括巧妙的證明，如歐幾里得對存在無限多質數的證明，及加快計算的數值方法，如快速傅立葉變換。高德菲·哈羅德·哈代在《一個數學家的自白》一书中表示其所相信的美學思維足夠使其進行純數學的研究。

符號、語言與精确性

在現代的符號中，簡單的表示式可能描繪出複雜的概念。此一圖像即產生自 x=cos(y arccos sin|x| + x arcsin cos|y|)。

我們現今所使用的大部分數學符號在16世紀後才被發明出來的。在此之前，數學以文字的形式書寫出來，這種形式會限制了數學的發展。現今的符號使得數學對於專家而言更容易去控作，但初學者卻常對此感到怯步。它被極度的壓縮：少量的符號包含著大量的訊息。如同音樂符號一般，現今的數學符號有明確的語法和難以以其他方法書寫的訊息編碼。

數學語言亦對初學者而言感到困難。如“或”和“只”這些字有著比日常用語更精確的意思。亦困惱著初學者的，如“開放”和“域”等字在數學裡有著特別的意思。數學術語亦包括如“同胚”及“可積性”等專有名詞。但使用這些特別符號和專有術語是有其原因的：數學需要比日常用語更多的精確性。數學家將此對語言及邏輯精確性的要求稱為「嚴謹」。

嚴謹是數學證明中很重要且基本的一部份。數學家希望他們的定理以系統化的推理依著公理被推論下去。這是為了避免錯誤的「定理」，依著不可靠的直觀，而這情形在歷史上曾出現過許多的例子。在數學中被期許的嚴謹程度因著時間而不同：希臘人期許著仔細的論點，但在牛頓的時代，所使用的方法則較不嚴謹。牛頓為了解決問題所做的定義到了十九世紀才重新以小心的分析及正式的證明來處理。今日，數學家們則持續地在爭論電腦輔助證明的嚴謹度。當大量的計量難以被驗證時，其證明亦很難說是有效地嚴謹。

公理在傳統的思想中是「不證自明的真理」，但這種想法是有問題的。在形式上，公理只是一串符號，其只對可以由公理系統導出的公式之內容有意義。希爾伯特計劃即是想將所有的數學放在堅固的公理基礎上，但依據哥德爾不完備定理，每一不相矛盾的公理系統必含有一不可決定的公式；因而所有數學的最終公理化是不可能的。然而數學常常被想像成只是一些公理化的集合論，在此意義下，所有數學敘述或證明都可以寫成集合論的公式。

數學作為科學

卡爾·弗里德里希·高斯

卡爾·弗里德里希·高斯稱數學為「科學之母」。其拉丁原文為 Regina Scientiarum，而其德語為 Königin der Wissenschaften（原意：科學的皇后），其對應於科學的單字意思為知識。而實際上，科學science在英語內的原文內也是這個意思，且無疑問地數學確實一門在此意思下的「科學」。將科學限定在自然科學則是在此之後的事。若認為科學是只指物理的世界時，則數學，至少是純數學不會是一門科學。愛因斯坦曾這樣描述著：「數學定律越和現實有關，它們越不確實；若它們越是確定的話，它們和現實越不會有關。」

許多哲學家相信數學在經驗上不具可否證性 ，且因此不是卡爾·波普爾所定義的科学。但在1930年代時，在數學邏輯上的重大進展顯示數學不能歸併至邏輯內，且卡爾·波普爾推斷「大部份的數學定律，如物理及生物學一樣，是假設演繹的：純數學因此變得更接近其假設為猜測的自然科學，比它現在看起來更接近。」然而，其他的思想家，如較著名的拉卡托斯，便提供了一個關於數學本身的可否證性版本。

另一種觀點為某些科學領域(如理論物理)是其公理為嘗試著符合現實的數學。而事實上，理論物理學家齊曼即認為科學是一種公眾知識且因此亦包含著數學。在任何的情況下，數學和物理科學的許多領域都有著相同的地方，尤其是在假設的邏輯推論的探索。直覺和實驗在數學和科學的猜想建構上皆扮演著重要的角色。實驗數學在數學中的重要性正持續地在增加，且計算（英语：computation）和模擬在科學及數學中所扮演的角色也越來越加重，減輕了數學不使用科學方法的缺點。在史蒂芬·沃爾夫勒姆2002年的書籍一種新科學中提出，計算數學應被視為其自身的一科學領域來探索。

數學家對此的態度並不一致。一些研究應用數學的數學家覺得他們是科學家，而那些研究純數學的數學家則時常覺得他們是在一門較接近邏輯的領域內工作，且因此基本上是個哲學家。許多數學家認為稱他們的工作是一種科學，是低估了其美學方面的重要性，以及其做為七大博雅教育之一的歷史；另外亦有人認為若忽略其與科學之間的關聯，是假裝沒看到數學和其在科學與工程之間的交界導致了許多在數學上的發展此一事實。這兩種觀點之間的差異在哲學上產生了數學是被創造(如藝術)或是被發現(如科學)的爭議。大学院系划分中常见“科学和数学”系，这指出了这两个领域被看作同盟而非同一。實際上，數學家基本上會在大體上與科學家合作，但在細節上卻會分開。這亦是數學哲學眾多議題的其中之一個議題。

數學獎通常和其他科學的獎項分開。數學上最有名的獎為菲爾茲獎，創立於1936年，每四年頒獎一次。它通常被認為是數學的諾貝爾獎。另一個國際上主要的獎項為阿貝爾獎，創立於2003年。兩者都頒獎於特定的工作主題，包括數學新領域的創新或已成熟領域中未解決問題的解答。著名的23個問題，稱為希爾伯特的23個問題，於1900年由德國數學家大衛·希爾伯特所提出。這一連串的問題在數學家之間有著極高的名望，且至少有九個問題已經被解答了出來。另一新的七個重要問題，稱為千禧年大獎難題，在2000年發表出來。每一個問題的解答都有著一百萬美元的獎金，只有一個問題(黎曼猜想)和希爾伯特的問題重複。

數學的各領域

早期的數學完全著重在演算實際運算的需要上，有如反映在中國算盤上的一般。

如同上面所述一般，數學主要的學科首要產生於商業上計算的需要、了解數字間的關係、測量土地及預測天文事件。這四種需要大致地與數量、結構、空間及變化（即算術、代數、幾何及分析）等數學上廣泛的子領域相關連著。除了上述主要的關注之外，亦有用來探索由數學核心至其他領域上之間的連結的子領域：至邏輯、至集合論（基礎）、至不同科學的經驗上的數學(應用數學)、及較近代的至不確定性的嚴格學習。

數量

數量的研究起於數，一開始為熟悉的自然數及整數與被描述在算術內的自然數及整數的算術運算。整數更深的性質於數論中有詳細的研究，此一理論包括了如費馬最後定理之著名的結果。數論還包括兩個被廣為探討的未解問題：孿生質數猜想及哥德巴赫猜想。

當數系更進一步發展時，整數被承認為有理數的子集，而有理數則包含於實數中，連續的數量即是以實數來表示的。實數則可以被進一步廣義化成複數。數的進一步廣義化可以持續至包含四元數及八元數。自然數的考慮亦可導致超限數，它公式化了計數至無限的這一概念。另一個研究的領域為其大小，這個導致了基數和之後對無限的另外一種概念：阿列夫数，它允許無限集合之間的大小可以做有意義的比較。

$1, 2, 3\,\!$	$-2, -1, 0, 1, 2\,\!$	$-2, \frac{2}{3}, 1.21\,\!$	$-e, \sqrt{2}, 3, \pi\,\!$	$2, i, -2+3i, 2e^{i\frac{4\pi}{3}}\,\!$
自然數	整數	有理數	實數	複數

結構

許多如數及函數的集合等數學物件都有著內含的結構。這些物件的結構性質被探討於群、環、域及其他本身即為此物件的抽象系統中。此為代數的領域。在此有一個很重要的概念，即向量，且廣義化至向量空間，並研究於線性代數中。向量的研究結合了數學的三個基本領域：數量、結構及空間。向量分析則將其擴展至第四個基本的領域內，即變化。

數論	群論	圖論	序理論

空間

空間的研究源自於幾何－尤其是欧几里得几何。三角學則結合了空間及數，且包含有著名的勾股定理。現今對空間的研究更推廣到了更高維的幾何、非歐幾里得幾何（其在廣義相對論中扮演著核心的角色）及拓撲學。數和空間在解析幾何、微分幾何和代數幾何中都有著很重要的角色。在微分幾何中有著纖維叢及流形上的計算等概念。在代數幾何中有著如多項式方程的解集等幾何物件的描述，結合了數和空間的概念；亦有著拓撲群的研究，結合了結構與空間。李群被用來研究空間、結構及變化。在其許多分支中，拓撲學可能是二十世紀數學中有著最大進展的領域，並包含有存在久遠的龐加萊猜想及有爭議的四色定理，其只被電腦證明，而從來沒有由人力來驗證過。（2002年格里戈里·佩雷尔曼宣布证明了庞加莱猜想。）

幾何	三角學	微分幾何	拓撲學	分形	測度論

變化

了解及描述變化在自然科學裡是一普遍的議題，而微積分更為研究變化的有利工具。函數诞生於此，做為描述一變化的量的核心概念。對於實數及實變函數的嚴格研究為實分析，而複分析則為複數的等價領域。黎曼猜想－數學最基本的未決問題之一－即以複分析來描述。泛函分析注重在函數的(一般為無限維)空間上。泛函分析的眾多應用之一為量子力學。許多的問題很自然地會導出數量與其變化率之間的關係，而這則被微分方程所研究著。在自然界中的許多現象可以被動力系統所描述；混沌理論明確化許多表現出不可預測的系統之行為，而且為決定性系統的行為。

微積分	向量分析	微分方程	動力系統	混沌理論	複分析

基礎與哲學

為了搞清楚數學基礎，數學邏輯和集合論等領域被發展了出來。

數學邏輯專注在將數學置於一堅固的公理架構上，並研究此一架構的成果。就其本身而言，其為哥德爾第二不完備定理的產地，而這或許是邏輯中最廣為流傳的成果－總存在一不能被證明的真實定理。現代邏輯被分成遞歸論、模型論和證明論，且和理論電腦科學有著密切的關連性。

$P \Rightarrow Q \,$
數學邏輯	集合論	範疇論

離散數學

離散數學是指對理論電腦科學最有用處的數學領域之總稱，包含有可計算理論、計算複雜性理論及資訊理論。可計算理論檢查電腦的不同理論模型之極限，包含現知最有力的模型－圖靈機。複雜性理論研究可以由電腦做為較易處理的程度；有些問題即使理論是可以以電腦解出來，但卻因為會花費太多的時間或空間而使得其解答仍然不為實際上可行的，儘管電腦硬體的快速進步。最後，資訊理論專注在可以儲存在特定媒體內的資料總量，且因此有壓縮及熵等概念。

做為一相對較新的領域，離散數學有許多基本的未解問題。其中最有名的為P/NP問題－千禧年大獎難題之一。一般相信此問題的解答是否定的。

$\begin{matrix} (1,2,3) & (1,3,2) \\ (2,1,3) & (2,3,1) \\ (3,1,2) & (3,2,1) \end{matrix}$
組合數學	計算理論	密碼學	圖論

應用數學

應用數學思考將抽象的數學工具運用在解答科學、工商業及其他領域上之現實問題。應用數學中的一重要領域為統計學，它利用機率論為其工具並允許對含有機會成分的現象進行描述、分析與預測。大部份的實驗、測量及觀察研究需要統計對其資料的分析。(許多的統計學家並不認為他們是數學家，而比較覺得是合作團體的一份子。)數值分析研究如何有效地用電腦的方法解決大量因太大而不可能以人類的演算能力算出的數學問題；它亦包含了對計算中捨入誤差或其他來源的誤差之研究。

• 

  數學物理
• 

  數學流體力學
• 

  數值分析
• 

  最佳化
• 

  概率论
• 

  統計學
• 

  計量金融
• 

  博弈论
• 

  數理經濟學
• 

  生物數學
• 

  作業研究
• 

  控制論

非數學

数学不是占数术。数学的证明或反证明的意念都要在逻辑之中进行，占数术却非。

数学不是会计学。虽然会计师的工作就是算术运算，他们只需检查计算是否准确。证明和反证假设对数学家很重要但对会计师毫不重要。如高等抽象数学的发展不能改善簿记的精确性和效率，和会计学毫无关系。

数学不是物理，虽然历史上和哲学上两者关系密切。

数学奖项

菲尔茲奖牌正面

• 菲尔兹奖，由国际数学联盟的国际数学家大会颁发的奖项。每四年颁奖一次，颁给有卓越贡献的年轻数学家，每次最多四人得奖。得奖者须在该年元旦前未满四十岁。它是据加拿大数学家约翰·查尔斯·菲尔兹的要求设立的。菲尔兹奖被视为数学界的诺贝尔奖。
• 沃尔夫奖，由沃尔夫基金会颁发，该基金会于1976年在以色列创立，1978年开始颁奖。创始人里卡多·沃尔夫是外交家、实业家和慈善家。而沃尔夫数学奖（Wolf Prize in Mathematics）是沃尔夫奖的一个奖项，它和菲尔兹奖被共同誉为数学家的最高荣誉。
• 阿贝尔奖，由挪威王室向杰出数学家颁发的一种奖项，每年颁发一次。2001年，为了纪念2002年挪威著名数学家尼尔斯·亨利克·阿贝尔二百周年诞辰，挪威政府宣布将开始颁发此种奖金。奖金的数额大致同诺贝尔奖相近。设立此奖的一个原因也是因为诺贝尔奖没有数学奖项。2001年挪威政府拨款2亿挪威克朗作为启动资金。扩大数学的影响，吸引年轻人从事数学研究是设立阿贝尔奖的主要目的。

参见

• 數學主題首頁
• 數學哲學
• 數學遊戲
• 數學家列表
• 教育
• 算經十書
• 數學競賽

参考书目

• Benson, Donald C., The Moment of Proof: Mathematical Epiphanies, Oxford University Press, USA; New Ed edition (December 14, 2000). ISBN 0-19-513919-4.
• Boyer, Carl B., A History of Mathematics, Wiley; 2 edition (March 6, 1991). ISBN 0-471-54397-7. — A concise history of mathematics from the Concept of Number to contemporary Mathematics.
• Courant, R. and H. Robbins, What Is Mathematics? : An Elementary Approach to Ideas and Methods, Oxford University Press, USA; 2 edition (July 18, 1996). ISBN 0-19-510519-2.
• Davis, Philip J. and Hersh, Reuben, The Mathematical Experience. Mariner Books; Reprint edition (January 14, 1999). ISBN 0-395-92968-7.— A gentle introduction to the world of mathematics.
• 愛因斯坦, 阿爾伯特. Sidelights on Relativity (Geometry and Experience). P. Dutton., Co. 1923. 
• Eves, Howard, An Introduction to the History of Mathematics, Sixth Edition, Saunders, 1990, ISBN 0-03-029558-0.
• Gullberg, Jan, Mathematics—From the Birth of Numbers. W. W. Norton & Company; 1st edition (October 1997). ISBN 0-393-04002-X. — An encyclopedic overview of mathematics presented in clear, simple language.
• Hazewinkel, Michiel (ed.), 數學百科全書. Kluwer Academic Publishers 2000. — A translated and expanded version of a Soviet mathematics encyclopedia, in ten (expensive) volumes, the most complete and authoritative work available. Also in paperback and on CD-ROM, and online [1].
• Jourdain, Philip E. B., The Nature of Mathematics, in The World of Mathematics, James R. Newman, editor, Dover, 2003, ISBN 0-486-43268-8.
• Kline, Morris, Mathematical Thought from Ancient to Modern Times, Oxford University Press, USA; Paperback edition (March 1, 1990). ISBN 0-19-506135-7.
• Monastyrsky, Michael. Some Trends in Modern Mathematics and the Fields Medal. Canadian Mathematical Society. 2001 [2006-07-28]. 
• 牛津英語詞典, second edition, ed. John Simpson and Edmund Weiner, Clarendon Press, 1989, ISBN 0-19-861186-2.
• The Oxford Dictionary of English Etymology, 1983 reprint. ISBN 0-19-861112-9.
• Pappas, Theoni, The Joy Of Mathematics, Wide World Publishing; Revised edition (June 1989). ISBN 0-933174-65-9.
• Peterson, Ivars, Mathematical Tourist, New and Updated Snapshots of Modern Mathematics, Owl Books, 2001, ISBN 0-8050-7159-8.
• Paulos, John Allen. A Mathematician Reads the Newspaper. Anchor. 1996. ISBN 0-385-48254-X. 
• 波普爾, 卡爾. On knowledge//In Search of a Better World: Lectures and Essays from Thirty Years. Routeledge. 1995. ISBN 0-415-13548-6. 
• Riehm, Carl. The Early History of the Fields Medal. Notices of the AMS (AMS). August 2002, 49 (7): 778–782. 
• Sevryuk, Mikhail B.. Book Reviews (PDF). Bulletin of the American Mathematical Society. 2006.January, 43 (1): 101–109 [2006-06-24]. 
• Waltershausen, Wolfgang Sartorius von. Gauss zum Gedächtniss. Sändig Reprint Verlag H. R. Wohlwend. 1856, repr. 1965. ASIN B0000BN5SQ ASIN: B0000BN5SQ. ISBN 3-253-01702-8. 
• Ziman, J.M., F.R.S. Public Knowledge:An essay concerning the social dimension of science. 1968. 

参考网址

• Rusin, Dave: The Mathematical Atlas（英文版）现代数学漫游。
• Weisstein, Eric: World of Mathematics，一个在线的数学百科全书。
• Planet Math，另一个在线的数学百科全书，使用GFDL，允许和维基百科交换条目。
• MathForge，一个包含数学、物理、计算机科学和教育等范畴的新闻网志。
• EpisteMath｜数学知识。
• 香港科技大学:数学网，一个以数学史为主的网站。
• 怎樣研習純數學（或統計學）：本科與基礎研究課程參考書目。
• 数学文化：主要发表高质量的带有普及性的文章; 主要面向大学生, 大学老师和研究生, 以及中学老师和学生。
• 数学学习资源：互联网上数学学习资源和教学视频。