花拉子米解方程时一个符号也不写。八百年后,笛卡儿写 $xx+10x$ 的方式已经和我们差不多。本章追随这段旅程:学会在纸上计算的数字,伴随证明的图形,三角学失落的名字,把算法变成公式的字母,运算的小符号,纳皮尔的对数,牛顿的点与莱布尼茨的 $d$ 之间的大争论,从 $\Sigma$ 到 $\int$ 的过渡,欧拉的函数,柯西的极限,伽罗瓦的群表,四元数与向量之争,微分方程,以及逻辑的符号。

贯穿全章的是一个简单的问题:这种写法让我们能做什么? 有些记号,我们称之为能动的,它们的形状本身就带着对象的关系,并提示下一步该怎么走。另一些,我们称之为贫瘠的,它们记录已知的东西,却不能把人带得更远。

本章文章

  1. Radix quadrati:数学也有自己的书写
  2. 零与位值:会计算的数字
  3. 欧几里得:图形与证明
  4. 正弦、直角边与斜边:三角学和它失落的名字
  5. 从文字到字母:代数学会了书写
  6. +、−、× 和 =:符号小史
  7. 纳皮尔与对数:奇妙的缩写
  8. 莱布尼茨对牛顿的点:能动的记号与贫瘠的记号
  9. 从穷竭法到积分:Σ、∫ 与圆周率 π
  10. 欧拉与函数:给规则起个名字
  11. 柯西与极限:如何书写无穷小
  12. 伽罗瓦与凯莱:为非数之物而设的代数
  13. 哈密顿、吉布斯与亥维赛:箭头之战
  14. 微分方程:字谜里的定律、∂ 与 ∇
  15. 布尔、弗雷格与皮亚诺:把推理写下来
  16. 参考文献与图片来源