数学史 年表

数学の歴史を年表形式で簡単にまとめています。
 リンク先は、少しずつ更新していきます。
 
(数学者の横にある西暦は、生まれ年を表します。)

数学史 年表

B.C.
30万年前
数学のはじまり


・イシャンゴの骨
B.C.
1800年前後
エジプト


歴史
数字
計算
分数
方程式等
B.C.
1700年前後
バビロニア


歴史
整数
小数
計算
一次方程式
二次方程式
三平方の定理
平方根
B.C.
1000年前後
紀元前のインド


歴史と数字
『シュルバスートラ』
B.C.
800年頃
ギリシャ時代(~B.C.350年頃)


歴史
数字
 B.C.
625頃
タレスThales, B.C.625頃-B.C.547頃


数学で初めて「証明」を行った。
タレスの定理
 B.C.
569頃
ピタゴラスPytagoras, B.C.569頃-B.C.500頃


教団を作り、数の研究をした。
三平方の定理の証明
B.C.6世紀頃クレタ人のパラドックス
 B.C.
500頃
アナクサゴラスAnaxagoras, B.C.500頃-B.C.428


牢獄で「円の方形化」問題に没頭した。
 B.C.
490頃
ゼノンZeno, B.C.490頃-B.C.430頃


アキレスと亀をはじめとするパラドックスをいくつか提起した。
 B.C.
470頃
ヒポクラテスHippocrates, B.C.470頃-B.C.410頃


月形図形の研究をした。
 B.C.
460頃
ヒッピアスHippias, B.C.460頃-不明


円積線の研究をした。
 B.C.
460
デモクリトスDemocritos, B.C.460-B.C.379


錐体の体積が、柱体の$~\displaystyle \frac{1}{3}~$であることを示した。
紀元前5世紀
中頃
ヒッパソスHippasus, 紀元前5世紀中頃-不明


$~2~$の平方根が無理数であることを提起した。
 B.C.
428頃
アルキュタスArchytas, B.C.428頃-B.C.360頃


立方体倍積問題を、3次元の作図によって解いた。
 B.C.
427
プラトンPlato, B.C.427-B.C.347


アカデメイアを創設し、ギリシャの学問の中心的存在となった。
 B.C.
415頃
テアイテトスTheaetetus, B.C.415頃-B.C.369


 $~2~$の平方根が無理数であることを示した。
 B.C.
408頃
エウドクソスEudoxus, B.C.408頃-B.C.355頃


 比例論や取り尽くし法を発見した。
B.C.4世紀頃ハゲのパラドックス
 B.C.
390頃
ディノストラトスDinostratus, B.C.390頃-B.C.320頃


 円積線が書ければ、円の方形化ができることを証明した。
 B.C.
384
アリストテレスAristotle, B.C.384-B.C.322


 証明の手法や言葉をまとめ、数学の学問モデルを確立した。
 B.C.
380頃
メナイクモスMenaechmus, B.C.380頃-B.C.320頃


 円錐曲線を発見した。
 B.C.
330頃
ユークリッドEuclid, B.C.330頃-B.C.275頃)※


・著書『原論』にこれまでのギリシャ数学についてまとめる。
ピタゴラスの定理の証明
B.C.3世紀エラトステネスの篩
 B.C.
287
アルキメデス(~B.C.212)


・ $~\pi~$ の近似
 B.C.
262
アポロニウス(~B.C.190)


・アポロニウスの円
・円錐曲線
B.C.
200年前後
紀元前の中国


歴史
数字
算木
一次方程式

平方根
三平方の定理
二次方程式
B.C.1世紀末ヘロンの公式
85頃プトレマイオス(~165頃)


トレミーの定理
2~3世紀ディオファントスの墓
476アールヤバタ(~550)


・正弦の表
598ブラフマグプタ(~668)


・ブラフマグプタの公式
788アル・フワーリズミー(~850)


・二次方程式の解法
・アラビア数字の伝播
1501カルダノ(~1576)


3次方程式の解の公式(1545)
1510レコード(~1558)


「=」の導入(1557)
1522フェラリ(~1565)


4次方程式の解の公式(1545)
1550ネイピア(~1617)


・対数の発見
1588メルセンヌ(~1648)


・メルセンヌ数
1598カヴァリエリ(~1647)


・カヴァリエリの定理
1601フェルマー(~1665)


・フェルマーの小定理
・フェルマーの最終定理
1616ウォリス(~1703)


ウォリスの公式(1656)
・ウォリス積分
1620メルカトル(~1687)


メルカトル級数(1668)
1623パスカル(~1662)


・パスカルの三角形
・パスカルの定理
1638グレゴリー(~1675)


グレゴリー級数(1671)
1640頃関 孝和(~1708)


・算法の発展
1646ライプニッツ(~1716)


ライプニッツ級数(1674)
1647チェバ(~1734)


チェバの定理(1678)
1652ロル(~1719)


ロルの定理(1690)
1654ヤコブ・ベルヌーイ(~1705)


・ベルヌーイ試行
1661ロピタル(~1704)
・ロピタルの定理
1667ド・モアブル(~1754)


・ド・モアブルの公式
1680マチン(~1751)


マチンの公式
1685テイラー(~1731)


テイラーの定理
テイラー級数(テイラー展開)
1690ロルの定理
1698マクローリン(~1746)


マクローリン級数(マクローリン展開)
1700ダニエル・ベルヌーイ(~1782)


サンクトペテルブルグのパラドックス(1738)
1702ベイズ(~1761)


・ベイズの定理
1707オイラー(~1783)


・オイラーの公式
オイラーの多面体定理
1710シンプソン(~1761)


シンプソンの公式
1717ダランベール(~1783)


ダランベールの収束判定法
1736ラグランジュ(~1813)


ラグランジュの補間公式
1768フーリエ(~1830)


・フーリエ級数
1777ガウス(~1855)


・合同式
・代数学の基本定理
1789コーシー(~1857)


コーシーの収束判定法
コーシーの平均値の定理
・コーシー・リーマンの方程式
18世紀末頃ナポレオンの定理
1806ド・モルガン(~1871)


・ド・モルガンの法則
1811ガロア(~1832)


・ガロア群
1826リーマン(~1866)


・リーマン予想
1854ポアンカレ(~1912)


・ポアンカレ予想
1876三平方の定理の証明(ジェームズ・A・ガーフィールドの証明)
1906ゲーデル(~1832)


・不完全性定理
1910コラッツ(~1990)


コラッツの予想
1922ラングレーの問題
1938三平方の定理の証明(アン・コンディットの証明)
1953ワイルズ


・フェルマーの最終定理の証明
1963ウラムの螺旋
20世紀後半エフロンのサイコロ

☆参考文献
・ヴィクターJ.カッツ(2009)『カッツ 数学の歴史』,上野健爾監訳,三浦伸夫監訳,中根美知代訳,高橋秀裕訳,林知宏訳,大谷卓史訳,佐藤賢一訳,東慎一郎訳,中沢聡訳, 共立出版.
・Bertrand Hauchecorne , Daniel Suratteau(2015)『世界数学者事典』,熊原啓作訳,日本評論社.