专栏 RSS订阅(公众号)
温馨提示:订阅专栏后它将会自动更新,无人订阅的专栏有可能不会更新。
专栏 二维码
TodayRss-海外RSS稳定源
他们也喜欢这个专栏
 • 
RSS订阅
今天看啥  ›  专栏  ›  数理逻辑与哲学逻辑
为在中国普及逻辑学,传授普通逻辑学、数理逻辑、以及哲学逻辑知识,解惑数理逻辑与哲学逻辑问题。 偶尔也发表一些有关计算机科学、智能科学与人工智能、高等教育等方面的文章。
免责声明:本专栏仅为信息导航参考,不代表原文立场或观点。 原专栏内容版权归原作者所有,如您为原作者并希望删除该专栏,请通过 【版权申诉通道】联系我们处理。
开通 RSS极速订阅 可分钟级获得文章
《试论哥德尔不完全性定理的证明无效》(网友论文)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
"哥德尔不完全性定理"误解误用实例分析(1)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
形式理论:将形式逻辑系统应用于具体对象领域的逻辑基础(增补版)
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
"哥德尔不完全性定理"误解误用实例分析(3) - 扯上人工智能的谬误
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
"哥德尔不完全性定理"误解误用实例分析之必要
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
"哥德尔不完全性定理"误解误用实例分析(4) - 所谓“数学公理化”的谬误
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
名著“哥德尔、艾舍尔、巴赫(GEB)”中的谬误(一)公理系统的可证性与真理性
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
"哥德尔不完全性定理"误解误用实例分析(2) - 扯上人工智能的谬误
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
莫绍揆先生对相关逻辑的贡献以及对哥德尔之工作的评价
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(1) - 背景及内容
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(5) - 一些相关事实
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(4) - 误解误用的一般性原因
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(3) - 意义
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
莫绍揆先生对相关逻辑的贡献以及对哥德尔之工作的评价
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(2) - 理论基础及有效范围
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  · 
哥德尔不完全性定理的原始陈述
数理逻辑与哲学逻辑  ·  公众号  ·  ·  3 月前  ·