改变历史的数学名著
霍金编评数学史上
17位数学家的
31部经典著作
从欧几里得到图灵
一幅展现2500年
数学进化史的鲜活画卷
长按二维码购买
我们认识世界的方式的变革总是与数学思想的变革携手并进。阅读数学家特别是数学大师们的原始著述, 是了解整个人类文明史和思想史的重要的、不可或缺的途径。这部巨型文集追溯了2500 年间17 位数学家31 篇里程碑式的著作。
选择的权重放在引起思想变革的突破性发展上, 因而使本书在描绘数学进化图像的同时, 展开了一幅人类思想变革的历史画卷。
霍金为每一位入选的数学家撰写了传记, 加插了大量评注。
大师选大师, 名家释名家。
一卷在握, 众星在手。
读读大师, 走近数学, 走向科学！
对于广大的科学爱好者来说, 本书是值得珍藏的数学青花瓷, 一篇篇原汁原味的数学原著, 会带给你鉴赏艺术珍品一般的享受。
内容简介
数学已经与物理科学的发展密不可分。然而数学作为一门独立的学科还有其自身的目标。魏斯特拉斯、康托、布尔、图灵、哥德尔和所有其他数学家的工作都是建立在可远朔到古巴比伦人和希腊人的先哲成就的基础之上，而他们的工作本身又滋养了当代学者们所发展的新理论。
从欧几里得几何到牛顿的微积分、拉普拉斯的概率论和布尔代数，这部出色的数学经典通过原汁原味的数学论证与结果，使读者得以窥探天才的心灵。本书同时描绘了一幅数学进化的图像——帮助读者深刻理解当代技术的真正基础。
霍金指出：如果说古代世界创造了物化的奇迹（例如金字塔），那么现代世界的奇迹则是智力的创造。本书以二卷之简，荟萃了最光辉的心智成果，论述了这些杰作的影响和带来的冲击。
霍金为每一位入选的数学家撰写了传记, 这些传记不仅介绍了数学家的生平, 更重要的是包含了对相关著作的影响和意义的独到而精辟的分析。在多数文献中, 霍金加了大量评注, 这些评注或诠释疑难, 或阐幽发微,对读者阅读理解艰深的原文大有启迪。
作者简介
史蒂芬·霍金（1942-2018）当代最著名的科学家。他以畅销书《时间简史》、《果壳中的宇宙》等而闻名环宇。媒体将他誉为“当今世界最智慧的人”和“爱因斯坦，牛顿和伽利略的科学传人”。
长按二维码或点击阅读原文购买
前言
我们很幸运生活在一个继续发现的时代。就像发现美洲新大陆一样——你只能发现一次。我们是生活在一个发现自然基本定律的时代。
——美国物理学家 理查·费曼1964年
本书摘选了数学史上最重要的31部典范之作，它们汇成了对那些推进人类认识世界并为现代科学技术开山铺路的数学家们的赞歌。
许多世纪以来，数学家们的努力帮助人类达到对自然的伟大洞察，诸如认识到地球是圆的、使苹果落地和使重物运动的是同一种力、空间是有限的和非永恒的、时空相互联系并因物质和能量而弯曲，以及未来只能或然地确定。我们认识世界的方式的变革总是与数学思想的变革携手并进。没有笛卡儿的解析几何和他本人发明的微积分，牛顿决不可能建立其力学定律；没有福里叶的方法和由高斯、柯西引领的微积分和复变函数论研究，很难想象电动力学和量子理论的发展—正是勒贝格的测度理论使冯诺依曼得以奠定量子力学的严格基础；同样，不借助黎曼的几何思想，爱因斯坦也不可能完成他的广义相对论；而事实上，如果没有拉普拉斯的概率统计概念，整个近代科学就不可能如此影响巨大（如果确有影响的话）。
迄今还没有哪一种智力探索比数学研究对物理科学更为重要。然而数学不仅仅是科学的工具和语言。数学还有它自身的目的，长期以来，数学一直影响着我们的世界观。魏斯特拉斯提出了崭新的函数连续性概念；康托的工作革新了人们对无限的认识；布尔的《思维规律》揭示了逻辑作为一种程序系统服从与代数相同的规律，从而阐明了思维的本质，最终能够在一定程度上实现思维的机械化，即现代数字计算机的诞生。早在有可能在计算机上进行熟练的计算之前很久，图灵就阐明了数值计算的威力和局限哥德尔证明了一条使许多哲学家和所有其他相信绝对真理的人大感困惑的定理：任何一个足够复杂的逻辑系统（例如算术）一定存在一个既不能证明也不能证伪的命题。更糟糕的是，他同时还证明了：一个系统在逻辑上是否相容的问题不可能由该系统本身获得证明。
这部引人入胜的文集展示了所有这类突破性的发展、25个世纪来数学的核心思想，通过原始文献来追踪古往今来数学思想的进化与变革。
本书选载的第一篇文献是公元前300年左右欧几里得的著作，不过早在公元前3500年以前埃及人和巴比伦人就已经发展了令人印象深刻的数学计算能力。埃及人运用这种技能建造了伟大的金字塔并实现了其它令人惊异的目标，然而埃及人的计算缺乏某种后来被认为对数学来说至关重要的品质，即严格性。例如，古代埃及人将一个圆的面积等同于一个边长为其直径的8/9的正方形的面积。这一方法相当于取数学常数的值为256/81。一方面，这是了不起的，因为它与精确值的误差还不到百分之零点五。但另一方面，这一结果是完全错误的。为什么要在乎百分之零点五的误差呢？因为埃及人的近似值忽视了的真值的一个深刻而基本的性质：它根本不可能写成人和分数的形式。这是一个原则问题，与任何纯粹的数量精确性问题无关。的无理性直到19世纪后半叶才被证明，早期希腊人确实发现了不能用分数表示的数，这使他们感到困惑和震惊。希腊人的高明之处是在于：他们认识到数学中原则的重要性，认识到数学本质上是一门从一套概念和法则出发、严格地推导出精确结果的学科。
公元前300年左右，亚历山大城欧几里得的《原本》集希腊几何知识之大成。在随后几个世纪里，希腊人在几何与代数两个领域里都作出了重大的推进。阿基米德可谓古代世界最伟大的数学家，他深入研究几何图形的性质并创造了求面积和体积以及计算新的近似值的天才方法。另一位亚历山大数学家丢番图考察了代数问题中文字和数字混杂的情况，指出抽象可以使数学极大地简化。因此丢番图应该是在代数中引进符号的第一人。一千多年以后，法国人笛卡儿将代数与几何两大领域结合起来而开创了解析几何。笛卡儿的工作为牛顿发明微积分铺平了道路，微积分与解析几何共同标志着科学研究的崭新方法。自牛顿时代以来，数学创新的步伐始终激动人心，数学的基础学科代数、几何与微积分（或函数理论）相互渗透、相互滋养，并引发在诸如概率论、数论和热的理论等各种不同领域的深入应用。随着数学的成熟，它所提出的问题也越来越深刻：本书选录的最后两位思想家哥德尔和图灵也许提出了最深刻的问题——什么是可知？数学的未来发展将一如既往，肯定会（直接或间接地）影响我们的生活方式和思维方式。古代世界创造了物化的奇迹，例如埃及的金字塔。而正如本书所阐明的，现代世界的奇迹则是我们自身的理解力。
目录
致谢/
译者序/
引言/
欧几里得(约前325—前265)
生平和成果/1
《原本》节选/6
几何基础———定义、公设、公理及命题47 (勾股定理推导) /6
欧多克索斯的比例论———定义和命题/24
数论原理———定义和命题/68
命题20: 无限的素数摇命题36: 偶完全数/109
摇可公度量和不可公度量/112
阿基米德(前287—前212)
摇生平和成果/127
《阿基米德著作》节选/133
论球和圆柱玉/133
论球和圆柱域/171
圆的度量/198
沙粒的计算/205
解决力学问题的方法———致厄拉多塞/215
丢番图(公元3 世纪)
生平和成果/246
《亚历山大的丢番图, 希腊代数史研究》节选/252
问题8—35/252
问题5—21/261
问题1—29/270
勒内·笛卡儿(1596—1650)
生平和成果/306
《勒内·笛卡儿的几何》/313
伊萨克·牛顿(1642—1727)
生平和成果/394
《原理》节选/402
论物体的运动/402
皮埃尔·西蒙·拉普拉斯(1749—1827)
生平和成果/410
《概率的哲学探讨》/417
让·巴普蒂斯·约瑟夫·傅里叶(1768—1830)
生平和成果/507
《热的解析理论》节选/515
无界矩形固体中的热传导(傅里叶级数) /515
卡尔·弗里德利赫·高斯(1777—1855)
生平和成果/576
《算术研究》节选/584
幂剩余/584
二次同余/607
奥古斯丁·路易·柯西(1789—1857)
生平和成果/643
《奥古斯丁·柯西全集》节选/651
微分/651
积分/657
乔治·布尔(1815—1864)
摇生平和成果/672
《思维规律研究》/679
伯恩哈德·黎曼(1826—1866)
生平和成果/802
《论函数的三角级数表示》/814
《关于几何基础中的假设》/851
《论不大于一个给定值的素数的个数》/860
卡尔·魏尔斯特拉斯(1815—1897)
生平和成果/869
《函数论》/875
一致连续性/875
理查德·居理斯·威尔姆·戴德金(1831—1916)
生平和成果/882
《数论文集》/887
第一版前言/887
第二版前言/891
《连续性与无理数》/892
《数的性质与意义》/904
乔治·康托尔(1845—1918)
生平和成果/943
《创建超限数理论的贡献》节选/949
亨利·勒贝格(1875—1941)
生平和成果/1014
《积分、长度、面积》节选/1019
库尔特·哥德尔(1906—1978)
生平和成果/1058
《关于数学基本原理及相关体系的形式不可判定命题》/1067
艾伦·图灵(1912—1954)
生平和成果/1091
《可计算实数及其在判定问题上的应用》/1098
长按二维码或点击阅读原文购买
继续阅读
阅读原文