科学网

 找回密码
  注册
“哥德尔不完全性定理”误解误用实例分析(4) - 所谓“数学公理化”的谬误
程京德 2024-10-25 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “哥德尔不完全性定理”误解误用实例分析(4) - 所谓“ ...
个人分类: 数理逻辑|259 次阅读|没有评论
“逻辑”与“逻辑学”(2) -- 欧美名人的“逻辑/逻辑学”用例
程京德 2024-10-23 18:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “逻辑”与“逻辑学”(2) -- 欧美名人的“逻辑/逻辑学” ...
个人分类: 逻辑学|530 次阅读|没有评论
“逻辑”与“逻辑学” (1) -- 起源、定义、异同
热度 1 程京德 2024-10-12 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! “逻辑”与“逻辑学”(1) -- 起源、定义、异同 程 ...
个人分类: 逻辑学|4023 次阅读|2 个评论 热度 1
从诺贝尔物理学、化学奖双双颁发给人工智能学者引发的随想
程京德 2024-10-10 09:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 从诺贝尔物理学、化学奖双双颁发给人工智能学者引发的随想  ...
个人分类: 人工智能|28123 次阅读|1 个评论
从 Hinton 获得诺贝尔物理学奖引发的疑问
热度 4 程京德 2024-10-9 12:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 从 Hinton 获得诺贝尔物理学奖引发的疑问 程京德 ...
个人分类: 人工智能|3934 次阅读|14 个评论 热度 4
形式化规格描述语言Z
程京德 2024-9-30 09:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 形式化规格描述语言Z 程京德 &nbs ...
个人分类: 软件工程|740 次阅读|没有评论
他山之石:获得诺贝尔奖、菲尔茨奖、沃尔夫数学奖的日本学者
程京德 2024-9-28 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 他山之石:获得诺贝尔奖、菲尔茨奖、沃尔夫数学奖的日本学者 ...
个人分类: 他山之石|1517 次阅读|没有评论
为什么软件工程师必须知道形式化方法?
程京德 2024-9-26 13:16
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 为什么软件工程师必须知道形式化方法? 程京德 ...
个人分类: 软件工程|3866 次阅读|1 个评论
智能:具体智能和抽象智能,个体智能和群体智能,以及人工智能之天花板
程京德 2024-9-25 09:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 智能:具体智能和抽象智能,个体智能和群体智能,以及人工智能之天 ...
个人分类: 人工智能|724 次阅读|没有评论
OpenAI o1 的“昂贵推理”之用途?
程京德 2024-9-14 09:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! OpenAI o1 的“昂贵推理”之用途? ...
个人分类: 人工智能|6037 次阅读|没有评论

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

GMT+8, 2024-10-26 06:42

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部