专栏 RSS订阅(公众号)
温馨提示:订阅专栏后它将会自动更新,无人订阅的专栏有可能不会更新。
专栏 二维码
TodayRss-海外RSS-老用户7折
他们也喜欢这个专栏
 • 
RSS订阅
今天看啥  ›  专栏  ›  数理逻辑与哲学逻辑
为在中国普及逻辑学,传授普通逻辑学、数理逻辑、以及哲学逻辑知识,解惑数理逻辑与哲学逻辑问题。 偶尔也发表一些有关计算机科学、智能科学与人工智能、高等教育等方面的文章。
免责声明:本专栏仅为信息导航参考,不代表原文立场或观点。 原专栏内容版权归原作者所有,如您为原作者并希望删除该专栏,请通过 【版权申诉通道】联系我们处理。
开通 RSS极速订阅 可分钟级获得文章
成了时髦用语的“底层逻辑”究竟是个什么“鬼”?
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 天前  · 
对“底层逻辑(Underlying Logic)”之误用滥用的批评
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 天前  · 
“逻辑”与“逻辑学” (6) -- “逻辑”一词的误用滥用实例
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 天前  · 
AI 编程时代软件工程形式化方法的必要性:挑战、范式转移与研究展望
数理逻辑与哲学逻辑  ·  公众号  ·  ·  4 天前  · 
哥德尔的本体论(上帝存在)证明 (1) - 原始陈述
数理逻辑与哲学逻辑  ·  公众号  ·  ·  5 天前  · 
哥德尔不完全性定理的原始陈述
数理逻辑与哲学逻辑  ·  公众号  ·  ·  5 天前  · 
逻辑推理趣题 (93) -- 谁从事什么职业?(2)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  6 天前  · 
为什么大语言模型永无可能具备真正的正确有效推理能力?(上)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
Why Can't LLMs Ever Make True Correct Reasoning? (...
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
为什么大语言模型永无可能具备真正的正确有效推理能力?(下)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
LLM本质上永远无法实现真正的正确推理
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
“智能体”能够进行正确有效推理吗? - 对关于未来生存指南的麦肯锡报告的批评
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
为什么大语言模型永无可能具备真正的正确有效推理能力?(中)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
数理逻辑学重要参考书目及简评
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
逻辑学重要参考书目及简评
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
强相关逻辑及其应用(简约版)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
基于强相关逻辑的自动定理发现
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  · 
强相关逻辑及其应用(下)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 周前  ·