改变世界的科学:数学的足迹

王元，著名数学家，中国科学院院士。1930年4月生于浙江兰溪，1952年毕业于浙江大学数学系。自1956年起，在哥德巴赫猜想的研究中成果卓著，1982年与陈景润、潘承洞共同获得国家自然科学奖一等奖。自1958年起，与华罗庚合作研究数论方法近似分析中的应用（现称“华—王方法”），成果获1990年陈嘉庚物质科学奖。此外还获得何梁何利奖（1994）、华罗庚数学奖（1999）等重大科技奖励。

王元院士对数学科普倾注了大量心血，1994年出版科普代表作《华罗庚》，此书2002年获得首届“吴大猷科普著作金签奖”。王元院士非常关心科学发展的历程，是《科学编年史》（席泽宗主编）一书的副主编。

约公元前3000年

埃及象形数字形成/1

约公元前2400一前1600年美索不达米亚数学形成/2约公元前1850一前1700年两本埃及数学纸草书写成/3约公元前14世纪

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

商高掌握勾三股四径五/6

约公元前600年

泰勒斯引入命题证明的思想17约公元前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为并E

约公元100年

门纳劳斯写成《球面学》/ 32

约公元250年

丢番图写成《算术》/ 33

公元263年

刘徽注《九章算术》/ 34

约公元300年

《孙子算经》成书/ 36

约公元320年

帕普斯写成《数学汇编》/38

约公元5世纪下半叶

祖冲之计算出圆周率的高精度值/40

约公元5世纪下半叶

祖冲之和祖畩给出祖畩原理/41

公元499年

《阿耶波多文集》成书/42

公元628年

婆罗摩笈多写成《婆罗摩历算书》/43

公元656年

李淳风等为“算经十书”作注/44

约公元700年

印度形成包括零的数码及相应的十进位值制记数法/46

……

施瓦兹创立广义函数/ 2141946年

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

1948年

维纳创立控制论/ 217

1948年

香农创立信息论/ 2191950年

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

1960年

鲁宾逊创立非标准分析/ 222

1963年

科恩证明连续统假设与ZF公理系统

相互独立/ 224

1965年

扎德创立模糊数学/2261明要

1966年

陈景润等推进哥德巴赫猜想的研究/

228

1971年

库克提出NP完全性问题/ 230

1975年

芒德布罗创立分形几何/ 232

1976年

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

1976年

丘成桐证明卡拉比猜想 / 236

1977年

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

1978年

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

1980年

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

1994年

怀尔斯证明费马大定理/ 243

图片来源/246

《数学的足迹》是一部以编年体形式呈现的、面向青少年的科学普及读物，它以时间为主线，图文并茂，叙述了人类历史上数学的重大科学发现，普及科学知识，彰显科学精神，重在介绍重大的数学发现，以及数学家在科学发现上的个人魅力与发现故事。