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