数理逻辑简介

1.为什么要学数理逻辑？
        数学是所有理工科的最基础的学科，我学习能力比较差，在本科学习阶段一直不理解高数线代概率论到底有什么用，后来读研后接触到一些应用学科后，才理解数学为何如此重要。数学是解决问题的最强工具，任何一门理工学科都离不开数学在背后的支持。
        数学在漫长的历史发展中经历了三次数学危机：
        ①从毕达哥拉斯定理到无理数的发现。
        ②从微积分中的无穷小到基于极限的分析基础。
        ③从“理发师悖论”到公理集合论的建立。
        数理逻辑主要是解决第三次危机，我们简单介绍一下理发师悖论：一个理发师只给所有不给自己理发的人理发，那么这个理发师是否可以给自己理发呢？如果他不给自己理发，那么他就是不给自己理发的人，那么他就应该给自己理发，如果他给自己理发，那么他就属于给自己理发的人，那么他就不该给自己理发，这样就形成了悖论。后续的数学家通过建立公理集合论比较完美地解决了这些悖论。
        从中我们可以看出，将学科建立在可靠严谨的公理系统上，是现代数学乃至科学的基本特征之一。我们数理逻辑学的就是将学科标准化，不会出现理发师悖论的情况。

2.目录

        ①形式系统

        ②命题逻辑

        ③一阶逻辑

        ④等词

        ⑤证明与反驳