论维特根斯坦对哥德尔定理的评析 / 开普饭

摘要:罗素的主要学术成就集中在逻辑学和分析哲学领域.他的逻辑学贡献包括:为了避免悖论,提出(禁止)恶性循环原则,发展了简单类型论和分支类型论:以类型论为基础,建立了命题逻辑.一阶谓词逻辑.等词理论 ...

两千多年来,数学家们一直试图从少数公理出发,根据明确给出的演绎规则推导出其他数学定理,从而把整个数学构造成为一个严密的演绎大厦,然后用某种程序和方法彻底解决数学体系的可靠性问题. 19世纪末,集合已成 ...

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

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

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

哥德尔定理与逻辑认知进化吴树仙 (国家纳米科学中心) 哥德尔定理是20世纪现代逻辑科学的三大成果之一, 在自然和人文社会科学领域被广泛引用和阐述.其所揭示的不完全性, 不仅存在于数学或逻辑系统之中, ...

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

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

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

机器之心报道编辑:蛋酱.小舟大神早已远去,而他的光芒仍在人间. 1931 年,奥地利裔美国著名数学家库尔特 · 哥德尔(Kurt Gödel)在一篇论文<Über formal unents ...

1931年,哥德尔提出了「不完备性定理」,至今已有90周年.他对20世纪的科学和哲学产生了巨大的影响,是现代理论计算机科学和人工智能理论之父. 在逻辑学中的地位,一般都将他与亚里士多德和莱布尼兹相比. ...

论维特根斯坦对哥德尔定理的评析