博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 康托尔理论的争议
- 我把 wiki 上关于 “ 康托尔理 论的争议（ Controversy over Cantor's theory ） 编辑如下。 Cantor's diagonal argument Cantor's first proof that infinite sets can have different cardinalities was published in 1874. This proof demonstrates that the set of natural numbe ...
- 《数学的符号主义》节译 - Alfred North Whitehead
- 现在我们回到纯数学，更仔细地考虑一下构成科学的思想体系。我们首先关注的是科学的符号体系，我们从最简单和最普遍的符号开始，即算术符号。 现在我们假设我们对整数有足够清晰的认识，在阿拉伯符号中表示为 0 、 1 、 2 、 …… 、 9 、 10 、 11 、 ……100 、 101 、 …… 等等。 这种符号是通过 ...
- 数学改革者 - Jack Copeland点评图灵的“数学表示法和用语的改革”
- 数学改革者 图灵在笔记本中的写作完全是关于数学的，对许多著名数学家的表示法实践进行了批判性的评论，包括 Courant, Eisenhart, Hilbert, Peano, Titchmarsh, Weyl 等。表示法 对数学家来说非常重要，正如现代数理逻辑的创始人之一 Alfred North Whitehead 在其 1911 年的 论文《 The Symbolism of Mathe ...
- 数学表示法和用语的改革 - 图灵一篇未发表的文章
- 介 绍图灵一篇未发表的文章：数学表示法和用语的改革。 这篇文章被收录在纪念图灵诞辰 100年的 论文集中，原文出自于图灵的个人数学笔记本 ，在 伦敦附近的布莱切利园展出。 布莱切利园是二战期间盟军密码破译行动的欧洲总部，我今年五月参观布莱切利园时，看到了这个笔记本。 --------------------- ...
- 证明中的“预设”和“假设”
- 在证明的语境中， “ 预设 ” 和 “ 假设 ” 是有区别的，尽管它们是相关的概念。以下是对每个术语的简要解释以及它们的区别： 预设（ Presupposition ）： 定义：预设是一种隐含的假设，陈述或论证必须为真才有意义。它是无需明确说明就被视为理所当然的事情。 证明中的作用：在证明中， ...
- 参观埃舍尔博物馆
- 日月如梭，暑假 结束，新学年开始了！ 暑假 临近尾声时，来到荷兰的海牙，参观了向往已久的埃舍尔博物馆。 侯世 达获得普利策奖和国家图书奖的书，《哥德尔、埃舍尔、巴赫（ GEB）：一条永恒的金 带》（ Gödel, Escher, Bach: an Eternal Golden Braid）（1979），不 仅让大众知道了著名的哥德尔不完备性定 ...
- “重读哥德尔不完备性定理”的研讨会
- 热度 1
- 如果 说， 2024年的奥 运会法国把巴黎最宝贵的文化遗产和城市景观与世界各国的运动员和观众分享的话，那么 2024年的世界哲学大会（WCP2024）意大利就把最古老和最著名的 罗马大学及文化遗产卡拉卡拉浴场（ Terme di Caracalla）与来自世界各国近4000的哲学学人分享！ WCP2024（ https://wcprome2024.com ）分 ...
- 诺盖斯的哥德尔传记“哥德尔的魔鬼：逻辑与疯狂”书评
- https://laviedesidees.fr/Kurt-Godel-aux-frontieres-de-la.html 库尔特 - 哥德尔在理性的边缘： des théorèmes aux théo-rêves… par Ariel Suhamy , le 8 novembre 2007 皮埃尔 - 卡苏 - 诺盖斯（ Pierre Cassou-Noguès ）的库尔特 - 哥德尔（ Kurt Gödel ）传记（Les démons de ...
- 哥德尔不完备性定理的原始陈述与现代陈述
- 热度 2
- 当人 们谈论哥德尔不完备性定理时，一般指哥德尔第一不完备性定理和哥德尔第二不完备性定理。 哥德尔 1931 年的 论文（ On Formally Undecidable Propositions of Principia Mathematica and Related Systems I» ）由 4 章 组成： 在第 1 章，哥德尔概述基于 对角线法构造 “ 说自己 ...
- 图灵是站在哥德尔的肩膀上吗？- B. Jack Copeland & Zhao Fan
- https://link.springer.com/article/10.1007/s00283-022-10177-y Published: 04 June 2022 Did Turing Stand on Gödel’s Shoulders? B. Jack Copeland Zhao Fan 图灵是站在哥德尔的肩膀上吗？ - B. Jack Copeland Zhao Fan The history of mathematics is a field generally characte ...
