「数字 」とは異なります。
数学 （すうがく）とは、数 ・量 ・図形 などに関する学問 であり[ 1] 理学 の一種[ 2] [ 注 1] 算術 ・代数学 ・幾何学 ・解析学 ・微分法 ・積分法 などの総称 」とされる[ 4]
数学は自然科学 の一種にも[ 3] 形式科学 」の一種にも分類され得る[ 5]
現代の日本語における「数学」は、直接的には英語の mathematics の訳語ないし同義語とされる。英語の mathematics ないしその単数形 mathematic の直接の語源は、古フランス語 mathematique であり、これはラテン語の (ars) mathematica 、またギリシア語 の μαθηματικὴ (τέχνη) に由来し、原義は「学ぶこと」である[ 6]
数学という熟語の起源は古い。宋 の秦九韶 による『数書九章 』（1247年 ）の書名はもとは『数学』だったという[ 7] 明 末には『数学通軌』という書物が出ていて、序文は1578年 のものとなっている。和算 家たちも古くから数学という熟語を使っていた。関孝和 の著に『数学雑著』と題するものがあり、他にも数学という熟語を題字に使っている和算書が複数ある。和算家たちは現在と同じく数学一般という広く高い意味で数学という言葉を使っていた。明治維新 後の一時期は漢訳数学書に見られる訳語を手当たり次第に使用したために数学という言葉が現在の算術という意味で使われ狭い意味になったが、その状態は長くは続かなかった。明治 15年1月7日、東京数学会社（現、日本数学会 ）の第14回訳語会にて Unit と Mathematics の2語について2時間以上かけて討議し、Mathematics の訳語を数学とすることが議決された[ 8] [ 9] 菊池大麓 は「物の理を論する学問を物理学 というように数の理を論する学問は数理学とするのがよいだろう」と意見を述べ、他には算学という訳語を推す意見もあったが、9名の多数をもって「数学」が採用された。それ以前にも「数学」という語は使われていたが、mathematics の定訳ではなかった。例えば1814年の『諳厄利亜語林大成 』では「数学」は arithmetic [ 注 2] [ 注 3] mathematics [ 注 4]
数学の定義 については、数学者 や哲学者 の間で様々な見解がある[ 13] [ 14]
冒頭では「数・量・図形などに関する学問」としたが、数学の研究対象は、量 （数 ）[ 15] 構造 [ 16] 空間 [ 15] [ 17] [ 18] [ 19]
19世紀のヨーロッパで集合論 が生まれてからは「数学とは何か」ということがあらためて問い直されるようになり（数学基礎論 ）、数学の対象・方法・文化史 的な価値などについて研究する数理科学 も生まれた。
「数学の起源は人類が農耕 を始めたこととの関連が大きい」とも。農作物の分配管理や商取引のための計算 、農地管理のための測量 、そして農作業の時期を知る暦 法のための天文現象 の周期性の解明などである。これら三つの必要性は、そのまま数学の大きな三つの区分、構造・空間・変化のそれぞれの研究に大体対応しているといえよう。この時点では、例えば土木工事などの経験から辺の比が 3: 4: 5である三角形が直角三角形になることは知られていても、一般に直角三角形の辺の長さの比が c 2 = a 2 + b 2 （c , b , a は辺の長さ）になること（ピタゴラスの定理 ）は知られていなかった。数学が独立した学問でなく純粋な実用数学であった時代には、あたかも自然科学におけるデータのようにこれらの関係を扱い、例を多数挙げることで正しさを主張するといった手法でもさして問題視されなかった。しかし数は無限に存在するため、沢山の数を調べても完全に証明することはできない。数学が一つの学問として研究されるようになって以降は、論理を用いて真偽を判定する「数学的証明」が発達した。現代の数学でも数学的証明は非常に重視されている。
各国での歴史
現代における純粋数学の研究は主に代数学 ・幾何学 ・解析学 の三分野に大別される。また、これらの数学を記述するのに必要な道具を与える論理を研究する学問を数学基礎論 という。
基礎付け
数学の基礎を明確にすること、あるいは数学そのものを研究することのために、集合論 や数理論理学 そしてモデル理論 は発展してきた。フランスの数学者グループであるニコラ・ブルバキ は、集合論による数学の基礎付けを行い、その巨大な体系を『数学原論 』として著した。彼らのスタイルはブルバキ主義とよばれ、現代数学の発展に大きな影響をあたえた。個々の対象の持つ性質を中心とする研究方法である集合論とは別の体系として、対象同士の関係性が作るシステム に主眼を置くことにより対象を研究する方法として圏論 がある。これはシステムという具体性からコンピュータネットワーク などに応用される一方で、極めて高い抽象性を持つ議論を経て極めて具体的な結果を得るようなアブストラクト・ナンセンス などと呼ばれる形式性も持ち合わせている。
構造
数 や関数 ・図形 の中の点 などの数学的対象の間に成り立つさまざまな関係を形式化・公理 化して調べるという立場がダフィット・ヒルベルト やニコラ・ブルバキによって追求された。数の大小関係や演算、点の近さ遠さなどの関係がそれぞれ順序集合 や群 の構造、位相空間 などの概念として公理化され、その帰結が研究される。特に、様々な代数的構造の性質を研究する抽象代数学 は20世紀に大きく発展した。現代数学で取り扱われる構造は上のような基本的な構造にとどまらず、異なった種類の構造を併せて考える線型位相空間 や双曲群 などさまざまなものがある。空間
空間 の研究は幾何学 と共に始まる。初めは、それは身近な三次元におけるユークリッド幾何学 や三角法 であるが、後にはやはり、一般相対性理論 で中心的な役割を演ずる非ユークリッド幾何学 に一般化される。長い間未解決だった定規とコンパスによる作図 の問題は、最終的にガロア理論 によって決着が付いた。現代的な分野である微分幾何学 や代数幾何学 は幾何学を異なる方向に発展させた：微分幾何学では、座標 や滑らかさ、それに向きの概念が強調されるが、一方で代数幾何学では、代数方程式 の解となるような集合を幾何学的な対象とする。集合は数学の基礎を成す重要な概念であるが、幾何学的な側面を強調する場合、集合を空間 と言い、その集合の元を点と呼ぶ。群論 では対称性という概念を抽象的に研究し、空間と代数構造の研究の間に関連を与える。位相幾何学 は連続 という概念に着目することで、空間と変化の双方の研究に関係する。解析
測る量についての変化 を理解し、記述することは自然科学 の共通の主題であり、微分積分学 はまさにそのための最も有用な道具として発展してきた。変化する量を記述するのに使われる中心的な道具は関数 である。多くの問題は、とても自然に量とその変化の割合との関係になり、そのような問題を解くための手法は微分方程式 の分野で研究される。連続的な量を表すのに使われる数が実数 であり、実数の性質や実数に値をとる関数の性質の詳しい研究は実解析 として知られる。いくつかの理由から、複素数 に拡張する方が便利であり、それは複素解析 において研究される。関数解析学 は関数空間 （関数の集合に位相構造を持たせたもの）が興味の中心であり、この分野は量子力学 やその他多くの学問の基盤となっている。自然の多くの現象は力学系 によって記述され、カオス理論 では、多くの系が決定可能であるにもかかわらず予測不可能な現れ方をする、という事実を扱う。
計算機
人類がコンピュータ を最初に思いついたとき（それは実際に作られるより遥かに前のことだが）、いくつかの重要な理論的概念は数学者 によってかたち作られ、計算可能性理論 ・計算複雑性理論 ・情報理論 、そしてアルゴリズム情報理論 の分野に発展した。これらの問題の内の多くは計算機科学 において研究されている。離散数学 は計算機科学において有用な数学の分野の総称である。数値解析 は、丸め誤差を考慮に入れて、幅広い数学の問題について効率的にコンピュータの上で数値解を求める方法を研究する。また1950年代から2000年代[ 20] 計算科学 が急速に発展した。
統計
応用数学 において、重要な分野に統計学 が挙げられる。統計学はランダムな現象の記述や解析や予測を可能にし、全ての科学において、利用されている。この節には独自研究 が含まれているおそれがあります。 問題箇所を検証 し出典を追加 して、記事の改善にご協力ください。議論はノート を参照してください。（2016年10月 ）
以下の分野や項目の一覧は、数学に対する一つの有機的な見方を反映している。
便宜上の分類
量
数 —自然数 —整数 —偶数 —奇数 —小数 —分数 —素数 —有理数 —無理数 —実数 —虚数 —複素数 —四元数 —八元数 —十六元数 —超実数 —順序数 —基数 —濃度 —P進数 —巨大数 —整数列 —数学定数 —無限 変化
算術 —微分積分学 —ベクトル解析 —解析学 —微分方程式 —力学系 —カオス理論 —関数一覧 構造
抽象代数学 —数論 —代数幾何学 —群論 —モノイド —解析学 —位相幾何学 —線型代数学 —グラフ理論 —圏論 空間
解析幾何学 —位相幾何学 —幾何学 —三角法 —代数幾何学 —微分幾何学 —線型代数学 —フラクタル幾何 —図形 —図形の一覧 —ベクトル解析 有限数学
組合せ数学 —素朴集合論 —確率論 —統計学 —計算理論 —離散数学 —暗号理論 —グラフ理論 数理科学
計算科学 —数値解析 —確率論 —逆問題 —数理物理学 —数理経済学 —ゲーム理論 [ 21] 数理生物学 —数理心理学 —保険数理 —数理工学 有名な定理と予想
フェルマーの最終定理 —リーマン予想 —連続体仮説 —P≠NP予想 —ゴールドバッハの予想 —双子素数 —ゲーデルの不完全性定理 —ポアンカレ予想 —カントールの対角線論法 —ピタゴラスの定理 —中心極限定理 —微分積分学の基本定理 —代数学の基本定理 —四色定理 —ツォルンの補題 —オイラーの等式 —コラッツの問題 —合同数 —バーチ・スウィンナートン＝ダイアー予想 —ヒルベルトの23の問題 —スメイルの問題 —ソファ問題 基礎と方法
数理哲学 —直観主義 —構成主義 —数学基礎論 —集合論 —数理論理学 —モデル理論 —圏論 —証明 —数学記号の表 —逆数学
ヴィンチェンツォ・ガリレイ は音楽（音程学・音響学）の研究に数学的手法を導入し、その息子ガリレオ・ガリレイ は、父の影響を受け、物体の運動の研究（物理学 ）に数学的手法を導入し、物理学に大きな変革をもたらした。以後、（アイザック・ニュートン の『自然哲学の数学的諸原理 』でも、「数学的原理」としており、書物名、タイトルにも顕著にあらわれているが）数学の発展と物理学の発展は密接な関係にある。このほかの自然科学においても数学的な手法は基礎的な要素となっている。
数理モデル は数理モデルは理想化されており、往々にして実際との間には「ずれ」が生じる、という問題はあるが、それでも、そうした分野の研究に、俯瞰的な視点を与え、研究に大きな進歩や高い次元からの洞察をもたらすこともある。
工学の他、社会学や言語学など幅広い分野に応用されている。
数学教育により抽象的な考えを養うことができるとされ、他分野への恩恵があるという[ 22] [ 23]
初等教育 では「算数 」、中等教育 では「数学」と表記されている。
学習する分野は、10年ごとに文部科学省 から学習指導要領 が告示され、その基準に基づいて決定される。
※「ノーベル数学賞 」というものは存在しない。数学に関する賞としては（一般に）フィールズ賞が最高峰とされている。
^ 『大学事典』の原文：理学部 りがくぶ ［理学と理学部］ …
理学 を構成する
数学 ・物理学・化学・生物学・地学等に関する知識，研究方法，自然観などは人類の文化・文明の豊かさの基盤になっている。 … 一般に「科学的方法」といわれる理学の研究方法は自然科学にとどまらず，人文・社会科学の研究にも導入され，専門知識の体系化において根幹的な役割を果たしている。
[ 2] しぜん‐かがく ‥クヮガク【自然科学】
〘
名 〙 (natural science の訳語) 自然現象を対象とする学問の総称。
狭義 には自然現象そのものの法則を探求する
数学 、物理学、天文学、化学、生物学、地学などをさし、広義にはそれらの実生活への応用を目的とする工学、農学、医学などを含むこともある。
[ 3]
^ 『諳厄利亜語林大成 』における読み仮名は「アリトメテイーク」。
^ 『諳厄利亜語林大成 』では「算術又 數学」の意とされている。
^ 『諳厄利亜語林大成 』では mathematicks と綴られている。また読み仮名として「マテイマテイツキ」が当てられている。
^ ニッポニカ「数学」
^ a b 『大学事典』「理学部」
^ a b “『精選版 日本国語大辞典』「自然科学」 ”. コトバンク. 2021年7月4日 閲覧。
^ 『デジタル大辞泉』「数学」 ^ natural science ^ "Definition of mathematics" . lexico.com . Oxford University Press. 21 June 2022. 2022年6月21日閲覧 。^
三上義夫『日本数学史』東海書房 、1947年、22 頁。NDLJP :1063488 。
^
和算研究所 編『和算百科』佐藤健一 【編集代表】、丸善出版 、2017年、259頁。ISBN 9784621301746 。
^
『東京數學會社雑誌』第四十四號附録、1882年、24-25頁、doi :10.11429/sugakukaisya1877.1882.44sup_1 。
^ Mura, Roberta (Dec 1993). “Images of Mathematics Held by University Teachers of Mathematical Sciences”. Educational Studies in Mathematics 25 (4): 375–385 . ^ Tobies, Renate and Helmut Neunzert (2012). Iris Runge : A Life at the Crossroads of Mathematics, Science, and Industry9 . ISBN 3-0348-0229-3 . "It is first necessary to ask what is meant by mathematics in general. Illustrious scholars have debated this matter until they were blue in the face, and yet no consensus has been reached about whether mathematics is a natural science, a branch of the humanities, or an art form." ^ a b “mathematics, n. : Oxford English Dictionary ”. 2015年6月17日 閲覧。 “The science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis.” [リンク切れ
^ Kneebone, G.T. (1963). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey . Dover. pp. 4 . ISBN 0-486-41712-3 . "Mathematics ... is simply the study of abstract structures, or formal patterns of connectedness." ^ LaTorre, Donald R., John W. Kenelly, Iris B. Reed, Laurel R. Carpenter, and Cynthia R Harris (2011). Calculus Concepts: An Informal Approach to the Mathematics of Change . Cengage Learning. pp. 2 . ISBN 1-4390-4957-2 . "Calculus is the study of change—how things change, and how quickly they change." ^ Ramana (2007). Applied Mathematics . Tata McGraw–Hill Education. p. 2.10 . ISBN 0-07-066753-5 . "The mathematical study of change, motion, growth or decay is calculus." ^ Ziegler, Günter M. (2011). “What Is Mathematics?”. An Invitation to Mathematics: From Competitions to Research . Springer. pp. 7 . ISBN 3-642-19532-6 ^ “第1回「科学技術の第3の柱『計算科学』」（岩崎洋一 氏 ／ 筑波大学学長） ”. Science Portal - 科学技術の最新情報サイト「サイエンスポータル」 . 2022年2月16日 閲覧。 ^ 神取道宏「追悼 ジョン・ナッシュ : 数学者、そして数理科学者として」『経済セミナー』、日本評論社、[要ページ番号 頁、2015年。 ^ 創業手帳編集部. “駐日ウクライナ大使 セルギー・コルスンスキー／伊藤羊一｜IT大国ウクライナの強さと現状【前編】 ”. 起業・創業・資金調達の創業手帳 . 2022年5月25日 閲覧。 ^ Chang, Yu-Ping; Krawitz, Janina; Schukajlow, Stanislaw; Yang, Kai-Lin (2020-04). “Comparing German and Taiwanese secondary school students’ knowledge in solving mathematical modelling tasks requiring their assumptions” (英語). ZDM 52 (1): 59–72. doi :10.1007/s11858-019-01090-4 . ISSN 1863-9690 . http://link.springer.com/10.1007/s11858-019-01090-4 .
