博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 证明中的“预设”和“假设”
- 在证明的语境中， “ 预设 ” 和 “ 假设 ” 是有区别的，尽管它们是相关的概念。以下是对每个术语的简要解释以及它们的区别： 预设（ 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 ...
- 第25届世界哲学大会：“超越边界的哲学” - FISP主席致欢迎辞
- 主 题为 “ 超越 边界的哲学 ” 的第 25 届世界哲学大会（ 2024 ）即将于 8 月 1-8 日在意大利 罗马举行【 1 】！ 五年前我有幸参加了在北京 举行的第 24 届世界哲学大会（ 2018 ）【 2 】，今年我更有幸作 为 “ 重 读哥德尔不完备性定理研讨会 ” 的 发起者之一参会。希望与大家分享这次意义独特的盛会！ * ...
- 《看见黑暗之物》- Roy Sorensen
- 罗伊 · 索伦森 (Roy Sorensen) 是美国认识论、形而上学、语言哲学学者， 八本书的作者： Nothing: A Philosophical History (2022), 《虚无：哲学史》 A Cabinet of Philosophical Curiosities (2016), 《哲学好奇心内阁》 Seeing Dark Things (2008), 《看见黑暗之物》 A Brief History of the Para ...
- 逻辑时间与实时时间 - 与Chapgpt对话，2024/3/15
- 一，译文 柳渝：是否可以说，在逻辑推理中存在着逻辑时间与实时时间？ Chatgpt : 事实上，我们可以在某些哲学和逻辑背景下区分逻辑时间和实时时间。 逻辑时间：在逻辑中，时间可以抽象地和形式化地处理。例如，在时间模态逻辑中，时间通常被视为可以量化和修改的逻辑变量。 “ 未来 ” 、 “ 过去 ” ...
- [转载]略评哥德尔 - 黄展骥
- 逻辑学家黄展骥（ 1934 - 2014），出生于广州，中学就读于香港华仁书院，1957 年至 1961 年就读于台湾大学哲学系，是殷海光先生喜愛的弟子之一。回港后， 1962 年至 1966 年在香港大学哲学研究所进修，兼任香港中文大学讲师。此后历任香港多所大专院校讲师、副教授，主要从事逻辑学教学、研究和普及工作。 下文是黄展骥 ...
