人工智能应用主体问题 -- 人工智能有可能脱离人类行为主体吗?
将时态逻辑引入计算机科学的图灵奖获奖者 - 普纽埃利
科学研究规划及实践(1) - 讲座介绍
现代时态逻辑的创始者 - 普莱尔
论“幻觉”的误用及大语言模型的正确使用(上)
状况理论及状况语义学的创始者 - 巴怀斯
为什么现在的量子计算装置不能被称为“计算机”?
现代规范逻辑的创始者 - 冯·赖特
哲学逻辑(3) – 量子逻辑学(Quantum Logic)
“逻辑”与“逻辑学”(5) -- “逻辑学”的理性或经验性(“量子力学的逻辑”为例)
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2026-2-28 09:20
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社