数学史
上で見たように、自然数 1、2、3、... に関する知識は現存するどんな文書よりも古い石板に残されている。メソポタミア、エジプト、インド、中国など最古の文明は、算術を知っていた。
現代数学の様々な数体系の発展について可能な考察として、古い数で行われた演算に関する質問に答えるために新しい数が研究・調査されてきた、というものが挙げられる。有史以前にすでに「3を掛けられ、答えが1になる数は?」という問いにこたえるものとして、分数が用いられた。また、インドと中国、はるか遅くにドイツで、「大きな数を小さな数から引いたときの答えは?」という問いの答として負の数が開発された。ほかに挙げられる自然な質問は:「2の平方根はどんな種類の数か?」 ギリシア人はそれが分数でないことを知っており、この質問は連分数の理論の発展に動機を与えたともいえる。しかし、よりよい回答はジョン・ネイピア(1550年-1617年)が開発し、後にシモン・ステヴィン (Simon Stevin) が完成した小数の発明でもたらされた。
小数、および極限の観念を予期した概念を使用して、ネイピアは新しい定数を研究し、これをレオンハルト・オイラー(1707年-1783年)はネイピア数 e と命名した。
17世紀に創始された微分積分学はオイラーをはじめとする18世紀の数学者たちによってさらに発展させられた。オイラーによって書かれた3冊の解析学の教科書やダランベールとオイラーの間で議論された波動方程式の考察によって、17世紀の幾何学的な変分についての微分積分学の体系はより抽象的な、1変数ないし多変数の関数によって与えられる解析的な対象の研究へと変貌していった。
18世紀の確率論はヤコブ・ベルヌーイ、ド・モアブル、トーマス・ベイズ、ピエール=シモン・ラプラスらの手によって、解析学の成果を取り込み発展させられた。この時代の成果に蓋然的確実性(ベルヌーイ)、確率評価精度の理論(ド・モアブル)、統計的推定(ベイズ、ラプラス)などがある。
また、数学の限界が初めて探求された。ノルウェー人のニールス・アーベルとフランス人のエヴァリスト・ガロアは、五次以上の代数方程式には一般的な代数的解法が無いことを証明した。他の19世紀の数学者はこの証明を応用して、定規とコンパスのみで任意の角度を三等分できないこと、与えられた立方体の2倍の体積を持つ立方体を構成できないこと、与えられた円の面積と等しい正方形を構成することができないことを証明した。古代ギリシャ時代以来の多くの数学者によるこれらの問題を解こうとする試みはついえることになった。
アーベルとガロアによる様々な多項式解法の研究は、群論および抽象代数学の関連分野の更なる発展の土台を築いた。20世紀の物理学者と科学者は、群論を対称性を研究する理想的な枠組みとみなした。
19世紀の終わりに向かって、ゲオルク・カントールは集合論を確立し、異なる数学分野での共通言語をあたえた。無限集合の導入は数学基礎論における論争を引き起こした。
19世紀には最初の数学の学会の設立が見られた。1865年にロンドン数学会、1872年にフランス数学会、1884年にパレルモ数学会、1883年にエディンバラ数学会、1888年にアメリカ数学会が設立された。前世紀の数学者たちがアカデミーに属していたのとは異なり、19世紀の数学者たちはおもにエコール・ポリテクニークなどの高等教育機関に属して活動するようになった。また、この時代の数学的な成果はクレレによって創刊された Journal für die reine und angewandte Mathematik をはじめとする学術誌において発表されるようになった。
イシャンゴの骨といわれる遺物が、ナイル川源流地域(コンゴ民主共和国北東部)で発見されており、紀元前2万年頃のものと推測されている。この骨が表現している内容は、最初期の素数列や、古代エジプトのかけ算であると考えられている。また、紀元前5000年代のエジプト原始王朝のエジプト人は幾何学的・空間的デザインの絵画表現を残している。紀元前3000年代以降のイングランドやスコットランドにおける巨石記念物には、円、楕円、ピタゴラス数、などの数学的概念が織り込まれているとの指摘がある。
古代インド数学で知られている最古の史料は、紀元前3000~2600年頃の、北インドおよびパキスタンに位置したインダス文明(ハラッパー文化)にある。 ハラッパー文化は十進法を使った重量・距離の計量法を発達させ、驚くほど精密で数学的な比率の寸法をもったレンガを作っていた。また、道は完全な直角をなして敷設されている。彼らが用いたデザインには立方体・樽型・円錐・円柱などを含む幾何学的形態や、同心あるいは交錯する円や三角形などの意匠がある。