莱布尼茨(1646-1716)20岁时写了一本关于推理方法的著作《论组合的艺术》作为他的哲学博士论文并凭此获得教授席位。1670-1671年他写了第一篇力学论文,随后他到巴黎当大使,认识了一些数学家、科学家,其中惠更斯激发了他对数学的兴趣。莱布尼茨自称,他在1672年之前基本不懂数学。1673年他到英国又认识了一些数学家、科学家,一边当外交官一边搞科研。(想起胡适拿了经费去太平洋对面撸了三十几个学位)1716年他悄无声息地去世。 虽然他是法学教授,但是他在逻辑学、力学、光学、数学、流体静学力、气体学、航海学和计算机方面做了重要贡献。他的社交远至锡兰和中国,力图调和旧教与新教的争论,呼吁建立德国科学院。他重视知识应用,批评大学只注意细枝末节的知识而不培养判断。在他看来,手艺人的技术比学者的深奥知识有用,德文比拉丁文易于理解便于思维。 莱布尼茨从1684年起发表微积分论文,不过他的许多智慧结晶在一本从未发表的笔记本里。1714年他写了《微分学的历史和起源》,不过因为隔了太久,且处于洗脱剽窃罪名的目的,文本不够可靠。莱布尼茨的笔记本记录,1673年他看到求曲线切线正问题和反问题的重要性,反方法等价于用求和求面积体积;1675他有了系统性的发展,这与他的博士论文也有一定联系,对于平方的序列0,1,4,9……,他观察到第一阶差1,3,5,……的和是序列最后一项。第二阶差2,2,2,……之后的第三阶差消失。他把次序看成x,序列看成y,前后两项序列差为dy,dy的积分=y,ydy的积分=y^2/2。他又通过几何得到了另一个定理:xdy的积分=xy-ydx的积分。他的困难是要把这个概念从离散的数列扩展到任意函数上。 在1675年的手稿中,他创造了积分符号,来自于sum首字母拉长、可能因为他研究巴罗的著作,所以很早意识到微分和积分是逆运算。在手稿中他认为积分是和,微分是差,尽管巴罗和牛顿也利用反微分求面积,但莱布尼茨第一个断言了这一关系,但他不清楚怎样利用一组矩形得到曲面下面积(因为当时缺少清楚的极限概念)。 1676年的手稿中,他意识到求切线的最好办法是求dy/dx,半年后给出了dx^n=nx^(n-1)dx和对应积分函数。他说这个序列是普遍的,不管x的序列是怎样的。 1677年,莱布尼茨又给出了微分两个函数的和、差、积、商以及幂和方根的法则,但没有证明。他在1684年发表的文章里公开了微分两个函数的和、积、商法则和dx^n=nx^(n-1)dx,并给出求切线、极值、拐点的应用,但因为写得不清晰,伯努利兄弟称“与其说是解释,不如说是迷”。(詹姆斯伯努利和约翰伯努利两兄弟把莱布尼茨未成体系的工作做了许多加工,带来了许多新发展) 1680年,dx成为横坐标的差,dy成为纵坐标的差,并被取为无穷小,把dy称为纵坐标沿x轴移动时y的瞬间的增长。对于弧,他给出dz=dx方和dy方的和开根号(可以认为z是以x、y为直角边的三角形的斜边),对于绕x轴的旋转体体积,V=π(y^2)dx的积分。 1686年,他给出了带积分形式的摆线方程,意图说明他的方法和符号可以把一些曲线表示为方程,包括韦达和笛卡尔认为没有方程的曲线。他给出了对数函数和指数函数的微分,并承认指数函数是一类函数。 莱布尼茨精挑细选了一些符号,如dx,dy,logx,d^n。