莱布尼茨首次使用长 s (∫) 作为微积分积分的符号。
戈特弗里德·威廉 (von) Leibniz（1646 年 7 月 1 日 [O.S. 6 月 21 日] – 1716 年 11 月 14 日）是一位活跃于数学家、哲学家、科学家和外交官的德国博学家。他是哲学史上和数学史上的杰出人物。他的著作涉及哲学、神学、伦理学、政治学、法律、历史和语言学。莱布尼茨还对物理学和技术做出了重大贡献，并预见了后来在概率论、生物学、医学、地质学、心理学、语言学和计算机科学中出现的概念。此外，他还为图书馆学领域做出了贡献：在担任德国沃尔芬比特图书馆馆长期间，他设计了一个编目系统，该系统可以作为欧洲许多最大图书馆的指南。莱布尼茨对这一浩瀚主题的贡献分散在各种学术期刊、数以万计的信件和未发表的手稿中。他用多种语言写作，主要是拉丁语、法语和德语，但也有英语、意大利语和荷兰语。作为哲学家，他是 17 世纪理性主义和唯心主义的最伟大代表之一。作为一名数学家，他最大的成就是独立于艾萨克·牛顿同时期的发展，发展了微积分和积分的主要思想。数学著作一直青睐莱布尼茨符号作为微积分的常规表达方式。然而，直到20世纪，莱布尼茨的连续性定律和先验齐性定律才通过非标准分析找到了一致的数学公式。他还是机械计算器领域的先驱。在为帕斯卡的计算器添加自动乘法和除法时，他在 1685 年第一个描述了风车计算器，并发明了莱布尼茨轮，用于算术计，这是第一台大规模生产的机械计算器。他还改进了二进制数系统，它是几乎所有数字（电子、固态、离散逻辑）计算机的基础，包括标准设计范式或“计算机架构”的冯诺依曼架构，从20世纪下半叶，进入21世纪。莱布尼茨被称为“计算机科学的创始人”。在哲学和神学中，莱布尼茨最出名的是他的乐观主义，即他的结论是，我们的世界在一定意义上是上帝可能创造的最好的世界，一种观点有时被其他思想家讽刺，例如伏尔泰在他的讽刺中篇小说《老实人》中。莱布尼茨与勒内·笛卡尔和巴鲁克·斯宾诺莎一起，是早期现代三大理性主义者之一。他的哲学还吸收了学术传统的元素，特别是假设可以通过从第一原理或先前定义进行推理来获得对现实的一些实质性知识。莱布尼茨的工作预见了现代逻辑，并且仍然影响着当代分析哲学，例如它采用了“可能世界”一词来定义模态概念。