数理逻辑

数理逻辑之零：绪论

          这学期学习一门课程《数理逻辑》，教材选用 A.G.汉密尔顿于1978年所著经典教材《数理逻辑》，由华东师范大学出版社出版，原版已绝版。数理逻辑期望在数学家与逻辑学家之间架起一座沟通的桥梁，《数理逻辑》是我的学位课，前四章自学，后两章难度较大，由老师亲自讲解，在此感谢Zhu老师。在学习数理逻辑之前，最好具备有初等代数及数论的基础知识，课程学习主要包括六个部分：
       一，非形式的命题演算
       二，形式的命题演算
       三，非形式的谓词演算
       四，形式的谓词演算
       五，数学系统
       六，哥德尔不完全性定理

      下面就分别讲解这六个部分的内容，后续不断更新，希望共同学习。