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

博文

按标题搜索
研究生教育及学位授予制度应该到改革之时了(讨论稿)
热度 1 2024-7-26 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 研究生教育及学位授予制度应该到改革 ...
个人分类: 其它|2644 次阅读|4 个评论 热度 1
“哥德尔不完全性定理”误解误用实例分析(2) - 扯上人工智能的谬误
2024-7-22 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “哥德尔不完全性定理”误解误用实例 ...
个人分类: 数理逻辑|3250 次阅读|没有评论
“哥德尔不完全性定理”误解误用实例分析(1)
热度 1 2024-7-18 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “哥德尔不完全性定理”误解误用实例 ...
个人分类: 数理逻辑|3532 次阅读|2 个评论 热度 1
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(5) - 一些相关事实
2024-7-15 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 准确地理解哥 德尔不完全性定理“关于PM及相关系统的形式不 ...
个人分类: 数理逻辑|1419 次阅读|1 个评论
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(4) - 误解误用的一般性原因
热度 1 2024-7-8 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 准确地理解哥 德尔不完全性定理“关于PM及相关系统的形式不 ...
个人分类: 数理逻辑|1851 次阅读|2 个评论 热度 1
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(3) - 意义
热度 1 2024-7-3 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判 ...
个人分类: 数理逻辑|2586 次阅读|3 个评论 热度 1
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(2) - 理论基础及有效范围
2024-6-30 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判 ...
个人分类: 数理逻辑|1097 次阅读|没有评论
自动定理发现领域的创始者 - 沃斯
2024-6-29 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 自动定理发现领域的创始者 - 沃斯 ...
个人分类: 相关逻辑|2075 次阅读|没有评论
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(1) - 背景及内容
2024-6-26 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判 ...
个人分类: 数理逻辑|2833 次阅读|1 个评论
相关逻辑 (4) - 形式语言
2024-6-25 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关逻辑 (4) - 形式语言 程京德 自2 ...
个人分类: 相关逻辑|2393 次阅读|没有评论

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

GMT+8, 2024-7-27 13:37

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部