北大数院up的大学数学科普第一期——数学的基础：逻辑

[视频作者] nichijou的涂山苏苏

[视频时长] 72:53

[视频类型] 校园学习

科普系列视频旨在让更多对数学有兴趣的人能够早些了解真正的数学 本期（第一期）选取了数学基础——数理逻辑作为科普对象，该部分前置知识要求少，思想深刻，适合大家初步了解数学理论的严密性 观看指南： 02:40 引言：演绎推理 07:37 非欧几何的故事 29:53 形式系统与公理化 35:14 重要问题：一致性 50:46 数学究竟在干什么 61:12 不完全性定理 69:23 总结 希望观看视频的各位通过本期视频，能够认识到数学理论建立的必备条件——严谨的定义，公理集与推理规则集，了解通过形式系统进行演绎推