科学网—JingdeCheng的博文

设为首页收藏本站

开启辅助访问切换到宽版

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

JingdeCheng

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

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

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

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

何谓“计算”？ -- 可计算性理论简介: 程京德 2023-4-11 06:57; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！何谓“计算”？-- 可计算性理论简介程京德 ...; 个人分类: 计算科学|2874 次阅读|没有评论

ACM 图灵奖历届获奖者 -- 1971-1975: 程京德 2023-4-9 09:14; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ ACM 图灵奖历届获奖者 -- 1971-1975 程京德 ACM 图灵奖(ACM ...; 个人分类: 计算科学|4444 次阅读|没有评论

ACM 图灵奖历届获奖者 -- 1966-1970: 程京德 2023-2-26 06:58; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ ACM 图灵奖历届获奖者 -- 1966-1970 程京德 ...; 个人分类: 计算科学|1390 次阅读|没有评论

相关性逻辑谬误及其实例: 程京德 2023-2-18 05:54; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关性逻辑谬误及其实例程京德本文 ...; 个人分类: 相关逻辑|1496 次阅读|没有评论

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

为什么在逻辑学中存在有如此众多的不同逻辑系统？: 程京德 2023-1-28 06:29; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！为什么在逻辑学中存在有如此众多的不同逻辑系统？程京德笔者在本 ...; 个人分类: 数理逻辑|794 次阅读|没有评论

逻辑学之重要性（及对其在中国被轻视之原因初探）: 程京德 2023-1-27 13:45; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！逻辑学之重要性（及对其在中国被轻视之原因初探）程京德逻辑 ...; 个人分类: 数理逻辑|2161 次阅读|没有评论

为什么通常认为逻辑学是发源于古希腊而非古代中国和古代印度？: 热度 1 程京德 2023-1-26 11:26; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！为什么通常认为逻辑学是发源于古希腊而非古代中国和古代印度？ ...; 个人分类: 数理逻辑|1537 次阅读|1 个评论热度 1

会议

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

GMT+8, 2023-6-5 17:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部