譯者序
前言
致謝
導(dǎo)論
第1章 基礎(chǔ)
1.1 1920年代：集合
1.2 1940年代：結(jié)構(gòu)
1.3 1960年代：范疇
1.4 1980年代：函數(shù)
第2章 純粹數(shù)學(xué)
2.1 數(shù)學(xué)分析：勒貝格測(cè)度（1902）
2.2 代數(shù)：施泰尼茨對(duì)域的分類（1910）
2.3 拓?fù)鋵W(xué)：布勞威爾的不動(dòng)點(diǎn)定理（1910）
2.4 數(shù)論：蓋爾芳德的超越數(shù)（1929）
2.5 邏輯：哥德爾的不完全性定理（1931）
2.6 變分法：道格拉斯的極小曲面（1931）
2.7 數(shù)學(xué)分析：施瓦茲的廣義函數(shù)論（1945）
2.8 微分拓?fù)洌好谞栔Z的怪異結(jié)構(gòu)（1956）
2.9 模型論：魯賓遜的超實(shí)數(shù)（1961）
2.10 集合論：科恩的獨(dú)立性定理（1963）
2.11 奇點(diǎn)理論：托姆對(duì)突變的分類（1964）
2.12 代數(shù)：高林斯坦的有限群分類（1972）
2.13 拓?fù)鋵W(xué)：瑟斯頓對(duì)三維曲面的分類（1982）
2.14 數(shù)論：懷爾斯證明費(fèi)馬大定理（1995）
2.15 離散幾何：黑爾斯解決開普勒問題（1998）
第3章 應(yīng)用數(shù)學(xué)
3.1 結(jié)晶學(xué)：比伯巴赫的對(duì)稱群（1910）
3.2 張量演算：愛因斯坦的廣義相對(duì)論（1915）
3.3 博弈論：馮·諾伊曼的極小極大定理（1928）
3.4 泛函分析：馮·諾伊曼對(duì)量子力學(xué)的公理化（1932）
3.5 概率論：柯爾莫哥洛夫的公理化（1933）
3.6 優(yōu)化理論：丹齊格的單純形法（1947）
3.7 一般均衡理論：阿羅一德布魯存在性定理（1954）
3.8 形式語言理論：?jiǎn)棠匪够姆诸悾?957）
3.9 動(dòng)力系統(tǒng)理論：KAM定理（1962）
3.10 紐結(jié)理論：瓊斯的不變量（1984）
第4章 數(shù)學(xué)與計(jì)算機(jī)
4.1 算法理論：圖靈的刻畫（1936）
4.2 人工智能：香農(nóng)對(duì)國(guó)際象棋對(duì)策的分析（1950）
4.3 混沌理論：勞倫茨的奇怪吸引子（1963）
4.4 計(jì)算機(jī)輔助證明：阿佩爾與哈肯的四色定理（1976）
4.5 分形分析：芒德布羅集（1980）
第5章 未解問題
5.1 數(shù)論：完美數(shù)問題（公元前300年）
5.2 復(fù)分析：黎曼假設(shè)（1859）
5.3 代數(shù)拓?fù)洌糊嫾尤R猜想（1904）
5.4 復(fù)雜性理論：P=NP問題（1972）
結(jié)束語
參考文獻(xiàn)
索引
譯后記