科学网

 找回密码
  注册
简介马丁-洛夫(Martin-Löf)
柳渝 2023-10-3 15:03
马丁 - 洛夫( Martin-Löf , 1942— ),瑞典 逻辑学家、数理统计学家和哲学家。 马丁 - 洛夫 还是一个业余的鸟类观测家,他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。 在 1964 年到 1965 年 间,马丁 - 洛夫曾在莫斯科大学学 习,师从柯尔莫哥洛夫。在 1966 年 发表的 ...
个人分类: 解读哥德尔不完全性定理|852 次阅读|没有评论
笛卡尔的“良知(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”),对西方人的思维方式,思想观念和科学研究方法有极大的影响,有人曾说:欧洲人在某种意义上都是笛卡儿主义者,就是指的受方法论的影响,而不是指 ...
个人分类: 在中法文化之间流连|958 次阅读|没有评论
SAT问题简介
柳渝 2023-9-24 22:27
SAT 问题是 “ 布尔逻辑可满足性问题( boolean SATisfiability problem ) ” 的简称,指给定一个合取范式公式 f ,判断其是否可满足,即找出布尔变量真值赋值,使得公式 f 为真。 一, SAT 问题 1 ,基本概念 布尔变量( Boolean variables ):取值为真值 {0 , 1} 的变量, x 1 , x 2 , …… x n , ...
个人分类: 解读哥德尔不完全性定理|1004 次阅读|没有评论
SAT问题与乔治-布尔
柳渝 2023-9-23 01:35
众所周知, SAT (可满足性)问题是由斯蒂芬 - 库克( Stephen Cook )在其 1971 年发表的题为 The Complexity of Theorem-Proving Procedures» 的论文中提出的, SAT 问题涉及判定合取范式公式的可满足性,合取范式公式由变量、逻辑运算符和子句组成。这些公式使用布尔代数的原理来表达。 ...
个人分类: 解读哥德尔不完全性定理|547 次阅读|没有评论
“纸牌悖论”
柳渝 2023-9-16 13:59
“纸牌悖论” “纸牌反面那句话是对的”和“纸牌反面那句话是错的”这两句话单独拎出来看,互相矛盾,显然不可能同时为真,只有一句话是对的。如果把它们写到纸牌的两面,会发现无论假设哪句正确都会陷入自我矛盾的死循环。 问:“纸牌悖论”这个小游戏般的命题会出现在数理逻辑的形式系统中吗?
个人分类: 解读哥德尔不完全性定理|693 次阅读|没有评论
简介《理性边缘之旅-哥德尔的一生》- 与ChatGpt对话
柳渝 2023-9-16 13:32
柳渝:怎么评价斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》? ChatGpt: 斯蒂芬 - 布迪安斯基所著的《理性边缘之旅 - 哥德尔的一生》是一本引人入胜的传记,深入探讨了 20 世纪最杰出、最有影响力的数学家和逻辑学家之一库尔特 - 哥德尔复杂而神秘的一生。该书为读者提供了对哥德尔的生平 ...
个人分类: 解读哥德尔不完全性定理|604 次阅读|没有评论
简介法国大学当前的“能力本位教学法”改革 - 与ChatGpt对话
柳渝 2023-9-15 15:37
题目:简介法国大学当前的 “ 能力本位教学法 ” 改革 - 与 ChatGpt 对话 柳渝:提出 “ 能力本位教学法 ” ( approche par compétences )的雅克 - 塔迪夫( Jacques Tardif )是谁? ChatGpt :雅克 - 塔迪夫是加拿大魁北克省的一名教育研究者,在能力本位教学 ...
个人分类: 在中法文化之间流连|1028 次阅读|没有评论
罗素悖论与理发师悖论的缘起
柳渝 2023-9-12 22:49
以下是来自于整理 wikipedia 关于罗素悖论的条目( https://en.wikipedia.org/wiki/Russell's_paradox ): 罗素在 1901 年 5 月或 6 月发现了这个悖论。根据他自己在 1919 年的《数学哲学导论》中的描述,他 “ 试图发现康托尔关于不存在最大基数的证明中的某些缺陷 ” 。在 1902 年的一封信中,他向弗雷格 ...
个人分类: 解读哥德尔不完全性定理|1539 次阅读|没有评论
“无限猴子定理”
柳渝 2023-7-2 07:04
对测度论做出重要贡献的法国数学家埃米尔 · 博雷尔( Émile Borel , 1871 – 1956 ),在 1909 年出版的一本书( Méchanique statistique et irréversibilité ),介绍了 “ 打字的猴子 ” 的概念,引发了 “ 无限猴子定理 ” 这个有趣的实验构想。 维基介绍( https://fr.wikipedia.org/wiki/Paradoxe_ ...
个人分类: 解读哥德尔不完全性定理|1094 次阅读|没有评论
质疑康托尔对角线法讨论的文本编辑
柳渝 2023-6-30 17:46
与少量的质疑哥德尔不完备性定理的讨论相比,网上有大量质疑康托尔对角线法讨论。我编辑几个可能有代表性的资料: 1. 质疑康托尔对角线法的论坛( 1 ) 2. 质疑康托尔对角线法的论坛( 2 ) 3. 质疑康托尔对角线法的书 4. 质疑康托尔对角线法的最新文章 5. 追本溯源康托尔对角线法的文章 *** ...
个人分类: 解读哥德尔不完全性定理|892 次阅读|没有评论

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

GMT+8, 2024-3-28 16:13

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部