哥德尔的证明，一个人不能既当演员又当观众—

哥德尔理论计算机科学杰出论文奖由EATCS和ACM SIGACT联合主办.该奖项的设立是为了纪念库尔特·哥德尔(Kurt Gödel)在数理逻辑方面做出的重大贡献,因而以他的名字而命名.哥德尔在约翰· ...

一.乐观的理性主义对理性主义者来说,十九世纪末至二十世纪初无疑是一段令人怀念的美妙时光.人们相信,无论是以经典力学.电磁学和热力学为代表的物理学或是以<德国民法典>为代表的大陆法系都已接 ...

元逻辑( metalogic)以形式化的逻辑系统为研究对象的一门学科.主要研究形式语言.形式系统和逻辑演算的语法和语义.其特征就是采用公理化的方法:在给出了原始符号.构成项和合式公式的形成规则.对词项 ...

库尔特·哥德尔的不完全性定理与物理学之间的精确关系是物理学家和哲学家经常讨论的问题. 这里有一个例子,它可以被认为是哥德尔的第一个不完备定理和(量子)物理学之间的一个非常紧密的联系: 我们展示了哥德尔 ...

加拿大数学家西蒙柯亨在他对哥德尔的致敬中回忆道: 在博士考试中,我被要求写出5个哥德尔定理.这个问题的实质是,每一个定理要么催生了一个新的分支,要么彻底改变了现代数学逻辑.证明理论.模型理论.递归理论 ...

作为20世纪数学理论最重要的成果之一,哥德尔不完备性定理被誉为数学和逻辑发展史中的里程碑.哥德尔定理的提出不仅具有数学意义,而且蕴含了深刻的哲学意义.历史上从来没有哪一个数学定理能够如它一样,对人类文 ...

10小时前撰文 | 姬扬来源 | 选自<现代物理知识>2020年第6期原标题:原著和中译本都登峰造极的科普神作--侯世达的<哥德尔.艾舍尔.巴赫:集异壁之大成> 大家经常 ...

本文为明德讲坛第13期<哥德尔定理与认知科学的局限>文字稿,扫描上方海报二维码查看讲坛回放. @朱锐今天的主题是"哥德尔定理与认知科学的局限",我们邀请了4位不同领域 ...

有人说: "The meaning of the world is the separation ( and its overcoming ) of fact and wish. &quo ...

西方哲学和科学都缺乏明确的一致性认知基准,只有通过哲学常识化转向才能显化之

前言哥德尔的两个不完备定理是上世纪逻辑学中最重要的定理,拜科普读物所赐,同时也是受误解最多的定理.本文试图讲清哥德尔不完备定理到底在说什么并澄清一些误解.为了不把本文写成数理逻辑教材,我会尽量使用自 ...

哥德尔的证明，一个人不能既当演员又当观众——数学思考录（四）