博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- SAT问题简介
- SAT 问题是 “ 布尔逻辑可满足性问题（ boolean SATisfiability problem ） ” 的简称，指给定一个合取范式公式 f ，判断其是否可满足，即找出布尔变量真值赋值，使得公式 f 为真。 一， SAT 问题 1 ，基本概念 布尔变量（ Boolean variables ）：取值为真值 {0 ， 1} 的变量， x 1 ， x 2 ， …… x n ， ...
- SAT问题与乔治-布尔
- 众所周知， SAT （可满足性）问题是由斯蒂芬 - 库克（ Stephen Cook ）在其 1971 年发表的题为 The Complexity of Theorem-Proving Procedures» 的论文中提出的， SAT 问题涉及判定合取范式公式的可满足性，合取范式公式由变量、逻辑运算符和子句组成。这些公式使用布尔代数的原理来表达。 ...
- “纸牌悖论”
- “纸牌悖论” “纸牌反面那句话是对的”和“纸牌反面那句话是错的”这两句话单独拎出来看，互相矛盾，显然不可能同时为真，只有一句话是对的。如果把它们写到纸牌的两面，会发现无论假设哪句正确都会陷入自我矛盾的死循环。 问：“纸牌悖论”这个小游戏般的命题会出现在数理逻辑的形式系统中吗？
- 简介《理性边缘之旅-哥德尔的一生》- 与ChatGpt对话
- 柳渝：怎么评价斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》？ ChatGpt: 斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》是一本引人入胜的传记，深入探讨了 20 世纪最杰出、最有影响力的数学家和逻辑学家之一库尔特 - 哥德尔复杂而神秘的一生。该书为读者提供了对哥德尔的生平 ...
- 简介法国大学当前的“能力本位教学法”改革 - 与ChatGpt对话
- 题目：简介法国大学当前的 “ 能力本位教学法 ” 改革 - 与 ChatGpt 对话 柳渝：提出 “ 能力本位教学法 ” （ approche par compétences ）的雅克 - 塔迪夫（ Jacques Tardif ）是谁？ ChatGpt ：雅克 - 塔迪夫是加拿大魁北克省的一名教育研究者，在能力本位教学 ...
- 罗素悖论与理发师悖论的缘起
- 以下是来自于整理 wikipedia 关于罗素悖论的条目（ https://en.wikipedia.org/wiki/Russell's_paradox ）： 罗素在 1901 年 5 月或 6 月发现了这个悖论。根据他自己在 1919 年的《数学哲学导论》中的描述，他 “ 试图发现康托尔关于不存在最大基数的证明中的某些缺陷 ” 。在 1902 年的一封信中，他向弗雷格 ...
- “无限猴子定理”
- 对测度论做出重要贡献的法国数学家埃米尔 · 博雷尔（ Émile Borel ， 1871 – 1956 ），在 1909 年出版的一本书（ Méchanique statistique et irréversibilité ），介绍了 “ 打字的猴子 ” 的概念，引发了 “ 无限猴子定理 ” 这个有趣的实验构想。 维基介绍（ https://fr.wikipedia.org/wiki/Paradoxe_ ...
- 质疑康托尔对角线法讨论的文本编辑
- 与少量的质疑哥德尔不完备性定理的讨论相比，网上有大量质疑康托尔对角线法讨论。我编辑几个可能有代表性的资料： 1. 质疑康托尔对角线法的论坛（ 1 ） 2. 质疑康托尔对角线法的论坛（ 2 ） 3. 质疑康托尔对角线法的书 4. 质疑康托尔对角线法的最新文章 5. 追本溯源康托尔对角线法的文章 *** ...
- 集合论： 你应该相信吗？ - N J Wildberger
- 热度 1
- 这是澳大利亚新南威尔士大学数学学院教授 N J Wildberger 对集合论严厉批评的文章： https://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf 集合论： 你应该相信吗？ N J Wildberger School of Maths UNSW Sydney NSW 2052 Australia webpages: http://web.maths.unsw.edu.au/~norman ...
