SAT问题简介 2023-09-24

SAT 问题是 “ 布尔逻辑可满足性问题（ boolean SATisfiability problem ） ” 的简称，指给定一个合取范式公式 f ，判断其是否可满足，即找出布尔变量真值赋值 ...

(337)次阅读|(0)个评论

SAT问题与乔治-布尔 2023-09-23

众所周知， SAT （可满足性）问题是由斯蒂芬 - 库克（ Stephen Cook ）在其 1971 年发表的题为 "The Complexity of Theorem-Proving Procedures ...

(136)次阅读|(0)个评论

“纸牌悖论” 2023-09-16

“纸牌悖论” “纸牌反面那句话是对的”和“纸牌反面那句话是错的”这两句话单独拎出来看，互相矛盾，显然不可能同时为真，只有一句话是对的。如果把它们写到 ...

(293)次阅读|(0)个评论

简介《理性边缘之旅-哥德尔的一生》- 与ChatGpt对话 2023-09-16

柳渝：怎么评价斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》？ ChatGpt: 斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的 ...

(246)次阅读|(0)个评论

简介法国大学当前的“能力本位教学法”改革 - 与ChatGpt对话 2023-09-15

题目：简介法国大学当前的 “ 能力本位教学法 ” 改革 - 与 ChatGpt 对话 柳渝：提出 “ 能力本位教学法 ” （ approche ...

(511)次阅读|(0)个评论

罗素悖论与理发师悖论的缘起 2023-09-12

以下是来自于整理 wikipedia 关于罗素悖论的条目（ https://en.wikipedia.org/wiki/Russell's_paradox ）： 罗素在 1901 年 5 月或 6 月发现了这个 ...

(774)次阅读|(0)个评论

“无限猴子定理” 2023-07-02

对测度论做出重要贡献的法国数学家埃米尔 · 博雷尔（ Émile Borel ， 1871 – 1956 ），在 1909 年出版的一本书（ Méchanique statistique et irréver ...

(585)次阅读|(0)个评论

质疑康托尔对角线法讨论的文本编辑 2023-06-30

与少量的质疑哥德尔不完备性定理的讨论相比，网上有大量质疑康托尔对角线法讨论。我编辑几个可能有代表性的资料： 1. 质疑康托尔对角线法的论坛（ 1 ） ...

(546)次阅读|(0)个评论

查看更多