科学网

 找回密码
  注册
形式逻辑系统中逻辑归结关系的形式化定义方法
程京德 2024-1-12 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 形式逻辑系统中逻辑归结关系的形式化定义方法 程京德 ...
个人分类: 数理逻辑|1519 次阅读|没有评论
“PM及相关系统的形式不可判定命题”(1)- 哥德尔不完全性定理的历史背景与内容
程京德 2023-5-24 07:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “PM及相关系统的形式不可判定命题”(1)- 哥德尔不完全性定理的历史 ...
个人分类: 数理逻辑|3957 次阅读|没有评论
推理与证明之不同
热度 5 程京德 2023-5-8 07:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 推理与证明之不同 程京德 “推理(reasoning)” ...
个人分类: 数理逻辑|4650 次阅读|11 个评论 热度 5
何谓“计算”? -- 可计算性理论简介
程京德 2023-4-11 06:57
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 何谓“计算”?-- 可计算性理论简介 程京德 ...
个人分类: 计算科学|4121 次阅读|没有评论
ACM 图灵奖历届获奖者 -- 1971-1975
程京德 2023-4-9 09:14
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! ACM 图灵奖历届获奖者 -- 1971-1975 程京德 ACM 图灵奖(ACM ...
个人分类: 计算科学|6152 次阅读|没有评论
ACM 图灵奖历届获奖者 -- 1966-1970
程京德 2023-2-26 06:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! ACM 图灵奖历届获奖者 -- 1966-1970 程京德 ...
个人分类: 计算科学|2668 次阅读|没有评论
相关性逻辑谬误及其实例
程京德 2023-2-18 05:54
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关性逻辑谬误及其实例 程京德 本文 ...
个人分类: 相关逻辑|3391 次阅读|没有评论
形式理论:将形式逻辑系统应用于具体对象领域的逻辑基础
程京德 2023-2-9 06:20
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 形式理论:将形式逻辑系统应用于具体对象领域的逻辑基础 程京德 ...
个人分类: 数理逻辑|4856 次阅读|没有评论
为什么在逻辑学中存在有如此众多的不同逻辑系统?
程京德 2023-1-28 06:29
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 为什么在逻辑学中存在有如此众多的不同逻辑系统? ...
个人分类: 逻辑学|1383 次阅读|没有评论
逻辑学之重要性(及对其在中国被轻视之原因初探)
程京德 2023-1-27 13:45
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 逻辑学之重要性(及对其在中国被轻视之原因初探) ...
个人分类: 逻辑学|4032 次阅读|没有评论

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

GMT+8, 2024-5-20 13:19

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部