程京德(Jingde Cheng)的博 ...分享 http://blog.sciencenet.cn/u/JingdeCheng 相关逻辑，软件工程，知识工程，信息安全性工程；自强不息，厚德载物。

博文

全部博文|软件工程| 知识工程| 相关逻辑| 信息安全性工程| 数理逻辑| 计算科学| 人工智能| 其它| 他山之石| 逻辑学| 哲学逻辑|

“哥德尔不完全性定理”误解误用实例分析(3) - 扯上人工智能的谬误: 2024-7-29 08:21; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “哥德尔不完全性定理”误解误用实例 ...; 个人分类: 数理逻辑|3457 次阅读|没有评论

“哥德尔不完全性定理”误解误用实例分析(2) - 扯上人工智能的谬误: 2024-7-22 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “哥德尔不完全性定理”误解误用实例 ...; 个人分类: 数理逻辑|3721 次阅读|没有评论

“哥德尔不完全性定理”误解误用实例分析(1): 热度 1 2024-7-18 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “哥德尔不完全性定理”误解误用实例 ...; 个人分类: 数理逻辑|3975 次阅读|2 个评论热度 1

准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(5) - 一些相关事实: 2024-7-15 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不 ...; 个人分类: 数理逻辑|1820 次阅读|1 个评论

准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(4) - 误解误用的一般性原因: 热度 1 2024-7-8 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不 ...; 个人分类: 数理逻辑|2144 次阅读|2 个评论热度 1

准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(3) - 意义: 热度 1 2024-7-3 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判 ...; 个人分类: 数理逻辑|2942 次阅读|3 个评论热度 1

准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(2) - 理论基础及有效范围: 2024-6-30 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判 ...; 个人分类: 数理逻辑|1340 次阅读|没有评论

准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(1) - 背景及内容: 2024-6-26 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判 ...; 个人分类: 数理逻辑|3128 次阅读|1 个评论

形式逻辑系统中逻辑归结关系的形式化定义方法: 2024-1-12 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！形式逻辑系统中逻辑归结关系的形式化定义方法程京德 ...; 个人分类: 数理逻辑|1951 次阅读|没有评论

“PM及相关系统的形式不可判定命题”（2）- 哥德尔不完全性定理的涵义及有效范围: 2023-6-13 07:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “PM及相关系统的形式不可判定命题”（2）- 哥德尔不完全性定 ...; 个人分类: 数理逻辑|4737 次阅读|没有评论

程京德

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-9-23 13:28

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部