莱布尼兹在1672年到1677年间引进了常量，变量与参变量等概念，从研究几何问题入手完成了微积分的基本理论，他创造了微分符号dx，dy与积分符号ò，现在使用的“微分学”、“积分”、“函数”、“导数”等名称也是他创造的，他给出了复合函数，幂函数，指数函数，对数函数以及和、差、积、商、幂，方根的求导法则，还给出了用微积分求旋转体体积的公式，1684年，莱布尼兹在自己创造的期刊上发表了一篇标题很长的论文：《一种求极大极小和切线的新方法，此方法对分式和无理式能通行无阻，且为此方法中的独特方法》，具有划时代的意义1686年，莱布尼兹发表了另一篇题为《论一种深邃的几何学和不可分量解析及……》的论文，应用他的方法，不仅能代数曲线的方程，而且也能给出非代数曲线即所谓超越曲线的方程。
牛顿和莱布尼兹几乎同时进入微积分的大门，他们的工作是互相独立的，正如笛卡儿和费马二人基本同时而又独立地创立了解析几何一样，经过二人的努力，微积分不再象希腊那样，所有的数学都是几何学的一个分支或几何学的延伸，而成为一门崭新的独立学科。
128.自守函数理论与庞加莱
亨利·庞加莱是法国数学家，1854年4月29日生于南锡，1912年7月17日卒于巴黎。
庞加莱的父母亲都出身于法国的显赫世家，几代人都居住在法国东部的洛林。庞加莱从小就显出超常的智力，他智力的重要来源之一是遗传。他的双亲智力都很高，他的双亲又可追溯到他的祖父。他的祖父曾在拿破仑政权下的圣康坦部队医院供职，1817年在鲁昂定居，先后生下两个儿子，大儿子莱昂·庞加莱即为庞加莱的父亲。
庞加莱的父亲是当地一位着名医生，并任南锡大学医学院教授。他的母亲是一位善良、才华出众、很有教养的女性，一生的心血全部倾注到教育和照料孩子身上。庞加莱叔叔的两个儿子是法国政界的着名人物：雷蒙·庞加莱于1913至1920年间任法国总统；吕西·庞加莱曾任法国民众教育与美术部长，负责中等教育工作。
庞加莱的童年主要接受母亲的教育。他的超常智力使他成为早熟的儿童，不仅接受知识极为迅速，而且口才也很流利。但不幸的事发生了：五岁时患了一场白喉病、九个月后喉头坏了，致使他的思想不能顺利用口头表达出来，并成为一位体弱多病的人。尽管如此，庞加莱还是乐意玩耍游戏，喜欢跳舞。当然，剧烈的运动他是无法进行。
庞加莱特别爱好读书，读书的速度快得惊人，而且能对读过的内容迅速、准确、持久地记住。他甚至能讲出书中某件事是在第几页第几行中讲述的！庞加莱还对博物学发生过特殊的兴趣，《大洪水前的地球》一书据说给他留下了终身不忘的印象。他对自然史的兴趣也很浓，历史、地理的成绩也很优异。他在儿童时代还显露了文学才华，有的作文被老师誉为“杰作”。
庞加莱1862年进入南锡中学读书。初进校时虽然他的各科学习成绩十分优异，但并没有对数学产生特殊的兴趣。对数学的特殊兴趣大约开始于15岁，并很快就显露了非凡才能。从此，他习惯于一边散步，一边解数学难题。这种习惯一直保持终身。
1870年7月19日爆发的普法战争使得庞加莱不得不中断学业。法国战败了，法国的许多城乡被德军洗劫一空并被德军占领。为了了解时局，他很快学会了德文。他通过亲眼看到的德军的暴行，使他成了一个炽热的爱国者。
1871年3月18日，巴黎无产者举行了武装起义，普法的反动派又很快联合起来扑灭了革命烈火，庞加莱又继续上学了。1872年庞加莱两次荣获法国公立中学生数学竞赛头等奖，从而使他于1873年被高等工科学校作第一名录取。据说，在南锡中学读书时，他的老师就誉称他为“数学巨人”。高等工科学校为了测试他的数学才能还特意设计了一套“漂亮的问题”，一方面要考出他的数学天才；另一方面也为了避免40年前伽罗瓦的教训重演。
1875年～1878年，庞加莱在高等工科学校毕业后，又在国立高等矿业学校学习工程，准备当一名工程师。但他却缺少这方面的勇气，且与他的兴趣不符。
1879年8月1日，庞加莱撰写了关于微分方程方面的博士论文，获得了博士学位。然后到卡昂大学理学院任讲师，1881年任巴黎大学教授，直到去世。这样，庞加莱一生的科学事业就和巴黎大学紧紧地联在一起了。
庞加莱的研究涉及数论、代数学、几何学、拓扑学等许多领域，最重要的工作是在分析学方面。他早期的主要工作是创立自守函数理论(1878)。他引进了富克斯群和克莱因群，构造了更一般的基本域。他利用后来以他的名字命名的级数构造了自守函数，并发现这种函数作为代数函数的单值化函数的效用。
1883年，庞加莱提出了一般的单值化定理(1907年，他和克贝相互独立地给出完全的证明)。同年，他进而研究一般解析函数论，研究了整函数的亏格及其与泰勒展开的系数或函数绝对值的增长率之间的关系，它同皮卡定理构成后来的整函数及亚纯函数理论发展的基础。他又是多复变函数论的先驱者之一。
庞加莱为了研究行星轨道和卫星轨道的稳定性问题，在1881～1886年发表的四篇关于微分方程所确定的积分曲线的论文中，创立了微分方程的定性理论。他研究了微分方程的解在四种类型的奇点(焦点、鞍点、结点、中心)附近的性态。他提出根据解对极限环(他求出的一种特殊的封闭曲线)的关系，可以判定解的稳定性。
1885年，瑞典国王奥斯卡二世设立“n体问题”奖，引起庞加莱研究天体力学问题的兴趣。他以关于当三体中的两个的质量比另一个小得多时的三体问题的周期解的论文获奖，还证明了这种限制性三体问题的周期解的数目同连续统的势一样大。这以后，他又进行了大量天体力学研究，引进了渐进展开的方法，得出严格的天体力学计算技术。
庞加莱还开创了动力系统理论，1895年证明了“庞加莱回归定理”。他在天体力学方面的另一重要结果是，在引力作用下，转动流体的形状除了已知的旋转椭球体、不等轴椭球体和环状体外，还有三种庞加莱梨形体存在。
庞加莱对数学物理和偏微分方程也有贡献。他用括去法证明了狄利克雷问题解的存在性，这一方法后来促使位势论有新发展。他还研究拉普拉斯算子的特征值问题，给出了特征值和特征函数存在性的严格证明。他在积分方程中引进复参数方法，促进了弗雷德霍姆理论的发展。
庞加莱对现代数学最重要的影响是创立组合拓扑学。1892年他发表了第一篇论文，1895～1904年，他在六篇论文中建立了组合拓扑学。他还引进贝蒂数、挠系数和基本群等重要概念，创造流形的三角剖分、单纯复合形、重心重分、对偶复合形、复合形的关联系数矩阵等工具，借助它们推广欧拉多面体定理成为欧拉-庞加莱公式，并证明流形的同调对偶定理。
庞加莱的思想预示了德·拉姆定理和霍奇理论。他还提出庞加莱猜想，在“庞加莱的最后定理”中，他把限制性三体问题的周期解的存在问题，归结为满足某种条件的平面连续变换不动点的存在问题。
庞加莱在数论和代数学方面的工作不多，但很有影响。他的《有理数域上的代数几何学》一书开创了丢番图方程的有理解的研究。他定义了曲线的秩数，成为丢番图几何的重要研究对象。他在代数学中引进群代数并证明其分解定理。第一次引进代数中的左理想和右理想的概念。证明了李代数第三基本定理及坎贝尔-豪斯多夫公式。还引进李代数的包络代数，并对其基加以描述，证明了庞加莱-伯克霍夫-维特定理。
庞加莱对经典物理学有深入而广泛的研究，对狭义相对论的创立有贡献。他从1899年开始研究电子理论，首先认识到洛伦茨变换构成群。
庞加莱的哲学着作《科学与假设》《科学的价值》《科学与方法》也有着重大的影响。他是约定主义的代表人物，认为科学公理是方便的定义或约定，可以在一切可能的约定中进行选择，但需以实验事实为依据，避开一切矛盾。在数学上，他不同意罗素、希尔伯特的观点，反对无穷集合的概念，赞成潜在的无穷，认为数学最基本的直观概念是自然数，反对把自然数归结为集合论。这使他成为直觉主义的先驱者之一。
1905年，匈牙利科学院颁发一项奖金为1万金克朗的鲍尔约奖。这个奖是要奖给在过去25年为数学发展作出过最大贡献的数学家。由于庞加莱从1879年就开始从事数学研究，并在数学的几乎整个领域都作出了杰出贡献，因而此项奖又非他莫属。
1906年，庞加莱当选为巴黎科学院主席；1908年，他被选为法国科学院院士，这是一位法国科学家所能达到的最高地位。1908年庞加莱因前列腺增大而未能前往罗马，虽经意大利外科医生作了手术，使他能继续如前一样精力充沛地工作，但好景不长。
1912年春天，庞加莱再次病倒了，7月9日作了第二次手术；7月17日在穿衣服时，突然因血栓梗塞，在巴黎逝世，终年仅58岁！
庞加莱被公认是19世纪后四分之一和二十世纪初的领袖数学家，是对于数学和它的应用具有全面知识的最后一个人。
罗素认为，本世纪初法兰西最伟大的人物就是亨利·庞加莱。“当我最近在盖？吕萨街庞加莱通风的休息处拜访他时……我的舌头一下子失去了功能，直到我用了一些时间(可能有两、三分钟)仔细端详和承受了可谓他思想的外部形式的年轻面貌时，我才发现自己能够开始说话了。”
这位“如此美貌，如此年轻”的孩子，竟然是那些洪水般涌来、预示了柯西的一个后继者的到来的论文作者，这是创办《美国数学杂志》的英国数学家西尔维斯特于1885年见到庞加莱的心情写照。
阿达马这位曾在函数论、数论、微分方程、泛函分析、微分几何、集合论、数学基础等领域作出过杰出贡献的法国数学家认为，庞加莱“整个地改变了数学科学的状况，在一切方向上打开了新的道路。”
庞加莱逝世80年来的历史告诉我们，罗素、西尔维斯特、阿达马等的论断是多么正确！庞加莱一生发表的科学论文约500篇、科学着作约30部，几乎涉及到数学的所有领域以及理论物理、天体物理等的许多重要领域。
129.哥德尔不完全性定理
他旋动数学的透镜注视着数学本身，偶然间他发现了着名的“不完全定理”——它像-支锥子穿透了形式主义的心脏。
1906年卡特·哥德尔生于布伦城，那时布伦是奥匈帝国的领土，现在它属于捷克共和国的一部分。他的父亲是一家纺织厂的经理，喜爱逻辑学和进行推理，他的母亲则一直提倡对自己的独生子要尽早教育。10岁之前，哥德尔一直在学习数学、宗教和好几种语言。到25岁时，他已经提出了被许多人认为是20世纪最重要的数学成果的“不完全定理”。1931年，哥德尔提出了他的发现，引起了人们的震惊和迷茫。它表明，世界上最着名的数学家的将近一个世纪的努力是注定要失败的。
为了对哥德尔的理论表示赞赏，去理解那个时代数学怎样被感知，是一件残忍的事情。多少个世纪以来，人类处于典型的泥水不分的混沌状态，那时人的模糊直觉和明白无误的逻辑思考是搅和在一起的，直到19世纪末期，数学才终于有了发展。所谓的形式体系被设计了出来，就像从树干上长出了枝丫，定理从推论公理中生了出来。形式体系表明，得出定理的过程必须从某个地方开始，并且这个地方一定是存在公理的地方，它们是原始的种子，是其他数学结论的源泉。
机械数学观的优点是它剔除了所有思考和判断的需要。只要公理是正确的叙述，并且只要推理的法则是正确的，数学就不会出轨，谎言就不会轻而易举地得逞。
为了发挥标准数字、加号、括号及其他符号的优势，人们经常把文字叙述写成用一系列符号表示的形式体系。但是，那时这些符号并不是数学的一个必要特征。虽然文字叙述同样被用来表示李子、香蕉、苹果和橘子，然而那时候，数学叙述（由任意符号构成）越来越明显地成为数学的一种单纯的精确的结构模式。
很快，少数几个有远见的人物开始懂得了数学叙述的特点，哥德尔即是他们中的佼佼者，这种看待事物的方式打开了数学的一个新的分支学科——抽象数学。常用的数学分析方法是与抽象数学的模仿一萌芽阶段相联系的，这一阶段形成了形式体系的本质——数学本身被假设为抽象数学的原始样本。这样数学就像一条自食的蛇一样又扭过头来盘住了自己。
