本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
数理逻辑
评论内容
发表评论
本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
数理逻辑