差分

このページの2つのバージョン間の差分を表示します。

--- 数学の歴史:メモ [2023/01/06 17:28] – [数学史のメモ] yajuadmin
+++ 数学の歴史:メモ [2026/02/06 01:36] (現在) – [現代数学の開花] yajuadmin
@@ 行 3: / 行 3: @@
 数学セミナー編集部が著した１００人の数学者一覧 ＋ 追加分
+===== 数学史の勉強が必要か =====
+ChatGPTに聞いてみました。
+数学の歴史についての勉強は、数学の起源や発展、そして現代における役割を理解するために役立ちます。また、数学の歴史を学ぶことで、数学が社会や文化にどのように影響を与えてきたかを知ることができます。さらに、歴史上の偉大な数学者たちがどのような発明や理論を行ってきたかを学ぶことで、数学に対する興味を深めることができます。
+ただし、数学の歴史を勉強する必要はありません。数学について学ぶことは、それ自体が重要であり、歴史を知ることはあくまで補助的なものです。
+数学の歴史を勉強することによって、数学に対する興味を深めることができるだけでなく、数学的思考力を養うこともできます。
+===== 巨大な遠回り =====
 {{:数学の歴史:巨大な遠回り.png?400|}}
+  * ヘレニズム期以後、ギリシャ世界の数学・科学・哲学の知見は西欧文化圏にはほとんど拡散しなかった。
+  * 5世紀〜7世紀にかけて、主にシリア文明圏に引き渡される(シリア・ヘレニズム)。イスラム教帝国によってこれらがアラビア語訳。
+  * 12世紀ごろから西欧に逆輸入(12世紀ルネサンス)。
+  * 12世紀ルネサンスでは、イスラム地域から数学書が数多くもたらされ、アラビア語からラテン語に翻訳された（大翻訳運動)。
+  * 12世紀ルネサンス期以後の西欧では、数学の担い手の社会的階層が広がった。
+  * 特に職人・商人階級を中心に計算術や代数学などの実用的な数学の需要が高まった。（アラビア数字や記法を積極的に採用）
+  * イタリアでは「算法教師」が計算やアルゴリズム主体の数学を発展させ、イタリアにおける代数学の基礎を築いた。
+===　シリア・ヘレニズム ===
+  * ネストリウス派(イエス=神人両性、431年エフェソス公会議で異端宣告)のシリア亡命。時のササン朝ペルシャ皇帝に歓迎される。
+  * 単性論者(人としてのイエスも神性、451年カルケドン公会議で異端宣告)。シリアで細々と修道生活しながらギリシャ文献のシリア訳。
+==== 西洋独自の発達 ====
+  * ルネサンス期以降：ギリシャ以来の「総合的・演繹的数学」とインド・アラビア由来の「解析的・発見的数学」
+    * これらを融合・統一する試み
+      * 幾何学の算術化
+      * 代数学の幾何学的な一般性と厳密性
+    * ヴィエトの記号代数学
+  * 運動の数学的記述への試み
+    * 不可分者の概念
+    * 瞬間の速度・曲線の接戦
+  * 微分積分学の発見＝微分積分学の基本定理の発見
+    * 無限小算術の厳密化ではない
+  * 19世紀西洋数学
+    * 量から概念へ
 ===== 人物 =====
 ==== 古代・中世の数学 ====
@@ 行 30: / 行 68: @@
 三角関数表
