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

自我介绍
从清华附中去陕北延川县插队;从陕北考回清华读书;从清华毕业后留校任教;从清华派往日本九州大学读书;在九大获得博士学位后留校任教;研究兴趣广泛的一个教书匠。
敬请谅解
本人欢迎各位评论者对本人随笔的评论。但是因为本人空闲时间不多不常来这里,故而对评论的回复有时会不太及时。敬请各位评论者谅解!多谢!

  • 日本国立埼玉大学,教授

    • 信息科学->计算机科学

    扫一扫,分享此博客主页
你需要登录后才可以留言 登录 | 注册


统计信息

已有 827277 人来访过

准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(5) - 一些相关事实 2024-07-15
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(670)次阅读|(1)个评论
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(4) - 误解误用的一般性原因 2024-07-08
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(1766)次阅读|(2)个评论
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(3) - 意义 2024-07-03
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(2482)次阅读|(3)个评论
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(2) - 理论基础及有效范围 2024-06-30
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(1033)次阅读|(0)个评论
自动定理发现领域的创始者 - 沃斯 2024-06-29
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(2007)次阅读|(0)个评论
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(1) - 背景及内容 2024-06-26
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(2765)次阅读|(1)个评论
相关逻辑 (4) - 形式语言 2024-06-25
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(2319)次阅读|(0)个评论
相关逻辑 (3) - 特征 2024-06-18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(3170)次阅读|(0)个评论

查看更多

    现在还没有记录

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

GMT+8, 2024-7-16 05:53

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部