迄今无可替代的反映20世纪数学面貌的点睛之作。 本书简介: 本书突出了这些特点:20世纪几乎不再有通晓全部数学的大数学家,1900年的数学家大会,希尔伯特的23个问题为整个数学的发展指明了前进的方向;20世纪30年代布尔巴基所倡导的结构数学是20世纪数学的主流和核心;数学在物理学、经济学、计算机科学方面的得到重要应用,并相互促进。 作者简介: 奥迪弗雷迪(P.Odifreddi),意大利数学家,著名科普作家,生于1950年,都灵大学数理逻辑教授,曾多年担任康奈尔大学访问教授,著有《经典递归论》等著作。主要译者胡作玄,中科院数学与系统科学院系统所研究员,专攻现代数学史。有大量文章和著译作。 目录: 前言 致谢 导论 1.基础 1.11920年代:集合 1.21940年代:结构 1.31960年代:范畴 1.41980年代:函数 2。纯粹数学 2.1数学分析:勒贝格测度(1902) 2.2代数:施坦尼茨对域的分类(1910) 2.3拓扑学:布劳威尔的不动点定理(1910)前言 致谢 导论 1.基础 1.11920年代:集合 1.21940年代:结构 1.31960年代:范畴 1.41980年代:函数 2。纯粹数学 2.1数学分析:勒贝格测度(1902) 2.2代数:施坦尼茨对域的分类(1910) 2.3拓扑学:布劳威尔的不动点定理(1910) 2.4数论:盖尔芳德的超越数(1929) 2.5逻辑:哥德尔不完全性定理(1931) 2.6变分法:道格拉斯的极小曲面(1931) 2.7数学分析:施瓦尔兹的广义函数论(1945) 2.8微分拓扑:米尔诺的怪异结构(1956) 2.9模型论:鲁滨逊的超实数(1961) 2.10集合论:科恩的独立性定理(1963) 2.11奇点理论:托姆的突变的分类(1964) 2.12代数:高林斯坦的有限群分类(1972) 2.13拓扑:瑟斯顿的3维曲面分类(1982) 2.14数论:怀尔斯的费马大定理的证明(1995) 2.15离散几何:黑尔斯解决开普勒问题(1998) 3.应用数学 3.1结晶学:比伯巴赫的对称群(1910) 3.2张量演算:爱因斯坦的广义相对论(1915) 3.3博弈论:冯·诺伊曼的极大极小定理(1928) 3.4泛函分析:冯·诺伊曼对量子力学的公理化(1932) 3.5概率论:柯尔莫哥洛夫公理化(1933) 3.6优化理论:丹齐格的单纯形法(1947) 3.7一般平衡理论:阿罗-德布鲁存在性定理(1954) 3.8形式语言理论:乔姆斯基的分类(1957) 3.9动力系统理论:KAM定理(1962) 3.10纽结理论:琼斯不变量(1984) 4.数学和计算机 4.1算法理论:图灵的刻画(1936) 4.2人工智能:香农对国际象棋对策的分析(1950) 4.3混沌理论:洛伦兹奇怪吸引子(1963) 4.4计算机辅助证明:阿佩尔-哈肯四色定理(1976) 4.5分形:芒德布罗集(1980) 5.未解问题 5.1算术:完美数问题(300B.C) 5.2复分析:黎曼假设(1859) 5.3代数拓扑:庞加莱猜想(1904) 5.4复杂性理论:P=NP问题(1972) 结束语 参考文献
|