拜访莱布尼茨：人工智能的哲学先驱

背景

2013年，一位科技研究者出于对戈特弗里德·莱布尼茨（Gottfried Leibniz）的长期好奇，前往德国汉诺威探访莱布尼茨的档案。这位17世纪的通才始终吸引着他，因为莱布尼茨似乎早在三百年前就试图构建类似于Mathematica、Wolfram|Alpha乃至《一种新科学》的东西。在翻阅那些发黄但依然结实的笔记时，他感受到了一种跨越时空的共鸣——试图理解莱布尼茨书写时的思考，并将这些手稿与三个世纪后人类所知的成果联系起来。

核心内容

莱布尼茨的手稿中，数学内容尤其具有永恒性。例如他用拉丁文写下的 √2 的无穷级数展开，以及尝试计算连分数（虽然算术算错了，他还把所有步骤都写了出来，其中Π是他早期使用的等号）。还有他总结的微积分概要，几乎可以放进现代教科书。

然而，莱布尼茨的工作远不止数学。他涉足哲学、神学、法学、物理学、历史学等多个看似互不相关的领域，并用17世纪特有的语言描述他的追求。但随着深入了解，作者发现莱布尼茨许多工作的底层都贯穿着一条核心思想线索——与现代计算方向惊人地相似。

莱布尼茨1646年出生于莱比锡（当时属神圣罗马帝国，今德国），父亲是哲学教授，母亲家族从事图书贸易。他6岁丧父，经两年慎重考虑后获准进入父亲的书房，开始博览群书。15岁进入当地大学学习哲学与法学，20岁双双毕业。

早在青少年时期，莱布尼茨就表现出对知识系统化与形式化的兴趣。受13世纪拉蒙·鲁尔（Ramon Llull）的《大技艺》（Ars Magna）等模糊理念的影响，他认为可能建立一套通用系统，从合适的“人类思想字母表”（笛卡尔语）中通过符号组合推导出所有知识。他的哲学毕业论文就尝试了这一思路：用基础组合数学计数可能性，讨论将观念分解为简单成分，以便“发明逻辑”操作，并在文中附上了证明上帝存在的论证。莱布尼茨后来承认这篇论文很幼稚，但它定义了他终生的思考方式。他的法学毕业论文“令人困惑的法律案例”也试图通过逻辑和组合数学来裁决案件。

莱布尼茨本可成为教授，却选择在各宫廷和政治统治者身边担任顾问。他的工作包括学术研究（追溯晦涩但政治上重要的谱系和历史）、组织与系统化（编纂法典、整理图书馆等）、实用工程（如为银矿设计更好的排水方法），以及早期为政治活动提供智力支持。1672年他因任务前往巴黎，逗留四年，期间结识许多顶尖学者。此前他的数学知识相当基础，但在巴黎他有机会学习最新思想和方法。他找到克里斯蒂安·惠更斯（Christiaan Huygens），惠更斯要求他先通过一道题（求三角形数倒数的和）才同意教授数学。

多年来，莱布尼茨不断精炼关于知识系统化与形式化的理念，设想了一套完整的架构——用现代术语说，就是让知识变得可计算。他认为第一步是发展“特征艺术”（ars characteristica），即一种为事物分配符号或符号表征的方法，实质上创造统一的“思想字母表”。然后他想象——与现代对计算的理解惊人地共鸣——从这种统一表示出发，可以“像算术或代数中的计算那样，在任何领域找到理性真理”。他为这些想法取了许多雄心勃勃的名字：普通科学（scientia generalis）、哲学语言（lingua philosophica）、普遍数学（mathematique universelle）、通用特征（characteristica universalis）、思维演算（calculus ratiocinator）。他设想应用范围涵盖科学、法学、医学、工程、神学等所有领域，但最先取得明显成功的是数学。

数学史上，符号体系很少被视为核心议题，这令作者感到惊讶。19世纪末现代数理逻辑兴起时（弗雷格、皮亚诺等人）曾出现一次，近代在创建Mathematica和Wolfram语言时也发生过一次，而三个世纪前莱布尼茨同样如此。作者推测，莱布尼茨在数学上的成功很大程度上归功于他在符号上的投入，以及由此带来的对数学结构和过程的清晰推理。

翻阅莱布尼茨的论文，可以看到他的符号及其演变。许多看起来相当现代，但也带有17世纪的迷人痕迹，如偶尔用炼金术或行星符号表示代数变量。他用Π作等号（而非=），基于平衡的巧妙想法：一侧腿更长表示小于（<）或大于（>）。他用上划线表示项的组合——这 arguably比括号更好，但打字和排版更难。今天根号仍用上划线，但莱布尼茨想把它用于积分，并配上漂亮的“带尾巴的d”，类似于作者为Mathematica表示积分而发明的双写“微分d”。在解方程时，常常需要±符号，而分组方式容易混淆（如a±b±c），莱布尼茨似乎也感到困惑，因此发明了一种符号来处理——作者认为今天实际上也应考虑使用。

当然，莱布尼茨最著名的符号是积分符号（长“s”代表“summa”）和微分d。这些在1675年11月11日首次被总结在页边空白处（“1675”中的“5”后来被改为“3”，也许是莱布尼茨本人所为）。值得注意的是，尽管他为各种“计算”操作设计了符号，莱布尼茨显然没有为逻辑运算发明类似符号。“或”只是拉丁词vel，“与”是et，等等。当他提出量词的概念（现代∀和∃）时，也仅用拉丁缩写U来表示。

关键要点

• 莱布尼茨的核心思想：建立一套“通用特征”和“思维演算”，将知识符号化、形式化，最终实现可计算推理——与现代计算科学的核心目标高度一致。
• 符号体系的重要性：莱布尼茨在数学符号上的刻意设计（如积分符号、微分符号、分组上划线、连分数符号等）是其数学成功的关键因素之一，这与后来Mathematica、Wolfram语言对符号的重视一脉相承。
• 跨领域统一性：莱布尼茨在哲学、法律、历史、工程等看似不相干领域的工作，都贯穿着同一方法论——通过逻辑和组合数学进行系统化与形式化。
• 早期计算机械的预演：莱布尼茨设想的“理性算筹”（calculus ratiocinator）实质上预示了现代计算的概念，尽管他受限于时代技术条件。
• 与当代科学呼应：莱布尼茨对知识表示和推理的构想，在三个世纪后随着Mathematica、Wolfram|Alpha等工具的出现得到实质性实现。

意义与影响

莱布尼茨不仅是微积分独立发明者和符号逻辑的先驱，他更是一个超越时代的“计算思想家”。他试图将全人类知识编码为可操作的符号系统，并通过演算推出真理——这一愿景在当今人工智能、知识图谱、形式化验证和计算知识引擎（如Wolfram|Alpha）中得到了真正技术上的落地。他的工作提醒我们，符号与形式化不仅是数学工具，更是连接人类思想与机器计算的桥梁。尽管莱布尼茨的许多具体方案因技术限制未能实现，但他提出的核心问题——“如何用符号和规则使知识变得可计算”——至今仍是计算机科学和人工智能的核心挑战。每次我们使用积分符号、思考知识表示或构建形式化系统时，都在延续这位三百年前先驱的探索。