博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 质疑康托尔对角线法讨论的文本编辑
- 与少量的质疑哥德尔不完备性定理的讨论相比，网上有大量质疑康托尔对角线法讨论。我编辑几个可能有代表性的资料： 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 ...
- 关于康托尔理论的争议
- 热度 1
- 在数理逻辑中，康托尔定理指康托尔（ Georg Cantor ， 1845—1918 ）提出的关于无限集的理论，虽然这项工作已经成为经典集合论的一个标准内容，但它在几个方面一直受到了数学家和哲学家的批评。 一，康托尔定理 康托尔定理指在 ZFC 集合论中任何集合 A 的幂集（所有子集的集合）的势严格大于 A 的势，此 ...
- “绝望地寻求数学真理” - 纳森（Nathanson）
- 纳森（ Melvyn Bernard Nathanson ， 1944 年。美国数学家，专门研究数论，纳森是纽约数论研讨会的共同组织者，美国科学促进会和纽约科学院的成员。 纳森的 “ 绝望地寻求数学真理 ” （ Desperately seeking mathematical truth ）发表在 2008 年 8 月的美国数学学会通讯（ Notices of the American M ...
- 拉姆齐（Frank Plumpton Ramsey），英国哲学家、数学家和经济学家
- 拉姆齐（ Frank Plumpton Ramsey ， 1903-1930 年）是英国哲学家、数学家和经济学家，他在逻辑学、数学哲学、决策论和经济学等各个领域都做出了重大贡献。 拉姆齐在剑桥大学接受教育，在那里他学习数学、经济学和哲学。 他以在决策理论方面的工作而闻名，尤其是他对主观概率概念的发展。 他认为，概率应 ...
- 理查德·费曼1965年诺贝尔奖演讲节译
- 热度 1
- 题目：量子电动力学时空观的发展 - 理查德 · 费曼（ Richard P. Feynman ） 我们习惯于在科学期刊上发表文章时，尽可能地完成工作，掩盖所有的痕迹，不担心死胡同，或者描述你最先是如何产生错误想法的，等等。 所以没有任何地方可以以有尊严的方式发表你为了完成这项工作而实际做了什么，尽管最近 ...
- 从“纯真博物馆” 到关于 “可计算数”消失的再思考
- 在伊斯坦布尔参观 “ 纯真博物馆 ” 时，贯穿在小说中作者（ Orhan Pamuk ， 1952- ）所表达的时间观引起了我的注意，帮助我再思考图灵 1936 年论文中的 “ 可计算数 ” 消失的现象。 一， “ 时间 ” 与 “ 时刻 ” ：亚里士多德的区分 在博物馆墙上有段在小说 “ 纯真博物馆 ” ...
- 波斯特对应问题 - 不可判定问题
- 我认为，具有代表性的 “ 不可判定问题 ”实例 可以帮助思考 “ 不可判定问题 ” 的本质。 图灵在 1936 年的论文中证明了 “判定 一阶谓词公式是否可证明的 ” 是 “ 不可判定问题 ” 。 波斯特（ Emil Post ）于 1946 年提出一个更简单的不可判定问题：波斯特对应问题（ Pos ...
- “停机问题”（5）- Entscheidungsproblem
- 哥德尔的证明得出结论， “ 说谎者悖论 ” （说自己是不可证明的命题）是 Peano 形式系统中 “ 不可判定命题 ” 。我认为，此命题不是 Peano 形式系统中的真实命题，所以作为逻辑证明，哥德尔的证明是无效的。而 “ 停机问题 ” 继续踏着哥德尔的脚步，这是我为什么解读 “ 停机问题 ” 的原因。 ...
- 与ChatGPT关于停机问题的对话
- 柳渝： “ 停机问题 ” 是谁提出来的？ ChatGPT: 停机问题是由数学家和逻辑学家艾伦 - 图灵在 1936 年首次提出的。在他的开创性论文 “On Computable Numbers, with an Application to the Entscheidungsproblem” 中，图灵表明，一般来说，不可能确定一个任意的算法是否会停机或 ...
