数学史
数学史(すうがくし、英語:history of mathematics)とは、数学の歴史のことである。第一には、数学上の発見の起源についての研究であり、副次的な興味として、過去の数学においてどのような手法が一般的であったかや、どのような記号が使われたかなども調べられている。
数学史は、文明が起こる以前に遡って説明することができる。そこには、狩猟や採集、また生活を維持するために必要だった計数の概念などが含まれる。また、文明成立後は各地で様々な水準の数学の発展が興るが、やがて文明の交流によって現代の数学に繋がっていく。
有史より遥か古い時代の線画にも、数学の知識や、天体観測に基づいた測時法があったことを示すものがある。古生物学者による例では、南アフリカの砂岩洞窟の中に、幾何学的模様で彩られた線刻画が発見され、紀元前7万年頃のものと推定されている。他にも、アフリカやフランスで発見されている紀元前3万5千~2万年頃の先史時代遺物の中に、時間を表現しようとした形跡がある。
古代、記数法は、女性が生理の日を記録するために必要とされたという証拠がある。また、28~30のキズがついた石や骨が、複数見つかるという事例がある。さらに、ハンターたちは獣の群について考慮する際には、「1」「2」「多数」、さらに「無」や「零 (ゼロ)」の概念を使っていたということも分かっている。整数や実数といった数の集合の要素の一つとして零(ゼロ)を見出したとは言えないものの、「零 (ゼロ) 」の概念はこの時期からすでにあったということもできる。
イシャンゴの骨といわれる遺物が、ナイル川源流地域(コンゴ民主共和国北東部)で発見されており、紀元前2万年頃のものと推測されている。この骨が表現している内容は、最初期の素数列や、古代エジプトのかけ算であると考えられている。また、紀元前5000年代のエジプト原始王朝のエジプト人は幾何学的・空間的デザインの絵画表現を残している。紀元前3000年代以降のイングランドやスコットランドにおける巨石記念物には、円、楕円、ピタゴラス数、などの数学的概念が織り込まれているとの指摘がある。
古代インド数学で知られている最古の史料は、紀元前3000~2600年頃の、北インドおよびパキスタンに位置したインダス文明(ハラッパー文化)にある。 ハラッパー文化は十進法を使った重量・距離の計量法を発達させ、驚くほど精密で数学的な比率の寸法をもったレンガを作っていた。また、道は完全な直角をなして敷設されている。彼らが用いたデザインには立方体・樽型・円錐・円柱などを含む幾何学的形態や、同心あるいは交錯する円や三角形などの意匠がある。発見された数学用具には、十進目盛が刻まれ、細かく精細な目盛りの付いた正確な定規や、地平座標における角度を40度あるいは360度法で測るために用いられた貝のコンパス、天球を8ないし12分して計測するための貝製の計測器、航法のために星の位置を計測する計測器などがある。インダス文字はまだ解読されていないため、ハラッパーの文字による数学についてはほとんどわかっていない。考古学的な証拠によれば、この文明は、8を基数とする記数法を使っており、円周率πの値を知っていたとの説がある。中国の殷王朝時代(紀元前1600年頃~1046年)には、現在も使われる漢数字の初期のものが、亀甲に彫られている。周王朝の時代にすでに用いられていた算籌(さんちゅう)記法は竹の棒を並べて数を表した方法を字写したものだが、これは位取り記数法の歴史上最も古い現れだと見なすことができる。例えば「123」を(縦書きで)表す場合は以下のようにする。まず「1」を表す数字を書く。次に「100」を表す数字を書く。次に「2」を表す数字を書く。次に「10」を表す数字を書く。そして「3」を表す数字を書く(要するに「一百二十三」と書く)。これは、算盤での計算を可能にした。算盤が発明された時期は不明だが、西暦190年頃に劉徽により書かれた『九章算術』の注釈の中に記述が存在する。
近代においては知識が全世界に拡散したが、それ以前の時代では、数学上の発見についての記録があるのは限られた地域のみである。発見されている古い数学文書として、
プリンプトン322 - バビロニア数学、紀元前1900年頃
モスクワ数学パピルス - エジプト数学、紀元前1850年頃
リンド・パピルス - エジプト数学、紀元前1650年頃
シュルバ・スートラ - インドの数学、紀元前800年頃
などがある。これらの文書はすべてピタゴラス数について述べており、ピタゴラスの定理の内容は最も早く最も広まった数学の法則の一つであると見なせる。これらの例は、ピタゴラス数のうちのいくつかの振る舞いを調べたり、その法則性に注目しているに過ぎない。普遍性を仮定する定理(証明された真なる命題)という概念は、ギリシア文明以降で見られるようになる。
エジプトおよびバビロニア数学は、古代ギリシアにおいてさらに発展した。古代ギリシアの数学は、手法と内容の両方を革新したという点で、非常に重要であると考えられている。これら古代文明で発展した数学は、イスラム数学でさらに大きく発展した。多くのギリシア語とアラビア語の数学の文献が中世のヨーロッパでラテン語に翻訳され、さらに発展した。
紀元前にも数学や文化の地域間の相互作用の証拠はいくつも見られるが、古代・中世の数学史の特徴は、大発展の後しばしば何世紀もの停滞が起きたり、地域ごとに特色を持って発展していることである。文化の交流が蓄積し、14世紀にイタリアでのルネサンスやヨーロッパの大航海時代が始まると、数学上の新発見が他の科学上の発見と顕著に相互作用を持ちながら進歩し続けるようになった。この傾向は現代まで続いている。本節では、地域ごとに特色を持って発展した初期の数学の発展について述べる。
バビロニア数学は、初期シュメール人からヘレニズム期初期のメソポタミア(現代のイラク)の人々の数学を示す。バビロンが研究場所の中心的役割を果たし、ヘレニズム時代に終えたことからバビロニア数学と呼ばれた。この時点から、バビロニア数学はギリシアおよびエジプト数学と融合し、ヘレニズム数学をもたらした。その後イスラム帝国のもと、イラク/メソポタミア、特にバグダードは再度イスラム数学の研究の重要な中心となった。
散在した文献しか残されていないエジプト数学と対照的に、バビロニア数学は1850年以降掘り出された400以上の粘土板で知ることができる。粘土板は湿っている間に楔形文字で書かれ、釜で焼くか日光で熱して硬くする。これらの幾つかは、宿題を採点したものと思われる。
数学が記述された最も古い証拠は、メソポタミア最古の文明を興した古代シュメール人までさかのぼる。シュメール人は、紀元前3000年から複合的な測定システムを開発した。紀元前2500年頃以降、シュメール人は粘土板に乗算表を書き、幾何学の学習と除算問題に利用した。バビロニア文字の最古の形跡もまた、この時代にさかのぼる。
復元された粘土板の大部分は紀元前1800〜1600年の時代であり、分数、代数、二次および三次方程式、およびピタゴラス数の概念が扱われている(プリンプトン322参照)。粘土板にはまた、乗算表、三角法表および一次と二次方程式の解法が含まれている。バビロニアの粘土板YBC 7289は、2の平方根の小数点第5位まで正確な近似値を出している。円周率の値として、実際的な計算のためにはしばしば 3 が用いられていたが、22 などのより精確な近似値も知られていた。(円周率の歴史も参照のこと)
バビロニア数学は、六十進法(60を底とする)の位取り記数法を記述していた。ここから、現在1分が60秒、1時間が60分、および円が360度 (60 × 6) の用法が由来している。60には多くの約数があるという事実により、バビロニア数学の進歩が促進された。また、エジプト、ギリシア、ローマ数学と異なり、バビロニア数学は正しい位取り記数法を持ち、左の列に書かれる数字が、十進法より大きな値を示す、しかしながら、小数点に相当するものが欠けているため、数字によって実際に表されている数値はしばしば文脈から推論しなければならなかった。
エジプト数学は、エジプト語で書かれた数学を示す。ヘレニズム時代から、エジプト人学者の記述言語としてギリシア語はエジプト語に代わり、この時点からエジプト数学はギリシアおよびバビロニア数学と融合しヘレニズム数学となった。 エジプトでの数学研究は後に、イスラム帝国のもとイスラム数学の一部として続き、アラビア語がエジプト人学者の記述言語となった。
今まで発見された最古の数学の文書は、エジプト中王国の紀元前2000〜1800年のパピルスである、モスクワ数学パピルスである。他の古代数学文書と同様に、今日でいう「単語問題」または「文章問題」からなり、明らかに娯楽を目的としたものであった。注目するべきものには、切頭体の体積を求めるための方法を表している以下のようなものがある:「ピラミッドを切断し、高さ6、底辺4、上辺2である。4を二乗すると16。4を倍にすると8。2を二乗すると4。16と8、および4を加えると28。6の3分の1を得るので2回。28を2回取るので56。結果は56。正しい結果である。
リンド・パピルス(紀元前1650年頃)は、もう一つの主要なエジプト数学のテキストであり、整数論と幾何学のマニュアルになっている。また、乗算、除算、および単位分数の公式の解法や、合成数と素数、整数論、幾何学、と調和平均、エラトステネスの篩と完全数(とくに、6に関する記述)について一定の数学的知識が得られていたことの証拠もえられている。また、簡単な一次方程式の解法が示されており、等差数列と幾何級数も扱っている。
また、リンド・パピルスでは、1パーセント未満の誤差で円周率の近似値を得る方法や 、円積問題への過去の取り組みが述べられ、さらに余接関数の一種について、知られているかぎり最古の使用例を見いだすことができる。これらの知見は解析幾何学に関わる基礎的な体系がこの時代に確立されていたことを示している。
さらに、ペルリン・パピルス(紀元前1300年頃)は、古代エジプト人が簡単な二次の連立方程式の解法を知っていたことを示している。
イスラム帝国は、中東、中央アジア、北アフリカ、イベリア半島、および8世紀のインドの一部にわたって成立し、数学に重要な貢献を果たした。ほとんどのイスラムの数学書はアラビア語で書かれたが、すべてをアラブ人が書いたのではない。ヘレニズムにおけるギリシア語と同様に、アラビア語は当時のイスラム世界中のアラブ人以外の学者はアラビア語を使用した。重要なイスラム数学者にはペルシア人もいる。
フワーリズミーは、9世紀バグダードのペルシア人数学者で天文学者であり、インド・アラビア数字および方程式の解法に関する重要な本を著した。彼の著作で西暦825年頃に書かれた『インドの数の計算法』は、アラブ人数学者アル=キンディーと共に作成され、インド数学とインド・アラビア数字を西洋に広める助けとなった。「アルゴリズム」の語は、彼の名のラテン語化、「Algoritmi」に由来し、「代数学 (algebra) は彼の著作の名称『ヒサーブ・アル=ジャブル・ワル=ムカーバラ』(約分と消約の計算の書)に由来する。フワーリズミーは、古代の代数的手法の保存とこの分野への独自の貢献より、「代数の父」と呼ばれている。代数学の更なる発展は、アル=カラジAl-Karaji(西暦953〜1029年)の論文『アル・ファフリー』で、未知数の整数冪乗と整数根を包含する方法論を拡張した。10世紀に、アブル・ウワファはディオファントスの著作をアラビア語に翻訳し、正接関数を進展させた。
数学的帰納法を用いている最初の数学的証明は、西暦1000年頃のアル=カラジの著作に現れ、二項定理、パスカルの三角形、積分立方数合計の証明に使われた。 数学歴史家のF. Woepckeは、アル=カラジを「最初に代数的な微分積分学の理論を導入した者」として賞賛した。イブン・アル=ハイサムは、二重平方数の和の公式を推論した最初の数学者であり、帰納法を使用して、任意の整数の冪乗の和に対する一般公式を決定する方法を開発し、それが積分法の発展の基礎となった。
ウマル・ハイヤームは12世紀の詩人、数学者で、『ユークリッドにおける困難に関する議論』でユークリッド原論の不備、特に平行線公理について述べ、その結果、解析幾何学および非ユークリッド幾何学の基礎を築いた。また、三次関数の一般的な幾何学的な解法を考案した。彼はまた、暦法の改正に非常に大きな影響を与えた。13世紀のペルシア人数学者、ナスィールッディーン・トゥースィーは、球面三角法を進展させた。彼はまた、エウクレイデスの平行線公理に関する有力な書を著した。15世紀にアル=カーシーは、円周率を小数点16桁まで計算した。カーシーはまた、n乗根を計算するアルゴリズムを持ち、それは数世紀後のパオロ・ルフィニおよびホーナーによる手法の特殊な例であった。他の特筆すべきイスラム数学者には、イブン・ヤフヤ・アル=マグリービー・アル=サマウアルIbn Yahyā al-Maghribī al-Samaw'al、サービト・イブン=クッラ、アブ・カミルAbū Kāmil Shujā ibn Aslam、アブー・サフル・アル=クーヒーがいる。
この時代のイスラム数学者の成果には、代数学とアルゴリズムの発展(フワーリズミー参照)、球面三角法の発展、アラビア数字への小数点の追加、正弦を除く現在の三角関数のすべての発見、キンディーによる暗号解読と頻度分析の導入、アル=カラジによる微分積分学の導入と数学的帰納法による証明、イブン・アル=ハイサムによる解析幾何学と初期の無限小一般公式と積分法の発展、ウマル・ハイヤームによる代数幾何学の開始、ナスィールッディーン・トゥースィーによるユークリッド幾何学の平行線公理への最初の反証、非ユークリッド幾何学の最初の試み、その他代数学、算術、微分積分学、暗号理論、幾何学、数論、および三角法における多大な進歩があった。
オスマン帝国(15世紀〜)の時代に、イスラム数学は停滞した。これは、ローマ人がヘレニズムを征服したときの数学の停滞と類似している。
ジョン・J・オコナーとエドモンド・F・ロバートソンは『マックチューター数学史アーカイブ』で述べた:
ヴェーダ数学は器時代の初期に始まり、『シャタパタ・ブラーフマナ』(紀元前9世紀頃)で円周率を小数点第2位まで概算していた。『シュルバ・スートラ』(紀元前800〜500年頃)は幾何学テキストであり、無理数、素数、帰一算、立方根を使用し、2の平方根を小数点第5位まで計算し、円積問題の方法論を与え、線型方程式と二次方程式を解き、ピタゴラス数の理論の代数的な展開と、ピタゴラスの定理の記述および数値的な証明が与えられている。
パーニニ(紀元前5世紀頃)はサンスクリットの文法規則を定式化した。パーニニの記法は、現在の数学的表記と同様であり、メタ規則、変換および再帰は洗練され、その文法規則はチューリングマシンと同等の計算能力を持っていた。ピンガラPingala(およそ紀元前3〜1年)は、韻律の論文で二進法に類似する仕組みを使用した。彼の拍子組合わせ論は、二項定理に類似する。ピンガラの作品はまた、フィボナッチ数の基本的概念(mātrāmeru と呼ばれた)を含む。ブラーフミー文字は、少なくとも紀元前4世紀のマウリヤ朝以降に発達し、最近の考古学の証拠で紀元前600年に時代が戻された。ブラーフミー数字は紀元前3世紀である。
紀元前400年から西暦200年の間、ジャイナ教の数学者は数学の唯一の目的のために研究を始めた。彼らは最初に超越数、集合論、対数、および添字、三次方程式、四次方程式、列と数列、順列と組合わせ、二乗と平方根導出、有限および無限冪乗について、基本法則を発展させた。紀元前200年から西暦200年の間に書かれたバクシャーリー写本には、最大5つの未知数を含む線型方程式の解、二次方程式の解、算術数列および幾何数列、複数の数列、二次不定方程式、連立方程式、および0と負の数が記述された。無理数の正確な計算が発見でき、100万から少なくとも小数点11位の平方根の計算が含まれている。
『スーリヤ・シッダーンタ』Surya Siddhanta(西暦400年頃)は三角関数、正弦、余弦、逆正弦関数を導入し、天体の実際の動き、空の中での実際の位置を決定する法則の基礎を築いた。この文書では、より古くの文書の写しで、天体時間の周期が述べられ、365.2563627日間の恒星年に対応し、現在の公称値である365.25636305日間より1.4秒長いだけである。この文書は、中世にアラビア語とラテン語に翻訳された。
アリヤバータは、西暦499年に正矢関数 (Versine, 1 - cos θ) を導入し、正弦の最初の三角法表を作成し、代数学、無限小、微分方程式の解法とアルゴリズムを開発し、現代と同等な手法により線型方程式の解を求め、また万有引力の地動説に基づく正確な天文学の計算を行った。彼の著作『アーリヤバティーヤ』Aryabhatiyaは、アラビア語翻訳が8世紀に、ラテン語の翻訳が13世紀に行われた。彼はまた、円周率の値を小数点以下第4位の3.1416まで計算した。後の14世紀に、サンガマグラーマのマーダヴァは、円周率を小数点以下第11位まで計算した。
7世紀に、ブラーマグプタはブラーマグプタの定理、ブラーマグプタの二平方恒等式、ブラーマグプタの公式を定め、『ブラーマ・スプタ・シッダーンタ』で初めて、明快に0を空位および数字の両方として使用し、インド・アラビア数字を説明した。このインド数学書(西暦770年頃)の翻訳から、イスラム数学者は数字体系を導入し、アラビア数字に採用した。イスラム学者はこの数字体系の知識を12世紀までにヨーロッパに伝え、世界中で旧数字体系を置き換えている。10世紀に、ピンガラの著書についてのハラユーダHalayudhaの論評には、フィボナッチ数、パスカルの三角形の研究が含まれ、行列の計算が記述された。
12世紀に、バースカラ2世は、導関数、微分係数、微分法の概念と共に、微分学を考えだした。彼はまた、ロルの定理(平均値の定理の特殊な場合)を述べ、ペル方程式を研究し、正弦関数の導関数を調査した。14世紀から、マーダヴァと他のケーララ学派の数学者は、この概念を発展させた。彼らは、解析学と浮動小数点数、微分積分学の基礎から総合的な開発を行った。これには、平均値の定理、限界点の積分、曲線の下の領域とその不定積分または積分、収束判定、非線型方程式を解くための反復法、および無限級数、冪級数、テイラー級数、三角級数が含まれる。16世紀に、ジャヤスタデーヴァJyeṣṭhadevaがケーララ学派による発展と定理の多くを『ユクティバーサ』Yuktibhasaに統合した。これは、世界初の微分学の教科書であり、積分法の概念もまた導入した。インドでの数学の進歩は、16世紀後半の政治的混乱のため停滞した。
中国では古代から算籌(さんちゅう)と呼ばれる小さな木っ端や竹などを用いた計算が行われていた。「算」の字は、算籌を表す「竹」と、揃えるという意の「具」の会意であるといわれる。この計算方法では、算籌によって表した一から九までの基数を位取り式に並べることで様々に数を表した。これを用いて、加減乗除から求根、方程式を解くに至るまで様々な算術が扱われ、中国数学はこの計算術の下で発展した。
紀元前212年に、秦の始皇帝が秦国外の書物をすべて燃やすことを命じた。この命令が完全に遂行されることはなかったが、結果として古代中国数学に関しては僅かしか知られていない。周(紀元前1046年〜)以降、焚書を免れた最古の数学書は『易経』であり、哲学、数学、および神秘的目的で、8種3組(三重)および64種6組(六重)が使用される。各組は分割した、または切れ目の無い直線で構成され、それぞれ陰「女性」陽「男性」と呼ばれる。(六十四卦参照)
中国の幾何学の現存する最も古い書物は、紀元前330年頃の墨家の哲学原理で、墨子(紀元前470〜390年)の後継者により編纂された。『墨経』は、物理化学に関する様々な分野を記述し、数学について僅かながら書き示した。
焚書の後、漢(紀元前202年〜西暦220年)は、現在失われた書物を拡張したと推定される数学書を生み出した。最も重要な書物は『九章算術』であり、全編が完成したのは遅くとも西暦179年だとされている。しかし、一部は別の書名の下にそれ以前から存在した。この数学書は、その名の通り九つ、すなわち方田・粟米・衰分・少広・商功・均輸・盈不足・方程・勾股の章に分けて、農業、商業、幾何学、工学、測量に関する246語の問題で構成され、特別な直角三角形および円周率の要素を含んでいる。また、体積におけるカバリエリの定理を、西洋でカバリエリが提案する1,000年以上前に使用していた。ピタゴラスのピタゴラスの定理の数学的証明、およびガウスの消去法の数式も含まれている。方程(連立方程式のこと)の章では、益の数・損の数を表す正算・負算という赤と黒の算籌の区別を用いて連立方程式を解き、正負計算の法則までも述べている。この書は中国や朝鮮では長い時期にわたって重要な数学の教科書の一つとして扱われた。この書の研究としては西暦3世紀に劉徽による論評と問題や解法の数学的考察が行われた。
さらに、漢の天文学者、発明家である張衡(西暦78〜139年)の数学書には円周率の公式化があり、劉徽の計算と異なっていた。張衡は、球体の体積を求めるために円周率の公式を使用した。また、数学者で音楽理論家の京房(紀元前78〜37年)は、ピタゴラスコンマを用いて53の完全五度が31オクターヴにほぼ等しいことを述べた。これは後に、ドイツのニコラス・メルカトルが17世紀に53平均律を発見するまで、正確に計算されることはなかった。
南北朝時代の祖沖之(5世紀)は、円周率の値を小数点以下第7位まで計算した。これは以後1,000年間、最も正確な値であった。
漢に続く唐の開始と宋の終わりまでの約1,000年間、ヨーロッパの数学が存在しない時代に、中国数学は繁栄した。官僚登用試験である科挙においても数学は科目に含まれ、初期中国の主な数学業績を集めた『算経十書』が教科書として推奨された。
中国で最初に開発され、後に西洋で多く知られるものに、負の数、二項定理、線型方程式を解決するための行列手法、および中国の剰余定理がある。中国ではまた、ヨーロッパで知られる前に、パスカルの三角形、帰一算が開発された。この時代大いに発展した算法に天元術がある。これは算籌を用いた代数問題の解法であって、問題に与えられた条件から計算を施して、等式から一元数次方程式を作る算法である。朱世傑はこれを四つの未知数まで拡張させて高次の四元連立方程式の解法、四元術を創った。また、方程式自体を解くために、天元術とともに、一般次数における方程式の近似解法の開方術(いわゆるホーナーの近似解法)が発展した。この天元術を主とした中国の算法は江戸時代の日本に伝わり、和算の発展の大きな要因となった。祖沖之や朱世傑の他に、唐や宋の時代の重要な人物として、一行、沈括、賈憲、秦九韶、李冶達がいる。科学者の沈括は、微分積分学、三角法、度量衡学Metrology、順列に関する問題を使用して、特定の戦闘陣形が使用できる地勢の空間や、兵糧の量に対して継続可能な軍事作戦の期間を計算した。
中国ではまた、魔方陣として知られる複雑な結合図表が古くから述べられ、楊輝Yang Hui(西暦1238〜1298年)によって完成された。
その後17世紀初年においては、中国に資本主義がめばえ、商業算術が発展してそろばんを用いた珠算が普及し、初等的な実用数学が重要視された。よって高度な数学の研究は大きく減少し、くわえて丁度この時に、マテオ・リッチ(Matteo Ricci, 利瑪竇)ら宣教師たちにより西洋数学が伝来し、中国数学は西洋科学ととって替わられ、衰退の一途を行くこととなった。
古代中国の数学の方法がインドに伝えられたという直接の記録はないものの、インド数学におけるいくつかの方法は古代中国のそれに類似しており、何らかの伝播があったことを示唆している。6世紀頃におけるインド数学における位取り記数法の導入に影響を与えているとの見方を示している。そのほかにインド数学における分数の記法や比例問題の解法などの算法、円周率の表示 3927 などに中国の数学との類似や一致が見られる。インドを通じたイスラム圏への中国数学の伝播の他に、元の西進による中国の暦法がイスラム圏に伝えられた。さらに、アル・カーシーによる「算術の鍵」(1427年)の中で行われている算法のいくつかは宋・元時代に中国で発展させられたものと一致している。とはいえ、ヨーロッパの数学がルネサンスの間に栄えた後でさえ、重要な中国数学の成果は衰退する中、ヨーロッパと中国の数学は総じて別個の流儀であった。後にマテオ・リッチのようなイエズス会宣教師が16世紀から18世紀にかけて2つの文化の間で数学思想を交流させた。
ギリシア数学は紀元前6世紀頃から西暦450年の間にギリシア語で書かれた数学を示す。ギリシア人数学者は東地中海全体、イタリアから北アフリカに広がる都市に住んでいたが、これらの地域は文化と言語で結びつけられていた。ギリシアの数学は、ヘレニズム数学とも呼ばれる。
ギリシア数学は、以前の文化で発達した数学に比べて遥かに洗練されたものであった。ギリシア以前の数学は、すべて帰納的推論を示している。すなわち、繰り返した観測で経験則を証明した。ギリシア数学は、対照的に、演繹法を使用した。ギリシア人は、定義および原理から結論を得る論理を使用した 。
ギリシア数学はタレス(紀元前624〜546年頃)とピタゴラス(紀元前582〜507年頃)が始めたと考えられる。影響範囲について異論はあるものの、彼らはエジプト、メソポタミア、および恐らくインドの知識に影響を受けた。伝説では、ピタゴラスはエジプトに旅行し、数学、幾何学、および天文学をエジプトの指導者から学んだと言われている。
タレスは、幾何学を使用して、ピラミッドの高さや岸から船までの距離を計算する等の問題を解決した。ピタゴラスの定理について、ピタゴラス以前からその主張には長い歴史があるものの、定理に最初の証明を与えたのが彼であるとの名声をもつ。エウクレイデス(ユークリッド)によるピタゴラスの論評において、プロクロスはピタゴラスが彼の名を冠する定理を述べ、幾何学的でなく代数学的にピタゴラス数を構成したと述べている。アカデメイアは、「幾何学に精通しない者はここに入るべからず」とのモットーを持っていた。
ピタゴラス学派は無理数の存在を発見した。エウドクソス(紀元前408〜355年頃)は、現在の積分法の先駆である、取り尽くし法を開発した。アリストテレス(紀元前384〜233年頃)は最初に論理学の法を書いた。エウクレイデスは今日の数学でも使用される形式である、定義、原理、定理、証明の最も初期の例である。彼はまた円錐曲線の研究も行った。彼の本、『ユークリッド原論』は、20世紀の中頃まで、西洋で教育を受けたものすべてに知られていた。ピタゴラスの定理などの幾何学のよく知られた定理に加えて、『ユークリッド原論』には2の平方根が無理数であることや素数が無限に存在することの証明が記述されている。素数の発見にはエラトステネスの篩(紀元前230年頃)が使用された。
ギリシア数学の、あるいは全時代の最も偉大な数学者は、シラクサのアルキメデス(紀元前287〜212年)であると言われている。プルタルコスによると、75歳のとき、地面に数式を書いている最中にローマの軍人に槍で刺されたとされている。古代ローマは純粋数学への関心の証拠をほとんど残していない。
中世ヨーロッパの数学への関心は、現代の数学者と全く異なる動機にもよっていた。その1つは、数学による自然の記述を通じて宗教的な理解が促進されるという信念であり、プラトンの『ティマイオス』および聖書の『知恵の書』11章20節によって幾度も正当化された。