数理逻辑简明教程

[视频作者] eip-1

[视频时长] 387:59

[视频类型] 校园学习

本视频为up给同学补习数理逻辑的实录，计划讲到哥德尔第二不完全性定理，随缘更新 教材使用的是Christopher C. Leary和Lars Kristiansen的A Friendly Introduction to Mathematical Logic 这些课程是用来突击期末考试的，所以在一定程度上舍弃了体系性与技术性，旨在梳理并理解概念，对哥德尔的理论有一个直觉上与大方向上的把握