莱布尼茨一句话道破数学的真谛

叙述牛顿莱布尼茨公式牛顿莱布尼茨公式，也称做卢卡斯–莱布尼兹公式，是微积分学中非常重要的一条公式，用于求解函数的导数值。

这个公式首次由伊萨克·牛顿和戈特弗里德·威廉·莱布尼茨在十七世纪发现，是微积分学最为基本的定理之一。

该公式的表达方式比较简单，但其背后深层次的涵义却十分深奥。

在数学领域，微积分是一种涵盖导数和积分的研究方法，其目的是研究函数的本质特征。

微积分的两个基本概念是导数和积分。

其中导数描述了函数在一点处的斜率，而积分则描述了该函数下的面积。

牛顿莱布尼茨公式实质上是导数和积分的等价关系。

牛顿莱布尼茨公式的表达方式如下：∫abf(x) dx = F(b) - F(a)其中，a、b为积分区间，f(x)为要求积分的函数，F(x)为f(x)的不定积分，即F'(x) = f(x)。

牛顿莱布尼茨公式的意义在于，如果我们知道一个函数的导数f(x)，那么我们就可以通过对其进行积分求得该函数在一个区间上的值。

换言之，该公式建立了函数导数和积分之间的联系，从而为微积分学中的反演原理奠定了基础。

通过牛顿莱布尼茨公式我们可以推导出很多微积分学中的重要结论，比如牛顿-莱布尼兹定理。

牛顿-莱布尼兹定理是指，如果f(x)是一个连续可微函数，那么该函数在一个区间上的积分可以看成是该函数在该区间的上界和下界的函数之差：∫abf(x) dx = F(b) - F(a) = [F(x)]ab其中，F(x)为f(x)的原函数，[F(x)]ab表示在a到b区间上的积分。

在这个定理中，我们可以发现牛顿莱布尼茨公式的本质就在于揭示了导数的积分反演原理，或者说积分的导数原理。

总而言之，牛顿莱布尼茨公式是微积分学中最基本的定理之一，因其揭示了函数导数和积分的等价关系，是微积分学中的重要工具。

通过该公式，我们可以解决很多微积分问题，并推导出一些重要的微积分学结论。

莱布尼茨级数的定义有趣解释莱布尼茨级数，这名字听起来是不是有点高大上，让人觉得摸不着头脑？其实啊，它并没有那么神秘！咱先来说说什么是级数。

就好比你要爬一座很高很高的山，这山不是一下子就能爬到顶的，而是要一步一步，一个台阶一个台阶地往上走。

每一个台阶的高度就像是级数中的一项，把这些台阶的高度加起来，一直加到山顶，这整个过程就像是在计算一个级数。

那莱布尼茨级数又是什么呢？它就像是一个特别有规律的台阶队伍。

想象一下，这些台阶一会儿高一会儿低，但是整体上有一种特别的规律。

这个规律就是：如果把正数看作向上的台阶，负数看作向下的台阶，那么它们加起来的结果会越来越靠近一个固定的数。

比如说，1 - 1/2 + 1/3 - 1/4 + 1/5 - 1/6 + 1/7 - 1/8 + ...... 这就是一个莱布尼茨级数。

你看，正数负数交替出现，是不是有点像小朋友们玩的跳格子游戏，一会儿向前跳，一会儿向后跳，但总归是有个大致的方向。

你可能会想，这有啥用啊？嘿，用处可大了！就像我们盖房子，要知道每一块砖头的位置和作用，才能盖出牢固的房子。

莱布尼茨级数能帮助我们解决很多数学问题，比如计算一些复杂的图形的面积，或者预测一些事物的变化规律。

再比如说，我们在生活中存钱，有时候存得多，有时候花得多，但是如果能找到一个类似莱布尼茨级数的规律，不就能更好地规划自己的财务状况了吗？而且啊，莱布尼茨级数还能让我们看到数学的美妙之处。

它就像一首优美的交响曲，每个音符（数字）都有它的位置和作用，共同演奏出动人的旋律。

