博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 中国思想与先天综合判断 - 解构西方1
- 康德的“纯粹理性批判”是关于认识论的哲学，更精确地说，是关于知识的认识论，即知识的形式和它的形成问题，当然形而上学是它们最终的古老归宿，但康德的立足点是关于知识的形式的问题，康德哲学的重要意义就在这里。 在现代，知识几乎与科学同义，知识的存在是不成问题的，在康德看来，纯粹数学、纯粹自然科学 ...
-
NP是可判定的吗？- 集合与判断
- 热度 1
- 目录 一，NP的形式化定义 二，集合与判断 三，人的判断 四，算法的判断 五，分析 NP 形式定义 六，质疑 NP NP 的形式定义是用集合表达的，为了进一步理解 NP ，让我们回到对 “ 集合 ” 这个基本概念的理解上。 一，NP的形式化定义 NP 存在二个被认为等价的 ...
- 图灵文章《论可计算数及其在判定问题上的应用》的第8章译文
- 图灵 1936 年的论文《论 可计算数 及其在判定问题上的应用》（ On Computable Numbers, with an Application to the Entscheidungsproblem ）奠定了现代计算机理论基础。 此论文的动机是想解决德国数学家大卫 · 希尔伯特（ 1862—1943 ）构想的一个问题：希尔伯特想寻找一种通用的方法来判定数理逻辑 ...
- 中华大生命：生命与仁爱
- “中华大生命：生命与仁爱”一文，是师长 周剑铭先生于2008年5月18日为纪念 汶川大地震而作。 *********************** 中华大生命：生命与仁爱 - 周剑铭 生命是什么？生命的意义是什么？生命价值何在？不是没有答案，而是答案太多，以至于没有答案；生命不是一个 “ 问题 ...
- 库克“定理”还是库克“定义”（NP）？
- 热度 1
- 确实，我们写在这里是一种 “ 观察 ” ，但却是一个认识：为什么复杂性理论与对 NP 的知识之间存在巨大差别？ — 一个理论的专业性不应该是人们认知错误的来源。 我们探讨了库克的论文 “ 理论证明过程中的复杂性 ” （ The Complexity of Theorem-Proving Procedures ），论文摘要中宣称：论 ...
- 译文：“白马非马” - PAUL JORION
- 在 Paul Jorion【1】 的 博客 上 读到一篇题为 “ 白马非马 ”的博文 ，翻译如下： -------------------- “ 白马非马 ” - PAUL JORION 我们的西方思维建立在将身份认同锚定在 “ 物质（ substance ） ” 原则上。尽管 “ 形式（ forme ） ” 随时间发生了变化，但 “ ...
-
写在“世界逻辑日”
- 热度 5
- “ 世界日 ” 因 “ 地球日 ” 而备受关注， 1970 年 4 月 22 日，在美国，人们为了解决环境污染问题，自发地掀起了一场声势浩大的群众性的环境保护运动，提议把 4 月 22 日定为 “ 地球日 ” 。自此后，各国人民和政府、世界性组织，联合国等对环境、建康、社会、文化等方面的共同关注的问题自 ...
-
“不确定性问题”（Nondeterministic Problem，NP）与"哥德尔不完全定理“
- 热度 3
- “不确定性问题”（Nondeterministic Problem，NP）与“哥德尔不完全定理” - 周剑铭，柳渝 1931 年哥德尔证明：任何无矛盾的公理体系，只要包含初等算术的陈述，则必定存在一个不可判定命题，用这组公理不能判定其真假。 虽然哥德尔不完全定理只是针对包含数论的公理体系而言的，由于人 ...
- 寻访顾赛芬的故乡瓦雷纳斯（Varennes）
- 热度 1
- 偶尔读到 Séraphin Couvreur 的《论语》法文版的一段话： Adonnez-vous à l’étude avec une foi profonde, conservez la bonne voie jusqu’à la mort ; n’entrez pas dans un pays troublé ; ne demeurez pas dans un état en rébellion. Si le monde suit la Voie, montrez-vous, sinon cachez-vous. S ...
- 关于“整体大于部分之和”的讨论
- 热度 2
- Jean-Paul Delahaye 是法国里尔（ Lille） 大学计算机系的教授，也是法国《 科学月刊》杂志的 “ 逻辑和计算 ” 栏目的编辑。《科学月刊》是法国著名的科普期刊，成立于 1977 年，与《科学美国人》月刊相当。 在《科学月刊》上， Jean-Paul Delahaye 发表了一篇题为 “ 整体大于部分之和 ” ...
