专栏 RSS订阅(公众号)
温馨提示:订阅专栏后它将会自动更新,无人订阅的专栏有可能不会更新。
专栏 二维码
TodayRss-海外RSS稳定源
他们也喜欢这个专栏
 • 
RSS订阅
今天看啥  ›  专栏  ›  数理逻辑与哲学逻辑
为在中国普及逻辑学,传授普通逻辑学、数理逻辑、以及哲学逻辑知识,解惑数理逻辑与哲学逻辑问题。 偶尔也发表一些有关计算机科学、智能科学与人工智能、高等教育等方面的文章。
免责声明:本专栏仅为信息导航参考,不代表原文立场或观点。 原专栏内容版权归原作者所有,如您为原作者并希望删除该专栏,请通过 【版权申诉通道】联系我们处理。
开通 RSS极速订阅 可分钟级获得文章
认知程序设计 -- 世界上谁最早提出了“Epistemic Programming”?
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
基于强相关逻辑的自动定理发现
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
论“幻觉”的误用及大语言模型的正确使用(上)(增补版) - “幻觉”之误用滥用
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
如何高效地获得大语言模型的海量训练数据?
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
Why Can't LLMs Ever Make True Correct Reasoning? (...
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
通过基于强相关逻辑的正向推理自动生成海量合理经验定理 -- 对LLM预训练数据枯竭问题的一个解决方案...
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
大语言模型悖论
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
LLM的推理幻觉:为什么大语言模型永远无法实现真正的正确推理?
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
强相关性作为推理的必要条件 - 基于证明论的对大语言模型的形式化批判 (ChatGPT“智能”测试报...
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
何谓“大学”? - 世界知名思想家教育家关于“大学”之名言(中国篇)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
丢清华脸的清华讲席教授(再续)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
丢清华脸的清华讲席教授(再再续)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
丢清华脸的清华讲席教授
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
丢清华脸的清华讲席教授(续)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
某大厂CEO之绝对不可信的胡说八道
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
逻辑推理趣题 (104) -- 谁投中了几次篮?
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
马雷斯著《必然归结的逻辑学及其历史》(1)为什么讨论“必然归结” - 1.13 方法
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
马雷斯著《必然归结的逻辑学及其历史》(1)为什么讨论“必然归结” - 1.11 传递性
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  · 
马雷斯著《必然归结的逻辑学及其历史》(0)前言
数理逻辑与哲学逻辑  ·  公众号  ·  ·  1 月前  ·