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