科学网—JingdeCheng的博文

形式逻辑系统中逻辑归结关系的形式化定义方法

2024-1-12 08:18

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

个人分类: 数理逻辑|1401 次阅读|没有评论

2023-6-13 07:18

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “PM及相关系统的形式不可判定命题”（2）- 哥德尔不完全性定 ...

个人分类: 数理逻辑|4218 次阅读|没有评论

王浩先生论做学问

2023-6-7 07:15

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！王浩先生论做学问程京德节录 ...

个人分类: 数理逻辑|1540 次阅读|没有评论

2023-5-24 07:58

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “PM及相关系统的形式不可判定命题”（1）- 哥德尔不完全性定理的历史 ...

个人分类: 数理逻辑|3792 次阅读|没有评论

推理与证明之不同

热度 5 2023-5-8 07:18

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！推理与证明之不同程京德 “推理(reasoning)” ...

个人分类: 数理逻辑|4501 次阅读|11 个评论热度 5

2023-2-9 06:20

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

个人分类: 数理逻辑|4786 次阅读|没有评论

不开设数理逻辑课程的计算机系是否是世界一流的？

2023-1-28 15:18

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

个人分类: 数理逻辑|1325 次阅读|没有评论

哥德尔不完全性定理的内容和有效范围 (7) 推荐一篇好文章

2022-1-15 08:52

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

个人分类: 数理逻辑|2752 次阅读|没有评论

2020-3-23 16:20

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

个人分类: 数理逻辑|6288 次阅读|没有评论

热度 3 2018-1-25 17:07

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！哥德尔不完全性定理的内容和有效范围 (5) 何谓“证明”？程京 ...

个人分类: 数理逻辑|9072 次阅读|6 个评论热度 3

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