让杰出的人像奴隶一样把时间浪费在计算劳动上，是不值得的；如果使用机器，这种工作完全可以放心地交给任何人。
— 戈特弗里德·威廉·莱布尼茨
戈特弗里德·威廉·莱布尼茨（1646–1716）八岁自学拉丁文，十四岁上大学，当过律师、外交官、图书馆馆长、矿山工程师、历史学家和哲学家。在业余时间里，他发明了微分和积分、一台会做乘法的机器，以及如今运行在每台电脑里的二进制。
比起结果，莱布尼茨更追求好的记号：能替我们思考的符号。你在学校里用的 $dx$、$\dfrac{dy}{dx}$ 和 $\int$ 都出自他手，它们能沿用三百多年，正是因为好用。
在这条专题路线中，我们讲述莱布尼茨的一生，并把他的七个思想一步一步重新推导一遍。图形都可以互动：打开和关闭二进制位，比较导数的各个部分，观察一个级数如何逼近 $\pi$。
人物简介
戈特弗里德·威廉·莱布尼茨
- Nascimento
- 1646 年 7 月 1 日，莱比锡
- Morte
- 1716 年 11 月 14 日，汉诺威
- Origem
- 神圣罗马帝国的德意志地区
- Áreas
- 微积分、算术、逻辑、哲学和法学
阅读指南
传记
发现与证明
- 莱布尼茨的记号：描述变化的语言
- 乘积法则：一次计算中的两种变化
- 积分号 ∫：从求和到累积
- 二进制算术：用 0 和 1 表示数
- 莱布尼茨的机器：把算术变成运动
- 莱布尼茨的 π 级数：简单而缓慢的求和
- Calculemus：用计算来推理