数学の年表
年表 > 中世 > 現代 > 20世紀

1900年 — ダフィット・ヒルベルトが未解決問題を扱った書籍、ヒルベルトの23の問題を出版する。
1901年 — エリ・カルタンが外微分を発明する。
1903年 — カール・ルンゲが高速フーリエ変換のアルゴリズムを示す。
1903年 — エトムント・ランダウが素数定理により簡明な証明を与える。
1908年 — エルンスト・ツェルメロが集合論を公理体系化（公理的集合論）し、カントールの矛盾の回避に成功する。
1908年 — ヨシップ・プレメリ（英語版）が与えられた一価群を用いた微分方程式の存在に関するリーマン問題を解決、ソホツキー＝プレメリ公式を用いる。
1912年 — ライツェン・エヒベルトゥス・ヤン・ブラウワーがブラウワーの不動点定理を提出する。
1912年 — ヨシップ・プレメリがフェルマーの最終定理のnが5の指数の場合の簡明な証明を出版する。
1919年 — ヴィーゴ・ブルンが双子素数に対するブルン定数 B2を定義する。
1928年 — ジョン・フォン・ノイマンがゲーム理論の原理を考案し、ミニマックス法を証明する。
1930年 — カジミェシュ・クラトフスキがthree-cottage problemに解がないことを証明する。
1931年 — クルト・ゲーデルがゲーデルの不完全性定理を証明し、数学のあらゆる公理系は自己の不完全性もしくは無矛盾性を証明できないことを示す。
1931年 — ジョルジュ・ド・ラームがコホモロジーと特性類に関する理論を創始する。
1933年 — カロル・ボルサック（英語版）とスタニスワフ・ウラムがボルサック・ウラムの定理（英語版）（ボルサック・ウラムの対蹠点定理）を提出する。
1933年 — アンドレイ・コルモゴロフが自著「確率論の基礎概念」を出版し、測度論に基づいた確率の公理について述べる。
1940年 — クルト・ゲーデルが連続体仮説と選択公理は両者とも集合理論の通常の公理では証明不可能であることを示す。
1942年 — ゴードン・ダニエルソン（英語版）とコルネリウス・ランチョスが高速フーリエ変換のアルゴリズムを開発する。
1943年 — ケネス・レーヴェンベルグ（フランス語版）が非線形最小二乗法を提案する。
1945年 — スティーヴン・コール・クリーネが実現可能性を導入する。
1945年 — ソーンダース・マックレーンとサミュエル・アイレンベルグが圏論を創始する。
1945年 — ノーマン・スティーンロッド（英語版）とサミュエル・アイレンベルグがコホモロジーに関するアイレンベルク＝スティーンロッド公理系（英語版）を与える。
1948年 — ジョン・フォン・ノイマンが自己複製型コンピュータを数学的に研究する。
1949年 — ジョン・フォン・ノイマンが電子計算機ENIACを用いて円周率Πを2,037桁まで計算する。
1950年 — スタニスワフ・ウラムとジョン・フォン・ノイマンがセル・オートマトン力学系を考案する。
1953年 — ニコラス・メトロポリス（英語版）が熱力学の焼きなまし法アルゴリズムのアイデアを導入する。
1955年 — ハロルド・スコット・マクドナルド・コクセターらが一様多面体の完全なリストを出版する。
1955年 — エンリコ・フェルミ、ジョン・パスタ（英語版）、スタニスワフ・ウラムが非線形格子系のエネルギー分配問題を電気計算機で数値的に研究し、エネルギーの再帰現象を発見する（フェルミ・パスタ・ウラムの問題）。
1956年 — ノーム・チョムスキーが形式言語のヒエラルキーを記述する。
1958年 — グロタンディーク＝リーマン＝ロッホの定理（英語版）に関するアレクサンドル・グロタンディークの証明が出版される。
1960年 — アントニー・ホーアがクイックソートのアルゴリズムを発明する。
1960年 — アーヴィング・リード（英語版）とギュスターヴ・ソロモン（英語版）がリード・ソロモン符号を提出する。
1961年 — ダニエル・シャンクス（英語版）とジョン・レンチ（英語版）が逆正接関数の恒等性を用い、電子計算機IBM-7090を使用して円周率πを小数10万位まで求める。
1962年 — ドナルド・マーコート（英語版）がレーヴェンベルグ＝マーコート・アルゴリズムを提案する。
1963年 — ポール・コーエンが強制法を用いて、通常の集合論の公理系からは連続体仮説と選択公理いずれも証明不可能であることを示す。
1963年 — マーティン・クルースカル（英語版）とノーマン・ザブスキー（英語版）が連続極限におけるフェルミ・パスタ・ウラムの問題を解析的に研究し、KdV方程式がこのシステムを統御していることが発見される。
1963年 — 気象学者で数学者のエドワード・ローレンツが大気の乱流を単純化した数学モデルに対する解に関する書籍を出版する。これは一般にカオス的な振る舞いやストレンジアトラクター、ローレンツ・アトラクター、さらにはバタフライ効果として知られる。
1965年 — イランの数学者ロトフィ・ザデーが古典的集合論概念の拡張としてファジィ集合を考案する。
1965年 — マーティン・クルースカルとノーマン・ザブスキーがプラズマにおいて衝突する孤立波を数値的に研究し、孤立波は衝突後散乱しないことを発見する。
1965年 — ジェイムズ・クーリー（英語版）とジョン・テューキーが高速フーリエ変換（FFT）のアルゴリズムを示す。
1966年 — E. J. Putzerが行列の多項式化により、行列の冪乗を算出する2つの方法を考案する。
1966年 — アブラハム・ロビンソンが超準解析を創始する。
1967年 — ロバート・ラングランズが数論や表現論に関する予想網、ラングランズ・プログラムを定式化する。
1968年 — マイケル・アティヤとイサドール・シンガーが楕円型微分作用素の指数に関するアティヤ＝シンガーの指数定理を証明する。
1973年 — ロトフィ・ザデーがファジィ論理の分野を創始する。
1975年 — ブノワ・マンデルブロがフラクタルに関する論文、「Les objets fractals, forme, hasard et dimension」を提出する。
1976年 — ケネス・アッペル（英語版）とヴォルフガング・ハーケンがコンピュータを使って四色定理を証明する。
1981年 — リチャード・P・ファインマンが「コンピュータを用いた物理のシミュレート」 という講演を行う。 （1980年にユーリイ・マニンが著書「可算と不加算」（ロシア語）において量子コンピュータに関する同じアイデアを提案していた。）
1983年 — ゲルト・ファルティングスがモーデル予想を証明する。これにより、フェルマー方程式 xn + yn = znに整数解が存在するならばそれは有限個にすぎないことが示された。
1983年 — 数百人の数学者と30年の時を費やした共同作品である有限単純群の分類が完成する。
1985年 — ルイ・ド・ブランジュがド・ブランジュの定理（ビーベルバッハ予想）を証明する。
1987年 — 金田康正、デヴィッド・ハロルド・ベイリー（英語版）、ジョナサン・ボーウェイン（英語版）、ピーター・ボーウェイン（英語版）が楕円積分に関する反復型モジュラー方程式近似を用い、スーパーコンピュータのNECのSX-2を使用して円周率Πの値を1億3400万桁まで求める。
1991年 — アラン・コンヌとジョン・ロット（英語版）が非可換幾何学を創始する。
1992年 — デイヴィッド・ドイッチュとリチャード・ジョザ（英語版）がドイッチュ・ジョザのアルゴリズムを示す。これはいかなる決定論的な古典的アルゴリズムよりも指数的に早く収束する量子アルゴリズム（英語版）の初の例となった。
1994年 — アンドリュー・ワイルズが谷山・志村予想を部分的に解決し、フェルマーの最終定理の証明を与える。
1994年 — ピーター・ショアが素因数分解に関する量子アルゴリズム（英語版）であるショーのアルゴリズムを定式化する。
1998年 — トーマス・キャリスター・ヘイルズ（英語版）がケプラー予想を証明する。
1999年 — 谷山・志村予想が完全に解決される。
2000年 — クレイ数学研究所が7つの古典的な数学の重要な未解決問題をミレニアム懸賞問題として提示する。