-===　ピュタゴラス ===
+=== ピュタゴラス ===
-===　エウドクソス　===
+ピュタゴラス(BC570頃–BC495頃)は古代ギリシアの数学者・哲学者。\\
-===　エウクレイデス　===
+「万物は数である」と考え、数学を宗教的・哲学的に体系化した。\\
-===　アルキメデス　===
+直角三角形の関係を示すピュタゴラスの定理で知られる。
-===　ヒュパティア　===
+=== エウドクソス ===
+エウドクソス(BC408頃–BC355頃)は古代ギリシアの数学者・天文学者。\\
+無理数を扱うための「尽きることのない分割法（求積法）」を考案。\\
+微積分の先駆的思想を含んでいる。
+=== エウクレイデス(ユークリッド) ===
+エウクレイデス(BC300頃)は古代ギリシアの数学者。\\
+著書『原論』で幾何学を公理体系として整理した。\\
+年以上にわたり数学教育の基礎となった。
+=== アルキメデス ===
+アルキメデス(BC287頃–BC212頃)は古代ギリシア最大の数学者。\\
+円周率の計算、体積・面積の研究で業績を残した。\\
+てこの原理や浮力の法則でも知られる。
+=== ヒュパティア ===
 年スペイン映画「[[https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%82%AF%E3%82%B5%E3%83%B3%E3%83%89%E3%83%AA%E3%82%A2_(%E6%98%A0%E7%94%BB|アレクサンドリア]]」の主人公である女性
 西暦4世紀、キリスト教が定着し異教の排斥が行なわれ始めた時代の、女性天文学者ヒュパティアの学問に殉じた半生をアレクサンドリアを舞台に描く。
-===　ボエティウス　===
+=== ボエティウス ===
 学問語であるギリシャ語の識字率が急速に低下、ギリシャ時代の高度な数学・科学・哲学の知識が急速に失われ始める。ラテン語の識字率が高い状態になっている時代背景がある。
@@ 行 46: / 行 99: @@
   * ユークリッドやアリストテレスなどの著作をラテン語に翻訳しようとした。
   * しかし、政治的嫌疑をかけれら、東ゴートのテオドリック王によって処刑。
-===　アポロニオス　===
-===　ディオファントス　===
-===　フワーリズミー　===
-===　サービト・イブン・クッラ　===
-===　イブラーヒーム・イブン・シナーン　===
-===　イブヌル・ハイサム　===
-===　ウマル・ハイヤーム　===
-===　バースカラ　===
-===　フィボナッチ　===
-===　オレム　===
-===　マーダヴァ　===
+=== アポロニオス ===
+アポロニオス（BC262頃–BC190頃）は円錐曲線を体系化した数学者。\\
+楕円・放物線・双曲線の理論を確立した。\\
+後の天文学や解析幾何に大きな影響を与えた。
+=== ディオファントス ===
+ディオファントス（3世紀頃）はギリシアの数学者。\\
+整数解を求める「ディオファントス方程式」を研究した。\\
+代数学の祖と呼ばれる。
+=== アル・フワーリズミー ===
+アル・フワーリズミー(9世紀)はイスラム世界の数学者。\\
+「代数（アルジャブル）」を体系化した。\\
+彼の名から「アルゴリズム」という言葉が生まれた。
+=== サービト・イブン・クッラ ===
+サービト(836–901)はイスラムの数学者・天文学者。\\
+ギリシア数学を翻訳・発展させた。\\
+数論や幾何学に貢献した。
+=== イブラーヒーム・イブン・シナーン ===
+イブン・シナーン(908–946)はイスラムの数学者。\\
+積分的手法による求積問題を研究した。\\
+アルキメデスの研究を発展させた。
+=== イブヌル・ハイサム ===
+イブン・ハイサム(965–1040)は光学の父。\\
+実験に基づく科学的方法を確立。\\
+数学・光学・物理学に大きな影響を与えた。
+=== ウマル・ハイヤーム ===
+ウマル・ハイヤーム(1048–1131)は詩人・数学者。\\
+次方程式を幾何的に解いた。\\
+暦の改良にも貢献した。
+=== バースカラ ===
+バースカラ2世(1114–1185)はインドの数学者。\\
+微分に近い概念を扱った。\\
+代数・三角法を発展させた。
+=== フィボナッチ ===
+フィボナッチ(1170頃–1250頃)はイタリアの数学者。\\
+『算盤の書』でアラビア数字を欧州に普及。\\
+フィボナッチ数列で有名。
+=== ニコル・オレム ===
+ニコル・オレム(1320頃–1382)は中世フランスの学者。\\
+グラフ的表現を用いて数量変化を分析。\\
+関数概念の先駆者。
+=== マーダヴァ ===
+マーダヴァ(14世紀)はインドの数学者。\\
+無限級数による円周率計算を行った。\\
+解析学の先駆的研究者。
 ==== 東アジアの伝統数学 ====
-===　劉徽　===
+=== 劉徽 ===
-===　祖冲之　===
+劉徽(3世紀)は中国の数学者。\\
-・祖○之（「日」に「恒」）
+『九章算術』に詳細な注釈を付けた。\\
-===　朱世傑　===
+円周率の高精度計算を行った。
+=== 祖冲之 ===
+祖冲之(429–500)は中国の数学者・天文学者。\\
+円周率を3.1415926…まで計算。\\
+世界最高精度を達成した。
+=== 朱世傑 ===
+朱世傑(13世紀)は中国の数学者。\\
+高次方程式を行列的に解いた。\\
+『算学啓蒙』『四元玉鑑』を著した。
 ===　梅文鼎　===
+梅文鼎（1633–1721）は清代の数学者。\\
+中国数学と西洋数学を融合した。\\
+近代化の橋渡し役。
 ===　関 孝和　===
-===　建部賢弘　===
+関 孝和（1642–1708）は江戸時代の数学者。\\
-===　和田 寧　===
+日本独自の和算を発展。\\
+行列式に近い概念を発見。
+===　建部 賢弘　===
+建部 賢弘（1664–1739）は和算家。\\
+円周率を40桁以上計算。\\
+関孝和の弟子。
+=== 和田 寧 ===
+和田 寧(18世紀)は和算家。\\
+測量・暦算に貢献。\\
+実用数学を発展させた。
 ==== 近代西洋数学の形成 ====
-===　カルダーノ　===
+=== カルダーノ ===
-===　ヴィエト　===
+カルダーノ(1501–1576)はイタリアの数学者・医師。\\
-===　ステヴィン　===
+次・4次方程式の解法を初めて体系的に公開した。\\
-===　ネイピア　===
+確率論の先駆者でもある。
-===　ガリレオ・ガリレイ　===
-===　ケプラー　===
+=== ヴィエト ===
-===　デザルグ　===
+ヴィエト（1540–1603）はフランスの数学者。\\
-===　デカルト　===
+文字を使った代数学記法を導入。\\
-===　カヴァリエリ　===
+現代代数の基礎を築いた。
-===　フェルマー　===
-===　トリチェッリ　===
+=== ステヴィン ===
-===　ウォリス　===
+ステヴィン（1548–1620）はオランダの数学者。\\
-===　パスカル　===
+小数表記を普及させた。\\
-===　ホイヘンス　===
+実用数学の発展に貢献。
-===　ニュートン　===
-===　ライプニッツ　===
+=== ジョン・ネイピア ===
-===　ベルヌリ（ヤーコプ）　===
+ジョン・ネイピア(1550–1617)はスコットランドの数学者。\\
-===　ベルヌリ（ヨーハン）　===
+対数を発明。\\
-===　マクローリン　===
+計算を飛躍的に簡単にした。
-===　オイラー　===
-===　ダランベール　===
+=== ガリレオ・ガリレイ ===
-===　ラグランジュ　===
+ガリレオ(1564–1642)はイタリアの科学者。\\
-===　モンジュ　===
+数学を自然科学に導入。\\
-===　ラプラス　===
+近代科学の父と呼ばれる。
-===　ルジャンドル　===
+=== ケプラー ===
+ケプラー（1571–1630）はドイツの天文学者。\\
+惑星運動の3法則を発見。\\
+数学と天文学を融合。
+=== デザルグ ===
+デザルグ(1591–1661)はフランスの数学者。\\
+射影幾何学を創始。\\
+現代幾何の基礎。
+=== デカルト ===
+デカルト(1596–1650)はフランスの哲学者・数学者。\\
+解析幾何学を創始。\\
+座標による図形表現を導入。
+=== カヴァリエリ ===
+カヴァリエリ(1598–1647)はイタリアの数学者。\\
+無限小による求積法を考案。
+積分学の前身。
+=== フェルマー ===
+フェルマー(1607–1665)はフランスの数学者。\\
+数論の父。\\
+フェルマーの最終定理で有名。
+=== トリチェッリ ===
+トリチェッリ(1608–1647)はイタリアの数学者。\\
+無限級数と積分研究。\\
+気圧計を発明。
+=== ウォリス ===
+ウォリス(1616–1703)はイギリスの数学者。\\
+無限積・解析学を発展。\\
+円周率研究で有名。
+=== パスカル ===
+パスカル(1623–1662)はフランスの数学者。\\
+確率論を創始。\\
+計算機も発明。
+=== ホイヘンス ===
+ホイヘンス(1629–1695)はオランダの数学者。\\
+確率論・振り子研究。\\
+力学に貢献。
+=== ニュートン ===
+ニュートン(1643–1727)はイギリスの数学者。\\
+微積分学・力学を創始。\\
+近代物理の基礎。
+=== ライプニッツ　===
+ライプニッツ(1646–1716)はドイツの数学者。\\
+微積分記号を確立。\\
+論理学にも貢献。
+=== ベルヌリ・ヤーコプ ===
+ベルヌリ・ヤーコプ(1655–1705)はスイスの数学者。\\
+確率論を発展。\\
+大数の法則を証明。
+=== ベルヌリ・ヨーハン ===
+ベルヌリ・ヨーハン(1667–1748)はスイスの数学者。\\
+解析学を発展。\\
+オイラーの師。
+=== マクローリン　===
+マクローリン(1698–1746)はスコットランドの数学者。\\
+テイラー展開の特殊形を研究。
+=== オイラー ===
+オイラー(1707–1783)はスイスの数学者。\\
+解析・記号法を確立。\\
+史上最多の業績。
+=== ダランベール　===
+ダランベール(1717–1783)はフランスの数学者。\\
+偏微分方程式を研究。
+=== ラグランジュ　===
+ラグランジュ(1736–1813)はイタリアの数学者。\\
+解析力学を体系化。
+=== モンジュ　===
+モンジュ(1746–1818)はフランスの数学者。\\
+画法幾何学を創始。
+=== ラプラス　===
+ラプラス(1749–1827)はフランスの数学者。\\
+確率論・天体力学を発展。
+=== ルジャンドル　===
+ルジャンドル(1752–1833)はフランスの数学者。\\
+楕円積分・数論研究。
 ==== 近代数学の展開 ====
-===　フーリエ　===
+=== フーリエ ===
-===　ガウス　===
+フーリエ(1768–1830)はフランスの数学者。\\
-===　ボルツァーノ　===
+フーリエ級数・フーリエ変換を創始。\\
-===　コーシー　===
+解析学・物理学に革命をもたらした。
-===　バベッジ　===
-===　ロバチェフスキイ　===
+=== ガウス ===
-===　アーベル　===
+ガウス(1777–1855)はドイツの数学者。\\
-===　ボヤイ（ヤーノシュ）　===
+「数学の王子」と称される。\\
-===　ヤコビ　===
+数論・解析・統計に多大な貢献。
-===　ディリクレ　===
-===　ハミルトン　===
+=== ボルツァーノ ===
-===　リューヴィル　===
+ボルツァーノ(1781–1848)はチェコの数学者。\\
-===　ガロワ　===
+解析の厳密化を推進。\\
-===　ワイエルシュトラス　===
+極限理論を発展。
-===　ケイリー　===
-===　エルミート　===
+=== コーシー ===
-===　クロネッカー　===
+コーシー(1789–1857)はフランスの数学者。\\
-===　リーマン　===
+解析学を厳密に体系化。\\
-===　デデキント　===
+極限・収束理論を確立。
-===　ジョルダン　===
-===　リー　===
+=== バベッジ ===
-===　カントル　===
+バベッジ(1791–1871)はイギリスの数学者。\\
-===　フレーゲ　===
+解析機関を設計。\\
-===　クライン　===
+計算機の祖。
-===　コワレフスカヤ　===
-===　ポアンカレ　===
+=== ロバチェフスキイ ===
+ロバチェフスキイ(1792–1856)はロシアの数学者。\\
+非ユークリッド幾何学を創始。
+=== アーベル ===
+アーベル(1802–1829)はノルウェーの数学者。\\
+次方程式不可解性を証明。\\
+解析学にも貢献。
+=== ボヤイ(ヤーノシュ) ===
+ボヤイ(1802–1860)はハンガリーの数学者。\\
+非ユークリッド幾何学を独立に発見。
+=== ヤコビ ===
+ヤコビ(1804–1851)はドイツの数学者。\\
+楕円関数・行列式を研究。
+=== ディリクレ ===
+ディリクレ(1805–1859)はドイツの数学者。\\
+解析的数論を創始。
+=== ハミルトン ===
+ハミルトン(1805–1865)はアイルランドの数学者。\\
+四元数を発見。\\
+力学にも貢献。
+=== リューヴィル ===
+リューヴィル(1809–1882)はフランスの数学者。\\
+超越数の存在を証明。
+=== ガロワ ===
+ガロワ(1811–1832)はフランスの数学者。\\
+群論を創始。\\
+方程式論を革新。
+=== ワイエルシュトラス ===
+ワイエルシュトラス(1815–1897)はドイツの数学者。\\
+解析の厳密化を完成。
+=== ケイリー ===
+ケイリー(1821–1895)はイギリスの数学者。\\
+行列論・代数学を体系化。
+=== エルミート ===
+エルミート(1822–1901)はフランスの数学者。\\
+超越数研究に貢献。
+=== クロネッカー ===
+クロネッカー(1823–1891)はドイツの数学者。\\
+整数重視の数学観を提唱。
+=== リーマン ===
+リーマン(1826–1866)はドイツの数学者。\\
+リーマン幾何学を創始。
+解析・物理に影響。
+=== デデキント ===
+デデキント(1831–1916)はドイツの数学者。\\
+実数の公理的定義を確立。
+=== ジョルダン ===
+ジョルダン(1838–1922)はフランスの数学者。\\
+群論・標準形を研究。
+=== リー ===
+リー(11842–1899)はノルウェーの数学者。\\
+リー群・リー代数を創始。
+=== カントル ===
+カントル(1845–1918)はドイツの数学者。\\
+集合論を創始。\\
+無限の理論を確立。
+=== フレーゲ ===
+フレーゲ(1848–1925)はドイツの論理学者。\\
+数理論理学を創始。
+=== クライン ===
+クライン(1849–1925)はドイツの数学者。\\
+エアランゲンプログラムを提唱。
+=== コワレフスカヤ ===
+コワレフスカヤ(1850–1891)はロシアの数学者。\\
+女性数学者の先駆者。
+=== ポアンカレ ===
+ポアンカレ(1854–1912)はフランスの数学者。\\
+位相幾何・力学を創始。\\
+現代数学の父。
 ==== 現代数学の開花 ====
-===　ヒルベルト　===
+=== ヒルベルト ===
-===　アダマール　===
+ヒルベルト(1862–1943)はドイツの数学者。\\
-===　ハウスドルフ　===
+数学の公理化を推進。\\
-===　カルタン　===
+の問題を提示。
-===　ボレル　===
-===　ラッセル　===
+=== アダマール ===
-===　カラテオドリ　===
+アダマール(1865–1963)はフランスの数学者。\\
-===　高木貞治　===
+関数論・素数定理に貢献。
-===　ルベーグ　===
-===　アインシュタイン　===
+=== ハウスドルフ ===
-===　ブラウワー　===
+ハウスドルフ(1868–1942)は数学者。\\
-===　ネーター　===
+位相空間論を創始。
-===　ヴァイル　===
-===　ラーマーヌジャン　===
+=== カルタン ===
-===　ベルナイス　===
+カルタン(1869–1951)はフランスの数学者。\\
-===　バナッハ　===
+微分幾何・リー理論を発展。
-===　ウィーナー　===
-===　アルティン　===
+=== ボレル ===
-===　岡潔　===
+ボレル(1871–1956)はフランスの数学者。\\
-===　コルモゴロフ　===
+測度論を創始。
-===　フォン・ノイマン　===
-===　ゲーデル　===
+=== ラッセル ===
-===　ヴェイユ　===
+ラッセル(1872–1970)は論理学者。\\
-===　ポントリャーギン　===
+数学基礎論を発展。
-===　シュヴァレー　===
-チューリング　シュヴァルツ
+=== カラテオドリ ===
+カラテオドリ(1873–1950)は数学者。\\
+変分法・測度論を研究。
+=== 高木 貞治 ===
+高木 貞治(1875–1960)は日本の数学者。\\
+類体論を確立。
+=== ルベーグ ===
+ルベーグ(1875–1941)は数学者。\\
+ルベーグ積分を創始。
+=== アインシュタイン ===
+アインシュタイン(1879–1955)は物理学者。\\
+相対性理論を確立。\\
+数学にも影響。
+=== ブラウワー ===
+ブラウワー(1881–1966)は数学者。\\
+直観主義論理を提唱。
+=== ネーター ===
+ネーター(1882–1935)は数学者。\\
+抽象代数を確立。
+=== ヴァイル ===
+ヴァイル(1885–1955)は数学者。\\
+解析・物理数学を統合。
+=== ラーマーヌジャン ===
+ラーマーヌジャン(1887–1920)は数学者。\\
+独創的公式を発見。
+=== ベルナイス ===
+ベルナイス(1888–1977)は論理学者。\\
+ヒルベルト学派を支援。
+=== バナッハ ===
+バナッハ(1892–1945)は数学者。\\
+関数解析を確立。
+=== ウィーナー ===
+ウィーナー(1894–1964)は数学者。\\
+サイバネティクス創始。
+=== アルティン ===
+アルティン(1898–1962)は数学者。\\
+類体論を発展。
+=== 岡 潔 ===
+岡 潔(1901–1978)は日本の数学者。\\
+多変数関数論を研究。
+=== コルモゴロフ ===
+コルモゴロフ(1903–1987)は数学者。\\
+確率論を公理化。
+=== フォン・ノイマン ===
+フォン・ノイマン(1903–1957)は数学者。\\
+計算機理論を確立。
+=== ゲーデル　===
+ゲーデル(1906–1978)は論理学者。\\
+不完全性定理を証明。\\
+形式主義に衝撃。
+=== ヴェイユ ===
+ヴェイユ(1906–1998)は数学者。\\
+数論・幾何を統合。
+=== ポントリャーギン ===
+ポントリャーギン(1908–1988)は数学者。\\
+位相幾何を発展。
+=== シュヴァレー ===
+シュヴァレー(1909–1984)は数学者。\\
+ブルバキ運動を主導。
+=== アラン・チューリング ===
+アラン・チューリング(1912–1954)は数学者。\\
+計算理論の父。\\
+現代コンピュータの基礎。
+=== シュヴァルツ ===
+シュヴァルツ(1915–2002)は数学者。\\
+超関数理論を創始。
 ===== 用語/語源 =====
 ==== second ====