数学各个分支在实际的应用（谈谈数学发展的一个分支）

现代汉语词典第6版对数理逻辑的解释为“数学的一个分支，用数学的方法研究推理、计算等逻辑问题，也叫符号逻辑。”词典的解释比较简短，但其实这门数学分支——数理逻辑的发展有一段相当长的历史。让我们从一个人和一本书说起。

这个人是一个著名的古希腊数学家，他叫欧几里得，而这本书是数学中的著作，书名叫做《几何原本》。没错！欧几里得是这本书——《几何原本》的作者。我想，对几何学感兴趣的人对欧几里得和《几何原本》应该都不陌生。可以说，《几何原本》是数学史上的第一座理论丰碑。为什么这样说呢？因为这本书确立了数学演绎范式，这种范式是说每个命题必须是在它之前已经建立的一些命题的逻辑结论，而所有这样的推理的共同出发点则是一些基本定义和被认为是不证自明的基本原理——公设或者公理。这就是公理化思想的萌芽。公理化思想经过几代数学家的不断发展，现已经成为数理逻辑的一个重要数学分支(数理逻辑的另外三个分支分别是证明论、模型论、递归论)。下面介绍一个在数理逻辑领域的大师级人物。

罗素是数理逻辑领域的大师。罗素对数理逻辑的发展贡献很大，他与他的老师怀特海合著的《数学原理》是逻辑发展史的一座里程碑，想挑战一下自己智商的小伙伴可以找《数学原理》来读读。同时，罗素也是一名作家，一生著作等身，获得过诺贝尔文学奖，获奖作品是《婚姻与道德》。他的自传是小编最喜爱的书籍之一，至今还珍藏着他写的几本书。他的自传充满着幽默与对生活、对人生、对世界的种种思考与感悟。下面是其中一本书的封面:

数理逻辑能成为数学的重要数学分支与对数学基础的不断深入探讨是分不开的。数学的严格基础，自古希腊以来就是数学家们追求的目标。如果把数学分为纯粹数学和应用数学，那么很显然，数理逻辑属于纯粹数学的范围。如果你要问，那研究数理逻辑对我们的生活有什么影响吗？对于这个问题，数学家阿达玛在他的一本书叫《数学领域中的创造心理学》写到:“对我们来说答案出现在问题之前……，很少有重要的数学研究是进行由于看到一个给定的实际应用而进行的，相反，它们是由一种愿望引发的，这种愿望是每一项科学工作的共同动因，即想知道和理解事物的愿望。”关于数理逻辑有很多专著，喜欢数学的同学可以找来读一读。