科学网

 找回密码
  注册
形式逻辑系统中逻辑归结关系的形式化定义方法
程京德 2024-1-12 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 形式逻辑系统中逻辑归结关系的形式化定义方法 程京德 ...
个人分类: 数理逻辑|1528 次阅读|没有评论
“PM及相关系统的形式不可判定命题”(2)- 哥德尔不完全性定理的涵义及有效范围
程京德 2023-6-13 07:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “PM及相关系统的形式不可判定命题”(2)- 哥德尔不完全性定 ...
个人分类: 数理逻辑|4297 次阅读|没有评论
王浩先生论做学问
程京德 2023-6-7 07:15
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 王浩先生论做学问 程京德 节录 ...
个人分类: 数理逻辑|1601 次阅读|没有评论
“PM及相关系统的形式不可判定命题”(1)- 哥德尔不完全性定理的历史背景与内容
程京德 2023-5-24 07:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “PM及相关系统的形式不可判定命题”(1)- 哥德尔不完全性定理的历史 ...
个人分类: 数理逻辑|3961 次阅读|没有评论
推理与证明之不同
热度 5 程京德 2023-5-8 07:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 推理与证明之不同 程京德 “推理(reasoning)” ...
个人分类: 数理逻辑|4660 次阅读|11 个评论 热度 5
形式理论:将形式逻辑系统应用于具体对象领域的逻辑基础
程京德 2023-2-9 06:20
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 形式理论:将形式逻辑系统应用于具体对象领域的逻辑基础 程京德 ...
个人分类: 数理逻辑|4862 次阅读|没有评论
不开设数理逻辑课程的计算机系是否是世界一流的?
程京德 2023-1-28 15:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 不开设数理逻辑课程的计算机系是否是世界一流的? 程京德 笔者 ...
个人分类: 数理逻辑|1388 次阅读|没有评论
哥德尔不完全性定理的内容和有效范围 (7) 推荐一篇好文章
程京德 2022-1-15 08:52
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 哥德尔不完全性定理的内容和有效范围(7) 推荐一篇好文章 程京德 ...
个人分类: 数理逻辑|2812 次阅读|没有评论
哥德尔不完全性定理的内容和有效范围 (6) 何谓“真”?
程京德 2020-3-23 16:20
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 哥德尔不完全性定理的内容和有效范围(6) 何谓“真”? 程京德 为了 ...
个人分类: 数理逻辑|6364 次阅读|没有评论
哥德尔不完全性定理的内容和有效范围 (5) 何谓“证明”?
热度 3 程京德 2018-1-25 17:07
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 哥德尔不完全性定理的内容和有效范围 (5) 何谓“证明”? 程京 ...
个人分类: 数理逻辑|9126 次阅读|6 个评论 热度 3

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

GMT+8, 2024-5-23 01:35

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部