你想想，如果没有莱布尼茨级数这样的东西，数学的世界是不是会少了很多乐趣和惊喜？所以说，莱布尼茨级数可不是什么枯燥的数字组合，而是一个充满趣味和奥秘的宝藏，等待着我们去探索和发现！。

【数学文化】数学名言名人名言数学本质纯数学使我们能够发现概念和联系这些概念的规律，这些概念和规律给了我们理解自然现象的钥匙。

——A.Einstein 历史使人聪明，诗歌使人机智，数学使人精细，哲学使人深邃，道德使人严肃，逻辑与修辞使人善辩。

——F.Bacon 在数学的领域中，提出问题的艺术比解答问题的艺术更为重要。

——G.Cantor 上帝创造了整数，所有其余的书都是人造的。

——克罗内克数学知识对于我们来说，其价值不止是由于他是一种有力的工具，同时还在于数学自身地完美。

在数学内部或外部地展开中，我们看到了最纯粹的逻辑思维活动，以及最高级地智能活力地美学体现。

——A.Pringsheim 数学之所以比一切其它科学受到尊重，一个理由是因为他的命题是绝对可靠和无可争辩的，而其它的科学经常处于被新发现的事实推翻的危险。

…数学之所以有高声誉，另一个理由就是数学使得自然科学实现定理化，给予自然科学某种程度的可靠性。

——爱因斯坦数学是一种精神，一种理性的精神。

正是这种精神，激发、促进、鼓舞并驱使人类的思维得以运用到最完善的程度，亦正是这种精神，试图决定性地影响人类的物质、道德和社会生活；试图回答有关人类自身存在提出的问题；努力去理解和控制自然；尽力去探求和确立已经获得知识的最深刻的和最完美的内涵。

——克莱因数学是除了语言与音乐之外，人类心灵自由创造力的主要表达方式之一，而且数学是经由理论的建构成为了解宇宙万物的媒介。

因此，数学必需保持为知识，技能与文化的主要构成要素，而知识与技能是得传授给下一代，文化则得传承给下一代的。

——HermannWeyl 数学是科学之王。

——高斯数学是符号加逻辑。

——罗素数支配着宇宙。

——毕达哥拉斯数学是一种别具匠心的艺术。

——哈尔莫斯数学是人类的思考中最高的成就。

——米斯拉数学是研究抽象结构的理论。

——布尔巴基学派数学是上帝描述自然的符号。

——黑格尔数学是一种会不断进化的文化。

——魏尔德（美国数学学会主席）数学是一切知识中的最高形式。

