【川大数学讨论班】22春第二次：数理逻辑

[视频作者] 少年__A

[视频时长] 104:35

[视频类型] 校园学习

介绍了数理逻辑中的命题逻辑与一阶逻辑，其中详细讲了命题逻辑中的语句、语义、语法与紧致性，而一阶逻辑略讲了繁琐的定义，重点介绍了紧致性及其有趣的推论。 这其中默认了数学知识为元语言，个人感觉这使得数理逻辑相比于建立数学的基础，更像是用逻辑对数学进行了解构、编码并从中发现其性质，这与范畴论有些相似而与集合论相反，当然这三者也是相互关联的。 这大概是这学期最后一次，我这学期要讲的咕到下学期初讲，主题未定。