改变世界的科学丛书 数学的足迹PDF电子书下载

约公元前3000年 埃及象形数字形成 1

约公元前2400—前1600年 美索不达米亚数学形成 2

约公元前1850—前1700年 两本埃及数学纸草书写成 3

约公元前14世纪 甲骨文中出现十进位值制记数法 5

约公元前11世纪 商高掌握勾三股四径五 6

约公元前600年 泰勒斯引入命题证明的思想 7

约公元前540年 毕达哥拉斯学派证明勾股定理，并发现不可公度量 8

约公元前500年 《绳法经》成书 10

约公元前460年 智人学派提出几何作图三大问题 11

约公元前450年 芝诺提出关于运动的悖论 12

约公元前430年 安蒂丰提出穷竭法 14

约公元前387年 柏拉图创办雅典学园 15

约公元前370年 欧多克斯创立比例论 17

公元前4世纪中后期 亚里士多德建立形式逻辑 19

约公元前300年 欧几里得写成《几何原本》 21

公元前3世纪中后期 阿基米德取得一系列数学成果 23

约公元前225年 阿波罗尼乌斯写成《圆锥曲线论》 26

约公元前170年 《算数书》成书 27

约公元前100年 《周髀算经》成书 29

约公元100年 《九章算术》成书 30

约公元100年 门纳劳斯写成《球面学》 32

约公元250年 丢番图写成《算术》 33

公元263年 刘徽注《九章算术》 34

约公元300年 《孙子算经》成书 36

约公元320年 帕普斯写成《数学汇编》 38

约公元5世纪下半叶 祖冲之计算出圆周率的高精度值 40

约公元5世纪下半叶 祖冲之和祖暅给出祖暅原理 41

公元499年 《阿耶波多文集》成书 42

公元628年 婆罗摩笈多写成《婆罗摩历算书》 43

公元656年 李淳风等为“算经十书”作注 44

约公元700年 印度形成包括零的数码及相应的十进位值制记数法 46

约公元820年 花拉子米写成《代数学》和《算法》 47

约1050年 贾宪写成《黄帝九章算术细草》 50

1150年 婆什迦罗第二写成《莉拉沃蒂》和《算法本源》 51

1202年 斐波那契写成《计算之书》 54

1247年 秦九韶写成《数书九章》 56

约1250年 图西写成《论完全四边形》 57

1303年 朱世杰写成《四元玉鉴》 58

约1427年 卡西写成《算术之钥》等 60

1464年 雷格蒙塔努斯写成《论各种三角形》 61

1482年 《几何原本》拉丁文译本出版 63

1545年 卡尔丹《大术》出版 64

1572年 邦贝利《代数学》前三卷出版 67

1591年 韦达《分析方法入门》出版 69

1592年 程大位《算法统宗》出版 71

1607年 徐光启与利玛窦合作翻译的《几何原本》前6卷出版 73

1614年 纳皮尔《奇妙的对数规则的说明》出版 75

1635年 卡瓦列里提出不可分量原理 77

1637年 笛卡儿正式创立解析几何学 79

1637年 费马大定理问世 83

1655年 沃利斯《无穷算术》出版 85

1657年 惠更斯《论骰子游戏的推理》出版 87

1666—1671年 牛顿完成一系列关于微积分的论文 89

1684年和1686年 莱布尼茨发表第一篇微分学论文和第一篇积分学论文 91

1697年 伯努利解决最速降线问题 93

1713年 伯努利《猜度术》出版 95

1734年 贝克莱主教抨击牛顿等人的微积分学 97

1736年 欧拉解决柯尼斯堡七桥问题 100

1748年 欧拉《无穷小分析引论》出版 102

1777年 布丰提出投针问题 105

1797年 拉格朗日《解析函数论》出版 106

1797年 韦塞尔首创复数的几何表示 108

1799年 蒙日《画法几何学》出版 110

1799年 高斯给出代数基本定理的第一个证明 112

1801年 高斯《算术研究》出版 115

1807年 傅里叶级数提出 117

1812年 拉普拉斯《概率的分析理论》出版 119

1814年 柯西开创复变函数论 121

1821—1823年 柯西初步完成分析学的严格化 123

1828年 高斯《关于曲面的一般研究》出版 125

1829年 罗巴切夫斯基《论几何原理》发表 128

1829—1832年 伽罗瓦确立群论基本概念 131

1841—1856年 魏尔斯特拉斯使数学分析严格化 134

1843年 哈密顿发现四元数 135

1844年 库默尔创立理想数理论 137

1849—1854年 凯莱提出抽象群概念 138

1854年 黎曼几何学创立 140

1854年 布尔创建逻辑代数 142

1855年 凯莱定义矩阵的基本概念与运算 144

1859年 黎曼假设提出 145

1859年 《代微积拾级》和《代数学》中译本出版 147

1863年 狄利克雷《数论讲义》出版 149

1866年 切比雪夫提出关于独立随机变量序列的大数定律 150

1872年 克莱因提出《埃尔朗根纲领》 152

1872年 实数理论确立 155

1873年 埃尔米特证明e是超越数 157

1874年 康托尔创立集合论 158

1881—1886年 庞加莱创立微分方程定性理论 161

1882年 林德曼证明π是超越数 163

1888—1893年 李《变换群理论》出版 164

1895—1904年 庞加莱创立组合拓扑学 166

1896年 闵可夫斯基《数的几何》出版 168

1896年 阿达马和瓦莱-普桑证明素数定理 170

1897年 第一届国际数学家大会召开 171

1898年 波莱尔奠定测度论基础 173

1899年 希尔伯特《几何基础》出版 174

1900年 希尔伯特提出23个著名数学问题 176

1902年 勒贝格积分建立 182

1903年 罗素悖论提出 184

1906—1912年 马尔可夫过程建立 186

1912年 希尔伯特《线性积分方程一般理论原理》出版 188

1920年代—1930年代 费希尔等开创现代统计方法 190

1921年 诺特奠定现代抽象代数学基础 192

1922年 巴拿赫引进线性赋范空间 194

1931年 哥德尔提出不完备性定理 196

1933年 科尔莫戈罗夫建立概率论公理化体系 198

1936年 第一届菲尔兹奖颁发 201

1939年 布尔巴基学派《数学原理》开始出版 204

1939年 坎托罗维奇创立线性规划 206

1944年 陈省身给出高斯一博内公式的内蕴证明 208

1944年 冯·诺伊曼、摩根斯坦奠定博弈论理论体系 210

1944年 伊藤清创立随机分析 212

1945年 施瓦兹创立广义函数 214

1946年 韦伊《代数几何学基础》出版 215

1948年 维纳创立控制论 217

1948年 香农创立信息论 219

1950年 纳什提出非合作博弈理论 220

1960年 鲁宾逊创立非标准分析 222

1963年 科恩证明连续统假设与ZF公理系统相互独立 224

1965年 扎德创立模糊数学 226

1966年 陈景润等推进哥德巴赫猜想的研究 228

1971年 库克提出NP完全性问题 230

1975年 芒德布罗创立分形几何 232

1976年 阿佩尔和哈肯证明四色定理 234

1976年 丘成桐证明卡拉比猜想 236

1977年 吴文俊发展定理机器证明 238

1978年 第一届沃尔夫数学奖颁发 239

1980年 弗里德曼证明4维庞加莱猜想 240

1994年 怀尔斯证明费马大定理 243

图片来源 246