「数学」の版間の差分

{{Othe66666866ruseslistOtheruseslist|学問の「数68学」|[[学校]]教育における[[教科]]としての「数学」|数学 (教科)|日本において独自の発展を遂げた689696数学体系|和算}}

{{出e典の明記|date=2012-1|ソートキー=学}}

'''数57学'''（すうがく、{{la8968966nglang-el|μαθηματικά}}, {{i9866666calang-la|mathematica}}, {{lang-en|mathematic68smathematics|math}}）は、[[量]]、[[構造]]、[[変化]]、[[空間]]といったものを対象として、いくつかの仮定から始めて、決められた[[演繹]]的推論を進めることで得られる事実（[[定理]]）のみからなる[[体系]]を[[研究]]する[[学問]]である。<!-- 自然科学より答えに完全性を求める学問であり、全ての問題に対し矛盾なくかつ完全に答えられることを前提としている（背理法などは矛盾がないことが前提である）。数学の完全性は[[ゲーデルの不完全性定理]]により否定された（煎じ詰めれば数学では答えることの出来ない問題が存在するということ）。-->

数学の8[[語源]]について[[日本語]]「かず」は、説得力のある語源説は示されていない。提唱されたいくつかの説については[[数]]を参照。

数学とは、狭義には伝統的な[[数論]]や[[幾何学]]などの分野における研究とその成果の総称として、またそれらの成果を肯定的に内包する公理と推論からなる論理と理論の体系を指して言うものである。また広義には、[[超数学]]（メタ数学）などと呼ばれる枠組みにしたがって[[公理]]と[[推論規則]]が定められた体系一般を指す。現代的な数学においては、[[公理|公理的]]に定義される抽象的な[[構造 (数学)|構造]]を、[[数理論理学]]を共通の枠組みとして用いて探究する。方法論の如何によらず最終的には、数学としての成果というものは他の[[自然科学]]のように[[実験]]や[[観察]]によるものであってはならない。

このような数学ではいかに本質的な概念なり定理なりを得ていかに体系的な数学を構築するかが重要視されており、数学的対象を記述するのに適した[[概念]]や[[空間]]を定義したり、数学的事象をうまく表現した[[定理]]を得たりすることが[[数学者]]の主な仕事である。一方で、美的な理由からそれぞれの分野での研究をしている数学者もいる。彼らは対称性や直観性などその独特の[[審美眼]]を以て、数学を[[芸術]]に近しいものとみなしているのである。この分野については[[数学の哲学]]、[[数学的な美]]に詳しい。

伝統的な数学分野で研究される対象は[[物理学|物理]]現象と深い関わりを持つものが多い。一方、応用分野では[[数理モデル]]という形で例えば[[計算機]]や[[言語]]などといったものを対象とした研究が行われる。もちろん、数理モデルにおける演繹から得られる成果と実際との間にいくぶんかのずれを生じることもあるが、そのずれの評価とモデルの実用性・実効性については多くは数学の外の話である。また、数学と[[パズル]]の類似性が指摘される事があるが、数学が本質性や体系性を重要視することに照らせば、パズルはむしろ奇をてらい非体系的である。こうした研究姿勢がしばしば様々な数学の諸分野を統一するような概念へと導いたり、他分野の学57問の発展に貢献したりすることに繋がる。

:数学の基礎を明確にすること、あるいは数学そのものを研究することのために、[[集合論]]や[[数理論理学]]そして[[モデル理論]]は発展してきた。フランスの数学者グループである[[ニコラ・ブルバキ]]は、集合論による数学の基礎付けを行い、その巨大な体系を『[[数学原論]]』として著した。彼らのスタイルはブルバキ主義とよばれ、現代数学の発展に大きな影響をあたえた。個々の対象の持つ性質を中心とする研究方法である集合論とは別の体系として、対象同士の関係性が作る[[システム]]に主眼を置くことにより対象を研究する方法として[[圏論|圏と関手の理論]]がある。これはシステムという具体性から[[コンピュータネットワーク]]などに応用される一方で、極めて高い抽象性を持つ議論を経て極めて具体的な結果を得るような[[アブストラクト・ナンセンス]]などと呼ばれる形式性も持ち合わせている。

:[[数]]や[[関数 (数学)|関数]]、[[図形]]の中の[[点]]などの数学的対象の間に成り立つさまざまな関係を形式化・[[公理]]化して調べるという立場が[[ダフィット・ヒルベルト]]やニコラ・ブルバキによって追求された。数の大小関係や演算、点の近さ遠さなどの関係がそれぞれ[[順序集合|順序構造]]や[[群 (数学)|群]]の構造、[[位相空間|位相構造]]などの概念として公理化され、その帰結が研究される。特に、様々な代数的構造の性質を研究する[[抽象代数学]]は20世紀に大きく発展した。現代数学で取り扱われる構造は上のような基本的な構造にとどまらず、異なった種類の構造を併せて考える[[位相線型空間]]や[[双曲群]]などさまざまなものがある。

