博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- chatGPT对自己工作原理的解释 - José与chatGPT的
- chatGPT 对自己工作原理的解释 - José Manuel Rodríguez Caballero 与 chatGPT 的对话 一，译文 José: 从统计物理学的角度解释一下 chatGPT 是如何工作的。 chatGPT-4 ： ChatGPT 是一个基于 GPT-4 架构的语言模型，从统计物理学的角度可以理解为一个为语言序列的概率分布建模 ...
- 与ChatGPT关于哥德尔不完备性定理的对话（3）
- 到目前为止在学术界任何质疑哥德尔不完备性定理证明的话题都是禁忌，所以我希望借与 Chapgpt 的对话，引起学术界对此议题的 关注 。 Chapgpt 的回答在某种程度上代表了学术界的主流观点，比如， Chapgpt 说，罗素悖论被视为对数学基础的直接威胁，因为它破坏了集合作为所有数学基础的想法；但说谎者悖论却不 ...
- 与ChatGPT关于哥德尔不完备性定理的对话（2）
- 我 2023/3/6 与 ChatGPT 对话到最后一个问题中断后， 我今天用中文再问此问题，此外还 有二个法国网友用法语问 ChatGPT 和 Bing 这个问题， 分享如下： 一，柳渝再问 ChatGPT 二， Manuel Guérin 代问 ChatGPT 【 1 】 柳渝：当罗素悖论出现在集合论中时，它被认为是一种危 ...
- 与ChatGPT关于哥德尔不完备性定理的对话（1）
- 与ChatGPT关于哥德尔不完备性定理的对话 - 2023/3/6 柳渝：你认为哥德尔不完全性定理的证明存在着错误吗 ? ChatGPT : 作为一个人工智能语言模型，我不能有信仰或 意见。然而，值得注意的是，哥德尔不完备性定理已经被 数学界彻底研究并接受为数学基础的重要和基本成果。多 年来，许多数学家对该证明 ...
- 简介Hilbert and Ackermann’s Principles of Theoretical Logic
- 简介 Hilbert and Ackermann’s Principles of Theoretical Logic - Stanley Burris 的 读书笔记 一， 简介 Principles of Theoretical Logic 《 Principles of Theoretical Logic 》 是阿克曼和希尔伯特在 1928 年写的一本关于逻辑的书。它是第一本以初级和严谨的方式介绍现在被称为一阶逻辑的 ...
- 简介多类逻辑（Many-Sorted Logic）
- 经典逻辑是描述包含单一域的数学结构的合适的形式语言。相比之下，多类逻辑（ MSL ）允许对各种域（称为 sorts ）进行量化，因此多类逻辑是处理有关不同类型对象的断言的合适载体，这些对象在数学、哲学、计算机科学和形式语义学中无处不在，每种类型都将一类独特的对象分组（例如，点和直线是 2 类结构中不同类型 ...
- 皮亚诺与皮亚诺公理
- 皮亚诺（ Giuseppe Peano ， 1858 － 1932 ）是意大利数学家、逻辑学家、语言学家，毕生致力于建立数学基础和发展形式逻辑语言，提出了著名的自然数公理化系统。 一，主要著作 皮亚诺的主要著作有《算术原理：用一种新方法的说明》（ 1889 年）、同别人合著的《数学公式汇编》（或译为《数学的陈 ...
- “普通唯理语法” - Antoine Arnauld，Claude Lancelot
- “ 普通唯理语法（ Grammaire générale et raisonné ， Grammaire de Port-Royal ） ” 是西方语言学史上的一部重要著作，以清晰自然的方式解释说话艺术的基础，作者是法国人安托尼 · 阿尔诺（ Antoine Arnauld ， 1612-1694 ） / 克洛德 · 朗斯洛（ Claude Lancelot ， 1615-1695 ）。 ...
- Richard Whately 与“逻辑学要素”（Elements of Logic）
- Richard Whately （ 1787-1863 ），英国学者、修辞学家、逻辑学家、哲学家、经济学家和神学家，还曾担任爱尔兰教会都柏林的改革派大主教。他是一位领先的广义教会人士，是一位多产的、涉及广泛主题的作家，性格张扬，也是最早认识到简 - 奥斯汀（ Jane Austen ）才华的评论家之一。 Whately 是十九世纪初 ...
- 用一个音节的字解释哥德尔第二不完全性定理 - George Boolos
- 一，译文 用一个音节的话解释哥德尔第二不完全性定理 - George Boolos 首先，当我说 “ 证明 ” 时，我的意思是 “ 在整个数学的帮助下证明 ” 。那么现在，大家都知道：二加二等于四。当然，二加二等于四是可以证明的（正如我所说的，借助于整个数学来证明，虽然对于二加二，我们并不需 ...
