Leibniz：300年前就预言了Mathematica

Dropping in on Gottfried Leibniz (2013)

我最近去了德国Hanover的Leibniz档案馆，翻阅他泛黄的手稿时，仿佛穿越了三个世纪。Leibniz不仅发明了微积分符号，更早在300年前就构想出了类似Mathematica和Wolfram|Alpha的通用计算系统。他试图用符号构建“人类思想的字母表”，让所有知识都能通过计算推导出来。从数学公式到法律逻辑，Leibniz的笔记中充满了对系统化和形式化的执着追求。虽然他在某些算术计算上犯了错，但他对符号设计的直觉惊人地超前，甚至影响了现代计算思维。他的愿景与Stephen Wolfram如今在Wolfram|Alpha和A New Kind of Science中的探索不谋而合，令人惊叹。

"Leibniz曾设想，从统一的符号表示出发，可以通过计算在任何领域发现理性真理，就像在算术或代数中一样。"