戈特弗里德·威廉·莱布尼茨

核心成果

• 与牛顿各自独立创立微积分，发明沿用至今的微分 dx、积分 ∫ 符号，使微积分形式更便于推广。
• 提出微积分基本定理（莱布尼茨公式）。
• 梦想建立「普遍表意文字」与「推理演算」，是符号逻辑与数理逻辑的先驱。
• 研究二进制、行列式、组合数学，发明机械计算机（能乘除）。
• 提出单子论哲学，主张「前定和谐」。

代表著作 / 文献

• 《新方法》(微积分论文)
• 《人类理智新论》
• 《单子论》

历史影响

其微积分符号体系成为世界通用语言；对逻辑与计算机科学的前瞻远超时代。

相关人物 / 主题

牛顿、帕斯卡、布尔、弗雷格