对于悖论的分析.ppt.pptVIP

基于对角线引理和维特根斯坦思想对于悖论的分析 庄朝晖 厦门大学计算机科学系 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 悖论的定义 悖论的出现：在20世纪初期关于数学基础的讨论中，出现了大量的悖论，比如康托尔悖论、罗素悖论、理查德悖论等等。 悖论的定义：“如果某一理论的公理和推理规则看上去是合理的，但在这个理论中却推出了两个互相矛盾的命题，或者证明了这样一个命题，它表现为两个互相矛盾的命题的等价式。那么，我们说这个理论包含一个悖论。” Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 对角线引理 两类悖论：拉姆塞（（Frank P. Ramsey））在“数学基础”论文中，把悖论分为逻辑－数学悖论和语义悖论两大类，后来这两大类悖论也被称为语形悖论和语义悖论。 对角线引理：1962年，汤姆森（J.F. Thomson）发表论文“论几个悖论” ，令人信服地显示所谓的语形悖论和语义悖论实际上有共同的结构，都与康托尔对角线