关于复数论文范文资料

去看下（理论数学）吧，或者自己在网上多找下这类的文献，多看看，自己写

牛顿、莱布尼茨和微积分微积分的产生是数学上的伟大创造。它从生产技术和理论科学的需要中产生，又反过来广泛影响着生产技术和科学的发展。如今，微积分已是广大科学工作 者以及技术人员不可缺少的工具。 从微积分成为一门学科来说，是在十七世纪，但是，微分和积分的思想在古代就已经产生了。 公元前三世纪，古希腊的阿基米德在研究解决抛物弓形的面积、球和球冠面积、螺线下面积和旋转双曲体的体积的问题中，就隐含着近代积分学的思想。作为微分学基础的极限理论来说，早在古代以有比较清楚的论述。比如我国的庄周所著的《庄子》一书的“天下篇”中，记有“一尺之棰，日取其半，万世不竭”。三国时期的刘徽在他的割圆术中提到“割之弥细，所失弥小，割之又割，以至于不可割，则与圆周和体而无所失矣。”这些都是朴素的、也是很典型的极限概念。 到了十七世纪，有许多科学问题需要解决，这些问题也就成了促使微积分产生的因素。归结起来，大约有四种主要类型的问题：第一类是研究运动的时候直接出现的，也就是求即时速度的问题。第二类问题是求曲线的切线的问题。第三类问题是求函数的最大值和最小值问题。第四类问题是求曲线长、曲线围成的面积、曲面围成的体积、物体的重心、一个体积相当大的物体作用于另一物体上的引力。 十七世纪的许多著名的数学家、天文学家、物理学家都为解决上述几类问题作了大量的研究工作，如法国的费尔玛、笛卡尔、罗伯瓦、笛沙格；英国的巴罗、瓦里士；德国的开普勒；意大利的卡瓦列利等人都提出许多很有建树的理论。为微积分的创立做出了贡献。 十七世纪下半叶，在前人工作的基础上，英国大科学家牛顿和德国数学家莱布尼茨分别在自己的国度里独自研究和完成了微积分的创立工作，虽然这只是十分初步的工作。他们的最大功绩是把两个貌似毫不相关的问题联系在一起，一个是切线问题（微分学的中心问题），一个是求积问题(积分学的中心问题)。 1605 年 5 月 20 日，在牛顿手写的一面文件中开始有 “ 流数术 ” 的记载，微积分的诞生不妨以这一天为标志。牛顿关于微积分的著作很多写于 1665 - 1676 年间，但这些著作发表很迟。他完整地提出微积分是一对互逆运算，并且给出换算的公式，就是后来著名的牛顿-莱而尼茨公式。 牛顿是那个时代的科学巨人。在他之前，已有了许多积累：哥伦布发现新大陆，哥白尼创立日心说，伽利略出版《力学对话》，开普勒发现行星运动规律--航海的需要，矿山的开发，火松制造提出了一系列的力学和数学的问题，微积分在这样的条件下诞生是必然的。 牛顿于 1642 年出生于一个贫穷的农民家庭，艰苦的成长环境造就了人类历史上的一位伟大的科学天才，他对物理问题的洞察力和他用数学方法处理物理问题的能力，都是空前卓越的。尽管取得无数成就，他仍保持谦逊的美德。 如果说牛顿从力学导致 “ 流数术 ” ，那莱布尼茨则是从几何学上考察切线问题得出微分法。他的第一篇论文刊登于 1684 年的《都市期刊》上，这比牛顿公开发表微积分著作早 3 年，这篇文章给一阶微分以明确的定义。 莱布尼茨 1646 年生于莱比锡。 15 岁进入莱比锡大学攻读法律，勤奋地学习各门科学，不到 20 岁就熟练地掌握了一般课本上的数学、哲学、神学和法学知识。莱布尼茨对数学有超人的直觉，并且对于设计符号很第三。他的微积分符号 “dx\" 和 ”∫” 已被证明是很发用的。 牛顿和莱布尼茨总结了前人的工作，经过各自独立的研究，掌握了微分法和积分法，并洞悉了二者之间的联系。因而将他们两人并列为微积分的创始人是完全正确的，尽管牛顿的研究比莱布尼茨早 10 年，但论文的发表要晚 3 年，由于彼此都是独立发现的，曾经长期争论谁是最早的发明者就毫无意义。牛顿和莱尼茨的晚年就是在这场不幸的争论中度过的。 牛顿的“流数术” 数学史的另一次飞跃就是研究“形”的变化。17世纪生产力的发展推动了自然科学和技术的发展，不但已有的数学成果得到进一步巩固、充实和扩大，而且由于实践的需要，开始研究运动着的物体和变化的量，这样就获得了变量的概念，研究变化着的量的一般性和它们之间的依赖关系。到了17世纪下半叶，在前人创造性研究的基础上，英国大数学家、物理学家艾萨克?牛顿（1642~1727）是从物理学的角度研究微积分的，他为了解决运动问题，创立了一种和物理概念 直接联系的数学理论，即牛顿称之为“流数术”的理论，这实际上就是微积分理论。牛顿的有关“流数术”的主要著作是《求曲边形面积》、《运用无穷多项方程的计算法》和《流数术和无穷极数》。这些概念是力不概念的数学反映。牛顿认为任何运动存在于空间，依赖于时间，因而他把时间作为自变量，把和时间有关的固变量作为流量，不仅这样，他还把几何图形――线、角、体，都看作力学位移的结果。因而，一切变量都是流量。 牛顿指出，“流数术”基本上包括三类问题。 （1）已知流量之间的关系，求它们的流数的关系，这相当于微分学。 （2）已知表示流数之间的关系的方程，求相应的流量间的关系。这相当于积分学，牛顿意义下的积分法不仅包括求原函数，还包括解微分方程。 （3）“流数术”应用范围包括计算曲线的极大值、极小值，求曲线的切线和曲率，求曲线长度及计算曲边形面积等。 牛顿已完全清楚上述（1）与（2）两类问题中运算是互逆的运算，于是建立起微分学和积分学之间的联系。 牛顿在1665年5月20日的一份手稿中提到“流数术”，因而有人把这一天作为诞生微积分的标志。 莱布尼茨使微积分更加简洁和准确 而德国数学家莱布尼茨（G.W. Leibniz 1646~1716）则是从几何方面独立发现了微积分，在牛顿和莱布尼茨之前至少有数十位数学家研究过，他们为微积分的诞生作了开创性贡献。但是他们这些工作是零碎的，不连贯的，缺乏统一性。莱布尼茨创立微积分的途径与方法与牛顿是不同的。莱布尼茨是经过研究曲线的切线和曲线包围的面积，运用分析学方法引进微积分概念、得出运算法则的。牛顿在微积分的应用上更多地结合了运动学，造诣较莱布尼茨高一等，但莱布尼茨的表达形式采用数学符号却又远远优于牛顿一筹，既简洁又准确地揭示出微积分的实质，强有力地促进了高等数学的发展。 莱布尼茨创造的微积分符号，正像印度――阿拉伯数码促进了算术与代数发展一样，促进了微积分学的发展。莱布尼茨是数学史上最杰出的符号创造者之一。 牛顿当时采用的微分和积分符号现在不用了，而莱布尼茨所采用的符号现今仍在使用。莱布尼茨比别人更早更明确地认识到，好的符号能大大节省思维劳动，运用符号的技巧是数学成功的关键之一。 牛顿和莱布尼茨建立微积分的出发点是直观的无穷小量，因此这门学科早期也称为无穷小分析，这正是现在数学中分析学这一大分支名称的来源。牛顿研究微积分着重于从运动学来考虑，莱布尼茨却是侧重于几何学来考虑的。 牛顿在1671年写了《流数法和无穷级数》，这本书直到1736年才出版，它在这本书里指出，变量是由点、线、面的连续运动产生的，否定了以前自己认为的变量是无穷小元素的静止集合。他把连续变量叫做流动量，把这些流动量的导数叫做流数。牛顿在流数术中所提出的中心问题是：已知连续运动的路径，求给定时刻的速度（微分法）；已知运动的速度求给定时间内经过的路程(积分法)。 德国的莱布尼茨是一个博才多学的学者，1684年，他发表了现在世界上认为是最早的微积分文献，这篇文章有一个很长而且很古怪的名字《一种求极大极小和切线的新方法，它也适用于分式和无理量，以及这种新方法的奇妙类型的计算》。就是这样一片说理也颇含糊的文章，却有划时代的意义。他以含有现代的微分符号和基本微分法则。1686年，莱布尼茨发表了第一篇积分学的文献。他是历史上最伟大的符号学者之一，他所创设的微积分符号，远远优于牛顿的符号，这对微积分的发展有极大的影响。现在我们使用的微积分通用符号就是当时莱布尼茨精心选用的。 微积分学的创立，极大地推动了数学的发展，过去很多初等数学束手无策的问题，运用微积分，往往迎刃而解，显示出微积分学的非凡威力。 前面已经提到，一门科学的创立决不是某一个人的业绩，他必定是经过多少人的努力后，在积累了大量成果的基础上，最后由某个人或几个人总结完成的。微积分也是这样。不幸的事，由于人们在欣赏微积分的宏伟功效之余，在提出谁是这门学科的创立者的时候，竟然引起了一场悍然大波，造成了欧洲大陆的数学家和英国数学家的长期对立。英国数学在一个时期里闭关锁国，囿于民族偏见，过于拘泥在牛顿的“流数术”中停步不前，因而数学发展整整落后了一百年。 其实，牛顿和莱布尼茨分别是自己独立研究，在大体上相近的时间里先后完成的。比较特殊的是牛顿创立微积分要比莱布尼词早10年左右，但是整是公开发表微积分这一理论，莱布尼茨却要比牛顿发表早三年。他们的研究各有长处，也都各有短处。那时候，由于民族偏见，关于发明优先权的争论竟从1699年始延续了一百多年。 应该指出，这是和历史上任何一项重大理论的完成都要经历一段时间一样，牛顿和莱布尼茨的工作也都是很不完善的。他们在无穷和无穷小量这个问题上，其说不一，十分含糊。牛顿的无穷小量，有时候是零，有时候不是零而是有限的小量；莱布尼茨的也不能自圆其说。这些基础方面的缺陷，最终导致了第二次数学危机的产生。 直到19世纪初，法国科学学院的科学家以柯西为首，对微积分的理论进行了认真研究，建立了极限理论，后来又经过德国数学家维尔斯特拉斯进一步的严格化，使极限理论成为了微积分的坚定基础。才使微积分进一步的发展开来。任何新兴的、具有无量前途的科学成就都吸引着广大的科学工作者。在微积分的历史上也闪烁着这样的一些明星：瑞士的雅科布·贝努利和他的兄弟约翰·贝努利、欧拉、法国的拉格朗日、…… 欧氏几何也好，上古和中世纪的代数学也好，都是一种常量数学，微积分才是真正的变量数学，是数学中的大革命。微积分是高等数学的主要分支，不只是局限在解决力学中的变速问题，它驰骋在近代和现代科学技术园地里，建立了数不清的丰功伟绩。 留给后人的思考 从始创微积分的时间说牛顿比莱布尼茨大约早10年，但从正式公开发表的时间说牛顿却比莱布尼茨要晚。牛顿系统论述“流数术”的重要著作《流数术和无穷极数》是1671年写成的，但因1676年伦敦大火殃及印刷厂，致使该书1736年才发表，这比莱布尼茨的论文要晚半个世纪。另外也有书中记载：牛顿于1687年7月，用拉丁文发表了他的巨著《自然哲学的数学原理》，在此文中提出了微积分的思想。他用“0”表示无限小增量，求出瞬时变化率，后来他把变量X称为流量，X的瞬时变化率称为流数，整个微积分学称为“流数学”，事实上，他们二人是各自独立地建立了微积分。最后还应当指出的是，牛顿的“流数术”，在概念上是不够清晰的，理论上也不够严密，在运算步骤中具有神秘的色彩，还没有形成无穷小及极限概念。牛顿和莱布尼茨的特殊功绩在于，他们站在更高的角度，分析和综合了前人的工作，将前人解决各种具体问题的特殊技巧，统一为两类普通的算法――微分与积分，并发现了微分和积分互为逆运算，建立了所谓的微积分基本定理（现今称为牛顿――莱布尼茨公式），从而完成了微积分发明中最关键的一步，并为其深入发展和广泛应用铺平了道路。由于受当时历史条件的限制，牛顿和莱布尼茨建立的微积分的理论基础还不十分牢靠，有些概念比较模糊，因此引发了长期关于微积分的逻辑基础的争论和探讨。经过18、19世纪一大批数学家的努力，特别是在法国数学家柯西首先成功地建立了极限理论之后，以极限的观点定义了微积分的基本概念，并简洁而严格地证定理即牛顿―莱布尼茨公式，才给微积分建立了一个基本严格的完整体系。 不幸的是牛顿和莱布尼茨各自创立了微积分之后，历史上发生了优先权的争论，从而使数学家分为两派，欧洲大陆数学家两派，欧洲大陆的数学家，尤其是瑞士数学家雅科布?贝努利（1654~1705）和约翰?贝努利（1667~1748）兄弟支持莱布尼茨，而英国数学家捍卫牛顿，两派争吵激烈，甚至尖锐到互相敌对、嘲笑。牛顿死后，经过调查核实，事实上，他们各自独立地创立了微积分。这件事的结果致使英国和欧洲大陆的数学家停止了思想交流，使英国人在数学上落后了一百多年，因为牛顿在《自然哲学的数学原理》中使用的是几何方法，英国人差不多在一百多年中照旧使用几何工具，而大陆的数学家继续使用莱布尼茨的分析方法，并使微积分更加完善，在这100年中英国甚至连大陆通用的微积分都不认识。虽然如此，科学家对待科学谨慎和刻苦的精神还是值得我们学习的。 莱布尼兹 莱布尼兹 (1646-1716) 莱布尼兹是17、18世纪之交德国最重要的数学家、物理学家和哲学家，一个举世罕见的科学天才。他博览群书，涉猎百科，对丰富人类的科学知识宝库做出了不可磨灭的贡献。 生平事迹莱布尼兹出生于德国东部莱比锡的一个书香之家，广泛接触古希腊罗马文化，阅读了许多著名学者的著作，由此而获得了坚实的文化功底和明确的学术目标。15岁时，他进了莱比锡大学学习法律，还广泛阅读了培根、开普勒、伽利略、等人的著作，并对他们的著述进行深入的思考和评价。在听了教授讲授欧几里德的《几何原本》的课程后，莱布尼兹对数学产生了浓厚的兴趣。17岁时他在耶拿大学学习了短时期的数学，并获得了哲学硕士学位。 20岁时他发表了第一篇数学论文《论组合的艺术》。这是一篇关于数理逻辑的文章，其基本思想是出于想把理论的真理性论证归结于一种计算的结果。这篇论文虽不够成熟，但却闪耀着创新的智慧和数学才华。 莱布尼兹在阿尔特道夫大学获得博士学位后便投身外交界。在出访巴黎时，莱布尼兹深受帕斯卡事迹的鼓舞，决心钻研高等数学，并研究了笛卡儿、费尔马、帕斯卡等人的著作。他的兴趣已明显地朝向了数学和自然科学，开始了对无穷小算法的研究，独立地创立了微积分的基本概念与算法，和牛顿并蒂双辉共同奠定了微积分学。1700年被选为巴黎科学院院士，促成建立了柏林科学院并任首任院长。 始创微积分 17世纪下半叶，欧洲科学技术迅猛发展，由于生产力的提高和社会各方面的迫切需要，经各国科学家的努力与历史的积累，建立在函数与极限概念基础上的微积分理论应运而生了。微积分思想，最早可以追溯到希腊由阿基米德等人提出的计算面积和体积的方法。1665年牛顿创始了微积分，莱布尼兹在1673-1676年间也发表了微积分思想的论著。以前，微分和积分作为两种数学运算、两类数学问题，是分别加以研究的。卡瓦列里、巴罗、沃利斯等人得到了一系列求面积（积分）、求切线斜率（导数）的重要结果，但这些结果都是孤立的，不连贯的。只有莱布尼兹和牛顿将积分和微分真正沟通起来，明确地找到了两者内在的直接联系：微分和积分是互逆的两种运算。而这是微积分建立的关键所在。只有确立了这一基本关系，才能在此基础上构建系统的微积分学。并从对各种函数的微分和求积公式中，总结出共同的算法程序，使微积分方法普遍化，发展成用符号表明了微积分基本 示的微积分运算法则。 然而关于微积分创立的优先权，数学上曾掀起了一场激烈的争论。实际上，牛顿在微积分方面的研究虽早于莱布尼兹，但莱布尼兹成果的发表则早于牛顿。莱布尼兹在1684年10月发表的《教师学报》上的论文，“一种求极大极小的奇妙类型的计算”，在数学史上被认为是最早发表的微积分文献。牛顿在1687年出版的《自然哲学的数学原理》的第一版和第二版也写道：“十年前在我和最杰出的几何学家G、W莱布尼兹的通信中，我表明我已经知道确定极大值和极小值的方法、作切线的方法以及类似的方法，但我在交换的信件中隐瞒了这方法，……这位最卓越的科学家在回信中写道，他也发现了一种同样的方法。他并诉述了他的方法，它与我的方法几乎没有什么不同，除了他的措词和符号而外。”因此，后来人们公认牛顿和莱布尼兹是各自独立地创建微积分的。牛顿从物理学出发，运用集合方法研究微积分，其应用上更多地结合了运动学，造诣高于莱布尼兹。莱布尼兹则从几何问题出发，运用分析学方法引进微积分概念、得出运算法则，其数学的严密性与系统性是牛顿所不及的。莱布尼兹认识到好的数学符号能节省思维劳动，运用符号的技巧是数学成功的关键之一。因此，他发明了一套适用的符号系统，如，引入dx 表示x的微分，∫表示积分，dnx表示n阶微分等等。这些符号进一步促进了微积分学的发展。 1713年，莱布尼兹发表了《微积分的历史和起源》一文，总结了自己创立微积分学的思路，说明了自己成就的独立性。 莱布尼兹在数学方面的成就是巨大的，他的研究及成果渗透到高等数学的许多领域。他的一系列重要数学理论的提出，为后来的数学理论奠定了基础。莱布尼兹曾讨论过负数和复数的性质，得出复数的对数并不存在，共扼复数的和是实数的结论。在后来的研究中，莱布尼兹证明了自己结论是正确的。他还对线性方程组进行研究，对消元法从理论上进行了探讨，并首先引入了行列式的概念，提出行列式的某些理论。此外，莱布尼兹还创立了符号逻辑学的基本概念，发明了能够进行加、减、乘、除及开方运算的计算机和二进制，为计算机的现代发展奠定了坚实的基础。 丰硕的物理学成果 莱布尼兹的物理学成就也是非凡的。他发表了《物理学新假说》，提出了具体运动原理和抽象运动原理，认为运动着的物体，不论多么渺小，他将带着处于完全静止状态的物体的部分一起运动。他还对笛卡儿提出的动量守恒原理进行了认真的探讨，提出了能量守恒原理的雏型，并在《教师学报》上发表了“关于笛卡儿和其他人在自然定律方面的显著错误的简短证明”，提出了运动的量的问题，证明了动量不能作为运动的度量单位，并引入动能概念，第一次认为动能守恒是一个普通的物理原理。他又充分地证明了“永动机是不可能”的观点。他也反对牛顿的绝对时空观，认为“没有物质也就没有空见，空间本身不是绝对的实在性”，“空间和物质的区别就象时间和运动的区别一样，可是这些东西虽有区别，却是不可分离的”。在光学方面，莱布尼兹也有所建树，他利用微积分中的求极值方法，推导出了折射定律，并尝试用求极值的方法解释光学基本定律。可以说莱布尼兹的物理学研究一直是朝着为物理学建立一个类似欧氏几何的公理系统的目标前进的。 发明乘法计算机 德国人莱布尼兹发明了乘法计算机，他受中国易经八卦的影响最早提出二进 制运算法则。莱布尼兹对帕斯卡的加法机很感兴趣。于是，莱布尼兹也开始了对计算机的研究。1672年1月，莱布尼兹搞出了一个木制的机器模型，向英国皇家学会会员们做了演示。但这个模型只能说明原理，不能正常运行。 1674年，最后定型的那台机器，就是由奥利韦一人装配而成的。莱布尼兹的这台乘法机长约1米，宽30厘米，高25厘米。它由不动的计数器和可动的定位机构两部分组成。整个机器由一套齿轮系统来传动，它的重要部件是阶梯形轴，便于实现简单的乘除运算。莱布尼兹设计的样机，先后在巴黎、伦敦展出。由于他在计算设备上的出色成就，被选为英国皇家学会会员。 中西文化交流之倡导者 莱布尼兹对中国的科学、文化和哲学思想十分关注，是最早研究中国文化和中国哲学的德国人。他向耶酥会来华传教士格里马尔迪了解到了许多有关中国的情况，包括养蚕纺织、造纸印染、冶金矿产、天文地理、数学文字等等，并将这些资料编辑成册出版。他认为中西相互之间应建立一种交流认识的新型关系。在《中国近况》一书的绪论中，莱布尼兹写道：“全人类最伟大的文化和最发达的文明仿佛今天汇集在我们大陆的两端，即汇集在欧洲和位于地球另一端的东方的欧洲——中国。”“中国这一文明古国与欧洲相比，面积相当，但人口数量则已超过。”“在日常生活以及经验地应付自然的技能方面，我们是不分伯仲的。我们双方各自都具备通过相互交流使对方受益的技能。在思考的缜密和理性的思辩方面，显然我们要略胜一筹”，但“在时间哲学，即在生活与人类实际方面的伦理以及治国学说方面，我们实在是相形见拙了。”在这里，莱布尼兹不仅显示出了不带“欧洲中心论”色彩的虚心好学精神，而且为中西文化双向交流描绘了宏伟的蓝图，极力推动这种交流向纵深发展，是东西方人民相互学习，取长补短，共同繁荣进步。莱布尼兹为促进中西文化交流做出了毕生的努力，产生了广泛而深远的影响。 由于莱布尼茨在牛顿完成其前两段工作之后曾访问巴黎（1672年）和伦敦（1673年），并且和了解牛顿微积分工作的科学家们通过信，因而被指责为“剽窃者”。这使他起而为自己的名誉辨护，因而使这场争论达到了相当激烈的地步。许多数学家都被牵扯了进来，直到使欧洲数学家分成两派，大陆的数学家们为莱布尼茨辩护，英国的数学家们则捍卫牛顿，以至长期对立，形成学术上的门户之见，达到双方停止了学术思想交流的程度，影响了此后一段时间的数学进展。在牛顿和莱布尼茨都已逝世之后进行的调查表明：虽然牛顿的大部分工作是在莱布尼茨之前做的，但莱布尼茨也是微积分主要思想的独立创立者，他们都同样地接受了前辈数学家的启发，同样地作出了自己的独立贡献。在以前的科学史上我们已经看到，在以后的科学史上我们还将一再地看到这种同一发现在大致相同的时间被完全不同甚至互不相识的人们独立完成的现象。这种现象的大量出现，最好不过地说明：是科学的发展造就了杰出的科学家，而不是杰出科学家的个人天赋决定了科学的发展。

数学是研究数量、结构、变化以及空间模型等概念的一门学科.透过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察中产生.数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理. 数学,作为人类思维的表达形式,反映了人们积极进取的意志、缜密周详的推理及对完美境界的追求.它的基本要素是：逻辑和直观、分析和推理、共性和个性.虽然不同的传统学派可以强调不同的侧面,然而正是这些互相对立的力量的相互作用,以及它们综合起来的努力,才构成了数学科学的生命力、可用性和它的崇高价值. 数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件.这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连著.除了上述主要的关注之外,亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至 *** 论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习 数量的学习起于数,一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算.整数更深的性质被研究于数论中,此一理论包括了如费马最后定理之著名的结果.当数系更进一步发展时,整数被承认为有理数的子集,而有理数则包含于实数中,连续的数量即是以实数来表示的.实数则可以被进一步广义化成复数.数的进一步广义化可以持续至包含四元数及八元数.自然数的考虑亦可导致超限数,它公式化了计数至无限的这一概念.另一个研究的领域为其大小,这个导致了基数和之后对无限的另外一种概念：阿列夫数,它允许无限 *** 之间的大小可以做有意义的比较. 数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果.就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理.现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关连性.