21
欧多克斯 · 比例与穷竭
已可阅读约前 390—前 337 · 古希腊
明线不可公度与辗转相除、比例论、穷竭法、同心球
故事一个量不出来的长度，逼出了一套新说法
本辑的旅程：从欧多克斯把「比」从「数」里解放出来开始，经花剌子米给未知命名、朱世杰用位置记幂次、卡尔丹诺的公式与虚数、纳皮尔把乘法变加法、拉普拉斯的概率宇宙、李善兰为微积分造词，到威尔斯特拉斯的不等式、康托尔的无穷、哥德尔的「不可证」——二十三个世纪里，人类一步步弄清了「说清楚」到底意味着什么。
体例与前两辑相同，每册五幕：起（一个具体困境）· 转（一个关键念头）· 立（方法成形）· 用（一道道算给你看）· 远（它后来长成了什么）。
明线不可公度与辗转相除、比例论、穷竭法、同心球
故事一个量不出来的长度，逼出了一套新说法
明线六类方程与配方法、《还原与对消之书》、位值制与算法
故事把「怎么算」写成「照着做」，一本书生出两个词
明线四元术（多元高次方程组）、垛积与招差
故事没有符号的代数，靠位置记幂次
明线三次四次求根公式、不可约情形与复数雏形、掷骰的概率
故事一个赌徒兼医生的双重人生，与一场署名之争
明线对数、纳皮尔算筹、球面三角的化简
故事省力也是一种发现
明线天体力学、概率的分析理论、拉普拉斯方程与变换
故事他算出了宇宙的下一步，也留下了「不需要那个假设」
明线尖锥术与垛积术、《几何原本》后九卷、《代微积拾级》
故事微积分、函数、代数——这些词是他造的
明线ε-δ 语言、一致收敛、处处连续处处不可导、逼近定理
故事在中学教了十五年，把直觉钉死成不等式
明线一一对应、可数无穷、对角线论证、超限数、连续统假设
故事一个人与整个学界为敌
明线形式系统、哥德尔编码、自指、不完全性、希尔伯特纲领的终结
故事他量出了理性的边界