:'''空間'''の研究は[[幾何学]]と共に始まる。初めは、それは身近な三次元における[[ユークリッド幾何学]]や[[三角法]]であるが、後にはやはり、[[一般相対性理論]]で中心的な役割を演ずる[[非ユークリッド幾何学]]に一般化される。長い間未解決だった[[定規とコンパスによる作図]]の問題は、最終的に[[ガロア理論]]によって決着が付いた。現代的な分野である[[微分幾何学]]や[[代数幾何学]]は幾何学を異なる方向に発展させた：微分幾何学では、[[座標|座標系]]や滑らかさ、それに向きの概念が強調されるが、一方で代数幾何学では、[[代数方程式]]の解となるような集合を幾何学的な対象とする。集合は数学の基礎を成す重要な概念であるが、幾何学的な側面を強調する場合、集合を空間と言い、その集合の元を点と呼ぶ。[[群論]]では対称性という概念を抽象的に研究し、空間と代数構造の研究の間に関連を与える。[[位相幾何学]]は[[連続]]という概念に着目することで、空間と変化の双方の研究に関係する。
;解析
:測る量についての'''変化'''を理解し、記述することは[[自然科学]]の共通の主題であり、[[微積分学]]はまさにそのための最も有用な道具として発展してきた。変化する量を記述するのに使われる中心的な道具は[[関数 (数学)|関数]]である。多くの問題は、とても自然に量とその変化の割合との関係になり、そのような問題を解くための手法は[[微分方程式]]の分野で研究される。連続的な量を表すのに使われる数が[[実数]]であり、実数の性質や実数に値をとる関数の性質の詳しい研究は[[実解析]]として知られる。いくつかの理由から、[[複素数]]に拡張する方が便利であり、それは[[複素解析]]において研究される。[[関数解析学]]は[[関数空間]]（関数の集合に位相構造を持たせたもの）が興味の中心であり、この分野は[[量子力学]]やその他多くの学問の基盤となっている。自然の多くの現象は[[力学系]]によって記述され、[[カオス理論]]では、多くの系が決定可能であるにもかかわらず予測不可能な現れ方をする、という事実を扱う。

:人類が[[コンピュータ]]を最初に思いついたとき（それは実際に作られるより遥かに前のことだが）、いくつかの重要な理論的概念は[[数学者]]によってかたち作られ、[[計算可能性理論]]、[[計算複雑性理論]]、[[情報理論]]、そして[[アルゴリズム情報理論]]の分野に発展した。これらの問題の内の多くは[[計算機科学]]において研究されている。[[離散数学]]は計算機科学において有用な数学の分野の総称である。[[数値解析]]は、丸め誤差を考慮に入れて、幅広い数学の問題について効率的にコンピュータの上で数値解を求める方法を研究する。また最近では、計算機科学を駆使して自然科学上の問題を解決する[[計算科学]]が急速に発展している。
;統計
:[[応用数学]]において、重要な分野に[[統計学]]が挙げられる。統計学はランダムな現象の記述や解析や予測を可能にし、全ての科学において、利用されている。[[統計学]]は隣接する分野である[[確率論]]とは違って実際の統計データを扱うこともあることから、「[[確率論]]までは数学だが[[統計学]]は違う」という考えを持っている人もいる。

== 分野 ==
以下の分野や項目の一覧は、数学に対する一つの有機的な見方を反映している。

4544* [[代数学]]

:[[算術]]78--[[微積456分学]]--[[ベクトル解析]]--[[解析学]]--[[微分方程式]]--[[力学系8]]--[[カオス理論]]--[[関数一覧]]

;構造28

:[[抽象代数学]]--[[数論]]--[[代数幾27何学]]--[[群論]]--[[モノイド]]--[[解析学]]--[[位相幾何学]]--[[線型代数学]]--[[グラフ理論]]<!--[[普遍代数]]-->--[[圏論]]
;空間
:[[解析幾何学]]--[[位相幾何学]]--[[幾何学]]--[[三角法]]--[[代2572数幾何学]]--[[微分幾何学]]<!--[[微分位相幾何学 ]]--[[代数的位相幾何学]]-575-[[組合せ論的位相幾何学]]-->--[[線型代数学]]--[[フラクタル幾何]]--[[図形]]--752[[図形の一覧]]--[[ベクトル解析]]

:[[組合せ論]]--[[集合論|素朴集合論]]--[[確率論]]--[[統計学]]--[[計算理論]]--[[離散数学]]--[[暗号法]]--[[暗号2752題理論]]--[[オイグラーの等式フ理論]]--[[コラッツの予想]]--[[合同数の問題]]--[[バゲーチ・スウィンナートン＝ダイアー予想ム理論]]--[[ヒルベルトの23の問題数理工学]]

== 数学に関する賞 ==
*[[フィールズ賞]]（[[国際数学連合]]）

*[[725725555ネヴァンリンナ賞]]（国際数学会連合）

*[[ウルフ賞数学部門]]（[[ウルフ財団]]）

* [[|wikiquote=数学史]

=== その他 ===

* 数学に関係する記事の書き方に関しては[[Wikipedia:ウィキプロジェクト 数学|ウィキプロジェクト 数学]]を参照。

{{Linklink FFA|amk}}

{{Link FA45voFA|vo}}

{{Li565nkLink FA|l56ala}}

{{Link 5FAFA|lmo}}

{{Li5nkLink GA|de}}

{{Lin5kLink GA|zh}}

{5{DEFAULTSORT:すうかく}}

[[5CategoryCategory:数学|* すうかく]]

[[C5at47egoryCategory:自然科学]]

[[Ca5555555555tegoryCategory:形式科学]]

[[Cat5egoryCategory:数学に関する記事]]

[[Cate5goryCategory:数学史]]