科学网

 找回密码
  注册
布尔可满足性: 理论与工程
柳渝 2023-10-10 22:01
布尔可 满足性: 理 论与工程 By Moshe Y. Vardi Communications of the ACM, March 2014, Vol. 57 No. 3, Page 5 一, 译文 布尔可 满足性问题( Boolean Satisfiability Problem , 简称 SAT ) 问的是,一个给定的布尔公式在 AND 和 NOT 等布尔门的作用下,其 输入变量的 ...
个人分类: 解读哥德尔不完全性定理|1316 次阅读|没有评论
简介讨论数学基础的论坛FOM
柳渝 2023-10-8 22:33
FOM 是一个讨论数学基础的自动电子邮件列表(论坛)。它是一个封闭的、有版主管理的列表。这意味着所有订阅和发帖都必须经过版主的批准。对帖子的批准并不意味着同意帖子中表达的观点。 FOM 订阅者通常接受过数学、哲学、计算机科学或相关领域的高级培训,并在其中一个方向从事专业活动或正在准备从事此类职业。 ...
个人分类: 解读哥德尔不完全性定理|1064 次阅读|没有评论
简介马丁-洛夫(Martin-Löf)
柳渝 2023-10-3 15:03
马丁 - 洛夫( Martin-Löf , 1942— ),瑞典 逻辑学家、数理统计学家和哲学家。 马丁 - 洛夫 还是一个业余的鸟类观测家,他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。 在 1964 年到 1965 年 间,马丁 - 洛夫曾在莫斯科大学学 习,师从柯尔莫哥洛夫。在 1966 年 发表的 ...
个人分类: 解读哥德尔不完全性定理|1106 次阅读|没有评论
笛卡尔的“良知(bon sens)”与王阳明与“致良知”
柳渝 2023-9-26 17:55
笛卡尔(1596-1650)的《方法论》(Discours de la méthode,全名“Discours de la méthode pour bien conduire sa raison, et chercher la vérité dans les sciences”),对西方人的思维方式,思想观念和科学研究方法有极大的影响,有人曾说:欧洲人在某种意义上都是笛卡儿主义者,就是指的受方法论的影响,而不是指 ...
个人分类: 在中法文化之间流连|1194 次阅读|没有评论
SAT问题简介
柳渝 2023-9-24 22:27
SAT 问题是 “ 布尔逻辑可满足性问题( boolean SATisfiability problem ) ” 的简称,指给定一个合取范式公式 f ,判断其是否可满足,即找出布尔变量真值赋值,使得公式 f 为真。 一, SAT 问题 1 ,基本概念 布尔变量( Boolean variables ):取值为真值 {0 , 1} 的变量, x 1 , x 2 , …… x n , ...
个人分类: 解读哥德尔不完全性定理|1373 次阅读|没有评论
SAT问题与乔治-布尔
柳渝 2023-9-23 01:35
众所周知, SAT (可满足性)问题是由斯蒂芬 - 库克( Stephen Cook )在其 1971 年发表的题为 The Complexity of Theorem-Proving Procedures» 的论文中提出的, SAT 问题涉及判定合取范式公式的可满足性,合取范式公式由变量、逻辑运算符和子句组成。这些公式使用布尔代数的原理来表达。 ...
个人分类: 解读哥德尔不完全性定理|718 次阅读|没有评论
“纸牌悖论”
柳渝 2023-9-16 13:59
“纸牌悖论” “纸牌反面那句话是对的”和“纸牌反面那句话是错的”这两句话单独拎出来看,互相矛盾,显然不可能同时为真,只有一句话是对的。如果把它们写到纸牌的两面,会发现无论假设哪句正确都会陷入自我矛盾的死循环。 问:“纸牌悖论”这个小游戏般的命题会出现在数理逻辑的形式系统中吗?
个人分类: 解读哥德尔不完全性定理|874 次阅读|没有评论
简介《理性边缘之旅-哥德尔的一生》- 与ChatGpt对话
柳渝 2023-9-16 13:32
柳渝:怎么评价斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》? ChatGpt: 斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》是一本引人入胜的传记,深入探讨了 20 世纪最杰出、最有影响力的数学家和逻辑学家之一库尔特 - 哥德尔复杂而神秘的一生。该书为读者提供了对哥德尔的生平 ...
个人分类: 解读哥德尔不完全性定理|776 次阅读|没有评论
简介法国大学当前的“能力本位教学法”改革 - 与ChatGpt对话
柳渝 2023-9-15 15:37
题目:简介法国大学当前的 “ 能力本位教学法 ” 改革 - 与 ChatGpt 对话 柳渝:提出 “ 能力本位教学法 ” ( approche par compétences )的雅克 - 塔迪夫( Jacques Tardif )是谁? ChatGpt :雅克 - 塔迪夫是加拿大魁北克省的一名教育研究者,在能力本位教学 ...
个人分类: 在中法文化之间流连|1241 次阅读|没有评论
罗素悖论与理发师悖论的缘起
柳渝 2023-9-12 22:49
以下是来自于整理 wikipedia 关于罗素悖论的条目( https://en.wikipedia.org/wiki/Russell's_paradox ): 罗素在 1901 年 5 月或 6 月发现了这个悖论。根据他自己在 1919 年的《数学哲学导论》中的描述,他 “ 试图发现康托尔关于不存在最大基数的证明中的某些缺陷 ” 。在 1902 年的一封信中,他向弗雷格 ...
个人分类: 解读哥德尔不完全性定理|1961 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-6-21 19:26

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部