莱布尼茨莱布尼茨数学微积分 1666年，莱布尼茨写成“论组合术”(De ArtCombinatoria)一文，讨论了平方数序列0，1，4，9 16，…的性质，例如它的第一阶差为1，3，5，7，…，第二阶差则恒等于2，2，2，…等．他注意到，自然数列的第二阶差消失，平方序列的第三阶差消失，等等．同时他还发现，如果原来的序列是从0开始的，那么第一阶差之和就是序列的最后一项，如在平方序列中，前5项的第一阶差之和为 1＋3＋5 +7=16，即序列的第5项．他用X表示序列中项的次序，用Y表示这一项的值．这些讨论为他后来创立微积分奠定了初步思想，可以看作是他微积分思想的萌芽．“论组合术”是他的第一篇数学论文，使他跻身于组合数学研究者之列．1672年，惠更斯给莱布尼茨出了一道他自己正同别人竞赛的题目：求三角级数(1，3，6，10，…)倒数的级数之和莱布尼茨圆满地解决了这一问题，他是这样计算的：初次成功激发了他进一步深入钻研数学的兴趣．通过惠更斯，他了解到B．卡瓦列里(Cavalieri)、I．巴罗(Barrow)、B．帕斯卡(Pascal)、J．沃利斯(Wallis)的工作．于是，他开始研究求曲线的切线以及求平面曲线所围图形的面积、立体图形体积等问题．1674年，他学习R．笛卡儿(Descartes)几何学，同时对代数性发生了兴趣．这一时期，他检索了已有的数学文献．对于当时数学界密切关注的切线问题和求积问题，莱布尼茨在前人的基础上提出了一个普遍方法．这个方法的核心是特征三角形(characteristic triangle)．在帕斯卡、巴罗等人讨论过的特征三角形的基础上，他建立了由dx，dy和PQ(弦)组成的特征三角形．其中dx，dy的意义是这样的：在他1666年“论组合术”中所考虑的序列中，用dx表示相邻的序数之差，dy表示两个相邻项值之差，然后在数列项的顺序中插入若干dx，dy，于是过渡到了任意函数的dx，dy．特征三角形的两条边就是任意函数的dx，dy；而PQ 则是“P和 Q之间的曲线，而且是T点的切线的一部分”．如图1，T是曲线y=f(x)上的一点，dx，dy分别是横坐标、纵坐标的差值．利用这个特征三角形，他很快就意识到两个问题：(1)曲线的切线依赖于纵坐标的差值与横坐标的差值(当这些差值变成无穷小时)之比．通过考虑图1中△PQR和△STU，发现△PQR∽△STU，从而有dy/dx=Tu/Su．也就是说，曲线y上过T点的切线的斜率是dy/dx．(2)求积(面积)依赖于横坐标的无限小区间的纵坐标之和或无限窄矩形之和．有了这些思想，他很快就推导出了一大批新结论．用他自己的话说就是，从特征三角形出发，“毫不费力，我确立了无数的定理”．根据莱布尼茨留下的遗稿可以判定，他是在1673年建立起特征三角形思想的．他将图1中特征三角形的斜边PQ用“dS”表示，这样特征三角形又称为微分三角形(differential triangle)如图2，其中 ds2=dx2+dy2．利用特征三角形，莱布尼茨早在1673年就通过积分变换，得到了平面曲线的面积公式这一公式是从几何图形中推导出来的，经常被他用来求面积．1673—1674年，他给出了求一条曲线y=y(x)绕x轴旋转一周所形成的旋转体的表面积A的公式同时，他还给出了曲线长度公式在求面积问题方面，莱布尼茨深受卡瓦列里“线由无穷多个点构成，面由无穷多条线构成”思想的影响，认为曲线下的面积是无穷多的小矩形之和．1675年10月29日，他用“∫”代替了以前的和符号“Omn”(“∫”是Sum 和)的第一个字母“s”的拉长)，用∫ydx表示面积，在这份手稿中，他还从求积出发，得到了分部积分公式1676年11月，他得出了公式其中n是整数或分数(n≠-1)．莱布尼茨的积分方面的工作是与微分方面的工作交叉进行的．由于研究巴罗的著作，以及引入特征三角形，莱布尼茨越来越强烈地意识到，微分(主要是导数、求切线)与积分(求和)必定是相反的过程．在1675年10月29日的手稿中，他就注意到，面积被微分时必定给出长度，因此他开始探讨“∫”的运算(积分)和“d”的运算(微分)之间的关系，认识到要从y回到dy，必须做出y的微差或者取y 的微分．经过这种不充分的讨论，他断定一个事实：作为求和的过程的积分是微分的逆．这样，莱布尼茨就第一次表达出了求和(积分)与微分之间的关系．莱布尼茨于1675—1676年给出了微积分基本定理(后来又称为牛顿-莱布尼茨公式)(A为曲线f下的图形的面积，图3．)于1693年给出了这个定理的证明．以前，微分和积分作为两种数学运算、两类数学问题，是分别地加以研究的．卡瓦列里、巴罗、沃利斯等许多人得到了一系列求面积(积分)、求切线斜率(导数)的重要结果，但这些结果是孤立、不连贯的．虽然他们已开始考虑微分和积分之间的关系，然而只有莱布尼茨和牛顿(各自独立地)将微分和积分真正沟通起来，明确地找到了两者的内在的直接联系：微分和积分是互逆的两种运算．而这正是建立微积分学的关键所在．只有确立了这一基本关系，才能在此基础上构建系统的微积分学．并从对各种函数的微分和求积公式中，总结出共同的算法程序，使微积分方法普遍化，发展成用符号表示的微积分运算法则．莱布尼茨于1684年10月发表在《教师学报》(Acta erudito-rum)上的论文，题目是“一种求极大值与极小值和求切线的新方法，它也适用于无理量，以及这种新方法的奇妙类型的计算”(Nova Methodus pro Maximis et Minimis，itemque tangentibus，quae necfractas，necirrationales quantitates moratur，et singularepro illisCalculi genus)，在数学史上被公认为是最早发表的微积分文献．早在1677年7月11日前后及11月左右，莱布尼茨明确定义了dy为函数微分，给出了dy的演算规则：“如果a是给定的常数，则da=0，dax=adx；加法和减法 v=z—y＋w＋x，dv=dz-dy+dw＋dx；乘法 y=vx，dy=vdx+xdv在1676—1677年的手稿中，他利用特征三角形分析了曲线切线的变化情况：对于曲线v=v(x)，当dv与dx之比为无穷大时，切线垂直于坐标轴(x轴)．当dv与dx之比等于0时，切线平行于x轴，当dv=dx≠0时，则切线与坐标轴成45°角，他指出，对于曲线v，当dv=0时，“在这个位置的v，明显地就是极大值(或极小值)”，他详细讨论了当dv＜0，而变成dv=0后又dv＜0时取极大值，反之则取极小值的情形．他还给出了拐点——曲线的凹凸情况发生变法的条件是d2v=0．以后，莱布尼茨具体求出了各种各样复杂函数的微商(导数)．1686年，给出了对数函数，指数函数的微商．1695年求出了y=xx的微商dy=xx(1+lnx)，等等．他引入了n阶微分的符号dn，并且给出了高阶微分的“莱布尼茨法则”：其中n！=1×2×3×…×(n-1)×n．莱布尼茨在积分方面的成就，后来比较集中地写在1686年5月发表在《教师学报》上的一篇论文中，题为“潜在的几何与不可分量和无限的分析”(De Geometria recondita et Analysi Indivisi-bilium atque Infinitorum)．品中出现了积分符号．同年，他引入了空间曲线的“密切”(osculating)这一术语，并给出了曲率ρ公式：其中R为曲率半径．1692年和1694年，他给出了求一族曲线 f(x，y，α)=0(α为曲线族参数)包络的普遍方法：在中消去α．实际上，用微积分方法研究几何在微积分奠基者(牛顿、莱布尼茨等)那里已经开始了．切线、包络等几何问题在莱布尼茨手中是与微积分连在一起的．无穷级数在微积分的早期研究中，有些函数如指数函数等超越函数的处理相当困难，然而人们发现，若用它们的级数来处理，则非常有成效．因此，无穷级数从一开始就是莱布尼茨、牛顿等人微积分工作的一个重要部分．有时使用无穷级数是为了计算一些特殊的量，如莱布尼茨曾用无穷级数表达式计算π(圆周率)．在求面积的过程中，通过无穷级数表示圆在第一象限的面积，他得到了π的一个十分漂亮的表达式(图4)：1673年左右，他独立地得到了sinx，cosx和arctgx等函数的无穷级数展开式．还得到了圆面积和双曲线面积的具体展开式，并且将这些展开式与反正切、余割、正弦函数、自然对数函数、指数函数联系起来了．他经常利用级数展开式研究超越函数．有时还将多项式定理用于分式函数或超越函数的展开式．无穷级数展开式，得到了如下的式子：误的．直到1734—1735年，L．欧拉(Euler)才得到在1713年10月25日写给约翰•伯努利(John Bernoulli)的信中，莱布“莱布尼茨判别法”，但他当时的证明却错了．在考虑级数还相当混乱．微分方程微分方程在微积分创立之初就为人们所关注．1693年，莱布尼茨称微分方程为特征三角形的边(dx，dy)的函数．在微分方程方面，他进行了一系列工作．其中有些工作是十分独特的．1691年，他提出了常微分方程的分离变量法，解决了形如型方程的求解问题．方法是，先写成然后两边积分．这一年，他还提出了求解一次齐次方程的方法：因此经过这种变换，原来的一次齐次方程就变成了1694年，他证明了把一阶线性常微分方程y′＋P(x)y=Q(x)化成积分方程的正确方法，他的方法使用了因变量替换．同时，他还给出了(y′)2+p(x)y′＋q(x)=0的解法．1694年，他和约翰•伯努利引进了找等交曲线或曲线族的问题，并求出了一些特殊问题的解．1696年，他证明了，利用变量替换z=y1-n，可以将伯努利方程变换x=P11u+P12v，y=P21u+P22v可以将微分方程a00＋a10x＋(a01＋a11x)y′=0进行简化．通过求解微分方程，莱布尼茨解决了许多具体问题．例如，1686年，他解决了这样的问题：求一条曲线，使得一个摆沿着它作一次完全振动，都用相等的时间，而无论摆所经历的弧长怎样(即等时问题)．他指出，证明，并认识到了圆函数、三角函数的超越性，弄清了许多超越函数的基本性质．此外，他还考虑过概率方程．这一时期，他还求出了十分重要的曳物线方程：1691年，他给出了自达•芬奇(L．Da Vinci)时代就考虑过的悬链线(catenary，这个名称是莱布尼茨给出的)方程为1696年，约翰•伯努利提出了著名的最速降线问题：求从一给定点到不是在它垂直下方的另一点的一条曲线，使得一质点沿这条曲线从给定点P1下滑所用的时间最短(图5)；其中摩擦和空气阻力都忽略．这是约翰•伯努利向全欧洲数学家发出的挑战．1697年，莱布尼茨和I．牛顿(Newton)、G．F．A．洛比达(L’Hospital)、约翰•伯努利分别解决了最速降线问题，指出这是由方程表示的上凹的旋轮线，并由此开始了变分法的研究．数学符号、代数莱布尼茨在微积分方面的贡献突出地表现在他发明了一套适用的符号系统．1675年引入dx表示x的微分，“∫”表示积分，ddv，dddy表示二阶、三阶微分．1695年左右用dmn表示m阶微分．他比别人更早更明确地认识到，好的符号能大大节省思维劳动，运用符号的技巧是数学成功的关键之一．他自觉地和格外慎重地引入每一个数学符号，常常对各种符号进行长期的比较研究，然后再选择他认为最好的、富有启示性的符号．他创设的符号还有此外还有对数符号、函数符号、行列式符号等等．很多符号的普遍使用与他的提倡和影响密切相关．他还引入了“函数”(function)、“常量”(constant quantity)、变量”(variate)、“参变量”(para-meter)等术语．在代数学方面，莱布尼茨不仅强调引入符号的重要性，而且还讨论了负数、复数的性质，认为复数的出现是无害的，断言复数的对数是不存在的，为此曾在当时的数学界掀起了一场关于负数、虚数的对数之争论．在研究复数时，他还得出过这样的结论：共轭复数的和是实数用一般的复数表示．他把虚数看作是存在(being)与非存在(not-being)的中介．在1678年以前，莱布尼茨就开始了对线性方程组、行列式的研究，对消元法从理论上进行了探讨．在1693年4月28日致洛比达的信中他提出了行列式概念：“我引进方程：此处，在两个数码中，前者表示此数所属的方程式，后者代表此数所属的字母(未知数)．”这样，他创设了采用两个数码的系数记号，相当于现在的aik，为矩阵和行列式一般理论的发展提供了方便的工具．二进位制莱布尼茨发明二进位制的时间，大约是在1672—1676年的巴黎时期．1679年3月15日，莱布尼茨写了题为“二进位算术”(De I’arthmetique binaire)的论文．文中对二进位制进行了相当充分的讨论，与十进位制进行了比较：给出了将二进位数改写成十进位制数的法则：1011000(二进位制)写成十进位制数就是26+0+24+23＋0＋0＋0=64＋16＋8=88．下面就是1679年3月15日手稿的一页(见183页)．莱布尼茨不仅完整地解决了二进位制的表示问题，而且给出了正确的二进位制加法与乘法规则．例如，他给出以下这类实例：1695年5月莱布尼茨与鲁道夫•奥古斯特(Rudolphus Au-gustus)大公的一次谈话中，大公对他的二进位制非常感兴趣，认为一切数都可由0与1创造出来这一点，为基督教《圣经》所讲的创世记提供了依据．这是因为唯一完美的上帝是从无到有创造了世界，这与一切数的根源来自0与1的这种体系是对应的．莱布尼茨由此激起热情，试图以大公的这一想法来争取人们对他的二进位制的关注．1697年他在致大公的信函中，就将他创造设计的象征二进位制的纪念章图章当作新年礼品奉献给大公．纪念章正面是大公图象，背面的设计是这样的(见图7)：水面上笼罩着一片黑暗，顶部光芒四射——象征创世的故事；中间排列着二进位、十进位制数字对照表，两侧是加法与乘法的实例．莱布尼茨希望能用二进位制证明圆周率π的超越性．1701年，莱布尼茨将自己的二进制数表给了法国在中国的传教士白晋(F．J．Bouvet)，同时又将自己关于二进制的论文送交巴黎科学院，但要求暂不发表．同年11月白晋把宋代邵雍(1011—1077)的伏羲六十四卦次序和伏羲六十四方位两个图给了莱布尼茨．莱布尼茨对白晋提供的材料欣慰异常，发现中国古老的易图可以解释成0—63的二进制数表．莱布尼茨因为从二进制数学理解了六十四卦图(邵雍的六十四卦方圆图，图8)而高兴地说：“几千年来不能很好被理解的奥秘由我理解了，应该让我加入中国籍吧！”1703年，他将修改补充的论文“关于仅用0与1两个记号的二进制算术的说明，并附其应用以及据此解释古代中国伏羲图的探讨”(Explication de l’arthmetique binaire，quise sent des seuls caracteres 0 et 1，avec des remarques Surson utilite，et Sur ce quelle donne Le Sens des aneiennes fi-gures Chinoises Fohy，1703)再送巴黎科学院，要求公开发表．自此二进制公之于众了．根据上述历史事实，表明莱布尼茨并不是受易图的启发而发明二进制的，而是他发现了易图结构可以用二进制数学予以解释．应该说，莱布尼茨的二进制数学能被用来理解古老的中国文化．自他发现了二者之间的这种关系后，在世界范围内兴起了对易学的数理研究，使人们对易学的兴趣日增．莱布尼茨所进行的计算机设计，程序自动化、程序设计的思想，再加上二进制，为计算机的现代发展奠定了坚实的基础．尽管莱布尼茨本人为计算机的设计、二进制的发明感到自豪，但他却没有将二进制用于计算机，没有使二者结合起来．在当时条件下，一个二进位制的机器只会增加技术上的困难，只有随着电子技术的发展，人们才能将二者有效地结合起来．那种认为他是为计算机而引进二进位制的说法是违背历史事实的．逻辑学莱布尼茨的逻辑学研究包括两个方面：数理逻辑与形式逻辑．数理逻辑莱布尼茨决心构造一门基本学科，这门学科在某些方面象数学，但也包括传统逻辑中一些尚未发展的研究内容．他注意到了传统逻辑与数学的共性，发现逻辑及其词项、命题和三段论与代数中的字母、方程式和变换，具有某种形式上的相似，因此他决心把逻辑表示成一种演算，这种演算研究非数量的抽象关系或形式关系，他曾称之为普遍数学．他希望建立一种哲学语言(lingua philosophica)或普遍语言(characteristica universalis)，这种语言不仅有助于思想交流，而且有利于思想本身．莱布尼茨力图发明一种对概念进行演算的理论，使得概念也能象数一样进行代数演算．1679年，莱布尼茨开始进行了这方面的研究．他的思想是：每一个简单的词项用一个素数表示，每一个合成词项用素数乘积来表示．如用3表示“能思维的”，7表示动物，人是能思维的动物则可用21表示，写成21=3.7．一个全称肯定命题，如果主项的数能被谓项的数整除，则该命题为真．1686年，莱布尼茨发展了关于概念相等和概念包含的理论，其中引入了词项a，b，c，…，运算符号—(non，表示“非”)．四个关系利用这种演算，他成功地将亚里士多德的四种类型的一般命题，表示成了符号公式形式，从而使得用符号表示逻辑命题成为可能．他所考虑的方案和表达方式是：莱布尼茨认为，有可能构造一种符号系统，这种系统可以作内涵的解释也可以作外延的解释．1690年他已经引入了概念的加、减法，用以表示逻辑概念演算及逆运算．他用表示逆运算，例如A—B=C，当且仅当A=B＋C，且B和C没有共同的东西．意义．以此为基础，他建立了一套全新的理论体系．他的体系要点主要是公式及一套关于词项、命题的定义与演算规则，如A=B的定义：词项是同一的或一致的，就是说它们能在任何地方，以一个代之以另外一个而不改变任何命题的真值．A=B表示A和B是同一的．这种体系在逻辑上是从未有过的，直到约一个世纪以后才由G．布尔(Boole)重新给出．可惜的是，莱布尼茨没有发展和写出系统的著作，只留下了大批手稿，其中还有许多是断简残篇，但D．希尔伯特(Hilbert)依然说：“数理逻辑的思想首先是莱布尼茨明显说出的．”而这种数理逻辑还仅仅只是莱布尼茨符号语言的一部分．莱布尼茨符号语言的理想是，使一切推理过程、思维过程、争论过程都像数学一样能够计算，甚至能够交给机器完成．为此，他做了很多工作．形式逻辑莱布尼茨在形式逻辑方面的主要工作是，关于判断的分析理论，在此基础上的复合概念理论和关于偶然命题的理论，以及“充足理由律”的提出．他不相信一切论证都可以纳入三段论式，因为他了解到条件论证和析取论证不能还原为三段论形式．对于形式证明，他承认经院哲学争论中使用三段论可能堕落为蠢笨迂腐的学究，但他认为不能没有形式化，否则就会丧失严格性．但对亚里士多德的推崇妨碍了他在这方面取得更大的成就．区分和研究两类真理：理性的真理(必然性命题)与事实的真理(偶然性命题)是莱布尼茨整个科学思想体系特别是他的哲学认识论的核心内容．从逻辑方面他又把必然真理分成原始的真理和推理的真理，并且指出：“推理的真理是必然的，它们的反面是不可能的，事实的真理是偶然的，它们的反面是可能的．”他又认为推理是建立在两大原则上的：(1)矛盾原则，凭着这个原则，我们判定包含矛盾者为假，与假的相对立和相矛盾者为真；(2)充足理由原则，凭着这个原则，任何一件事如果是真实的或实在的，任何一个陈述如果是真的，就必须有一个为什么这样而不那样的充足理由，也许这些理由常常不知道．因此他在逻辑学中引入了“充足理由律”，使之成为与传统的同一律、矛盾律、排中律相并列的一条基本思维定律．物理学、力学、光学1671年，莱布尼茨写下了《物理学新假说》(Hypothesisphysica noua)，其中包括两个部分：具体运动原理(Theoriamotus Concreti)，是奉献给伦敦英国皇家学会的；抽象运动原理(Theoria motus Abstracti)，是奉献给巴黎科学院的．他的具体原理是试图从较简单现象的角度来解释最重要的复杂现象的一种假说，这种原理建立在以太的相对循环的基础上，以太则是通过围绕地球的最初组成状态的物质才起作用的．他认为物体的全部内聚力依靠构成这些物体的微粒的运动，运动的起因是以太微粒的碰撞，它是物体的全部特性的终极原因．莱布尼茨的抽象原理来源于他对连续体的研究和对运动定律的看法，他认为物质的微粒完全处于静止状态时，对一个运动着的物质不存在阻力，只有当微粒构成部分的内在运动时，物体才具有阻力或内聚力．他认为，运动着的物体，不论多么微小，它将带着处于完全静止状态的物体的部分一起运动．他的物理学研究计划是：根据一个审慎的计划和规模，进行某些实验，借以在其上建立一个稳定的和论证的物理学堡垒．他的最终的奋斗目标是为物理学建立一个类似欧氏几何的公理系统．莱布尼茨在物理学上最重要的工作是对笛卡儿提出的动量守恒原理进行了认真的探讨，提出了能量守恒原理的雏型．1686年，莱布尼茨在《教师学报》上发表了反对笛卡儿关于力的度量的文章“关于笛卡儿和其他人在自然定律方面的显著错误的简短证明”(Breuis demonstratio erroris memorabilis Cartesii et aliorum circa Legem naturae)，提出了运动的量的问题，从而开始了与笛卡儿学派关于运动度量的长期争论，并发展成了力学中的两个派别．莱布尼茨指出，如果只用动量(mv，m为物体质量，v为物体运动速度)度量运动，那么“力”(mv2)在自然界不断增加或减少时，就会导致动量(mv)不守恒，因此他认为动量(mv)不能做为运动的度量单位．他把力分为“死力”和“活力”，“死力”是静止物体的“压力”或“拉力”，这种力是外来的，其度量是物体的质量和物体由静止状态到运动状态时具有的速度的乘积，即动量mv．“活力”(vis viva)是内在于物体的力，是物体的真运动．在他看来，“活力”应该由物体的质量和该物体所能上升的高度来测量(mh)，按照伽利略落体定律，莱布尼茨成功地计算出高度h与速度v的平方成正比，“活力”保持不变m1v21=m2v22．因此，1695年他正式称mv2为“活力”(vis viva)，并以mv2作为运动的度量单位，动能的概念就这样被引入到物理学中来了．这是他在《教师学报》上发表的“动力学实例”(Specimen dynamium)中提出的，这篇论文是莱布尼茨力学的结晶，包含了他的大部分研究成果．莱布尼茨第一次认为“活力”mv2是物理学上的终极因，因而可以转化为各种各样的形式，同时还第一次认为mv2的守恒是一个普遍的物理原理，这样他就有充分的理由证明“永动机是不可能”这样的观点．究竟应该以mv2，还是以mv，作为运动的量度，经过长达半个世纪的争论，直到1743年J．R．达朗贝尔(d’Alembert)指出两者都是正确的，不过各自所着眼的角度不同罢了，争论才平息．莱布尼茨反对牛顿的绝对时空观，与牛顿的学生S．克拉克(Clarke)进行了长时期的辩论．在莱布尼茨看来，时空与运动、物质是密不可分的，认为“没有物质也就没有空间，空间本身不是绝对的实在性”，“空间和物质的区别就象时间和运动的区别一样．可是这些东西虽有区别，却是不可分离的”．这些思想后来引起了A．爱因斯坦(Einstein)等人的关注．在材料力学方面，莱布尼茨支持马里奥特关于梁受力性质的思想．1684年，他在“固体受力的新分析证明”(Demonstratonsnovae de Resistentia Solidorum)一文中指出，纤维是可以延伸的，它们的拉力与伸长成正比．因此，他提出将胡克定律F=-kx应用于单根纤维，这一假说后来在材料力学中被称为马里奥特-莱布尼茨理论．在光学方面，莱布尼茨利用微积分中的求极值方法，推导出了折射定律：。