准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(5) - 一些相关事实 精选 [敬请读者注意]本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文...,科学网... 奈飞网 2024-07-15 40 #数理逻辑 #命题的否定 #命题逻辑 #逻辑学
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(2) - 理论基础及有效范围 精选 [敬请读者注意]本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文...,科学网... 奈飞网 2024-06-30 42 #数理逻辑 #命题逻辑 #命题的否定 #逻辑学
