笛卡尔的“良知（bon sens）”与王阳明与“致良知” 2023-09-26

笛卡尔（1596－1650）的《方法论》(Discours de la méthode，全名“Discours de la méthode pour bien conduire sa raison, et chercher la vérité dans le ...

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

SAT问题简介 2023-09-24

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

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

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

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

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

“纸牌悖论” 2023-09-16

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

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

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

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

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

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

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

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

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

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

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

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

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

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

查看更多