科学网—JingdeCheng的博文 - 第2页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › JingdeCheng的博文

JingdeCheng

https://blog.sciencenet.cn/?2371919

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

王浩先生论做学问: 程京德 2023-6-7 07:15; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！王浩先生论做学问程京德节录 ...; 个人分类: 数理逻辑|1891 次阅读|没有评论

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

推理与证明之不同: 热度 5 程京德 2023-5-8 07:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！推理与证明之不同程京德 “推理(reasoning)” ...; 个人分类: 数理逻辑|5245 次阅读|11 个评论热度 5

形式理论：将形式逻辑系统应用于具体对象领域的逻辑基础: 程京德 2023-2-9 06:20; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！形式理论：将形式逻辑系统应用于具体对象领域的逻辑基础程京德 ...; 个人分类: 数理逻辑|5270 次阅读|没有评论

不开设数理逻辑课程的计算机系是否是世界一流的？: 程京德 2023-1-28 15:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！不开设数理逻辑课程的计算机系是否是世界一流的？程京德笔者 ...; 个人分类: 数理逻辑|1706 次阅读|没有评论

哥德尔不完全性定理的内容和有效范围 (7) 推荐一篇好文章: 程京德 2022-1-15 08:52; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！哥德尔不完全性定理的内容和有效范围(7) 推荐一篇好文章程京德 ...; 个人分类: 数理逻辑|3078 次阅读|没有评论

哥德尔不完全性定理的内容和有效范围 (6) 何谓“真”？: 程京德 2020-3-23 16:20; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！哥德尔不完全性定理的内容和有效范围(6) 何谓“真”？程京德为了 ...; 个人分类: 数理逻辑|6725 次阅读|没有评论

哥德尔不完全性定理的内容和有效范围 (5) 何谓“证明”？: 热度 3 程京德 2018-1-25 17:07; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！哥德尔不完全性定理的内容和有效范围 (5) 何谓“证明”？程京 ...; 个人分类: 数理逻辑|9399 次阅读|6 个评论热度 3

哥德尔关于可计算性的开创性工作不容忽视: 热度 1 程京德 2017-9-13 09:16; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！哥德尔关于可计算性的开创性工作不容忽视程京德 9月12 ...; 个人分类: 数理逻辑|4290 次阅读|2 个评论热度 1

哥德尔不完全性定理的内容和有效范围 (3) 更新了: 程京德 2017-5-21 17:55; 如题。哥德尔不完全性定理的内容和有效范围 (3) 各种典型误解实例 ( http://blog.sciencenet.cn/blog-2371919-1053033.html ); 个人分类: 数理逻辑|2575 次阅读|没有评论

会议

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

GMT+8, 2024-9-20 09:48

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部