发表服务
著名的“哥德尔不完全性定理”是在其论文《论数学原理及相关系统的形式上不可判定的命题I》（OnFormallyUndecidablePropositionsofPrincipiaMathematicaandRelatedSystemsI）中提出的，该论文于1930年11月17日提交，最初以德文发表在1931年的《数学月刊》上，现有几个英文译本。
正确理解哥德尔不完全性定理-借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容：第一,一个不弱干…
原文地址：康托尔集合论罗素悖理化集合论不完全性定理作者：不是我的我康托尔集合论罗素悖理化集合论不完全性定理1第二次数学危机的解决集合论成了全部数学的基础。第二次数学危机详细见参考中三次数学危机19世纪，柯西详细而有系统地发展了极限理论。柯西认为把无穷...
今天，我们一般笼统的把论文中提出的定理称为“哥德尔不完备定理”。80多年过去了，“哥德尔不完备定理”的影响仍然持续、深远，特别是引起了很多非数学界人士的兴趣，引发了各种各样的解读。
一、哥德尔不完备性定理的基本内容一个普遍公认的事实是，哥德尔不完备性定理在数理逻辑中占有极其重要的地位，是数学与逻辑发展史中的一个里程碑。哥德尔关于形式系统的不完备性定理，首次发表在他的论文《论数学原理及有关系统中不可判定命题》中。
歌德尔不完全性定理表明，形式算术系统不但是不完全的，而且是不可完全的。另一方面，它还表明，一个形式系统如果包含形式算术系统在内，那么它就是不完全的和不可完全的，它的简单无矛盾性也不能用系统中的工具来证明。
质疑哥德尔不完全性定理的奇文及奇事程京德在科学网上检索“哥德尔定理”，发现了如下质疑哥德尔不完全性定理的奇文...就不了解哥德尔的原始证明。杨文也没有将哥德尔1931年论文列为参考文献。质疑某篇学术论文...
哥德尔不完全性定理探索数学边界在上世纪的前三十年，世界范围内出现了一股深入探究数学基础的风潮，每年涌现数千篇相关博士论文，可谓百花齐放，百家争鸣。1931年，年仅26岁的“小毛头”哥德尔（Godel1901-1978）发表文章，断言：任何包括算术的公理系统都是不完全的，也就是说，在这…
再问阿罗不可能性定理的证明！,题目中，之所以使用了“再”字，原因在于，之前便有人问过这个问题，却没有得到相应的回答。...我感觉1996版的第一种证明，很精彩，完全摒弃decisive的。不过，我还是想搞明白阿罗最初的证明原理。虽有那...
不确定性人工智能的基础科学问题李德毅ziqin@t.102004人工智能50年21世纪人工智能研究的一个新方向:不确定性人工智能不确定性人工智能的基础科学问题四不确定性的计算机模拟人工智能从一开始就是交叉学科的产物达特茅斯会议与会者:数学家和逻辑学家认知学家和心理学家神经生理学家...
著名的“哥德尔不完全性定理”是在其论文《论数学原理及相关系统的形式上不可判定的命题I》（OnFormallyUndecidablePropositionsofPrincipiaMathematicaandRelatedSystemsI）中提出的，该论文于1930年11月17日提交，最初以德文发表在1931年的《数学月刊》上，现有几个英文译本。
正确理解哥德尔不完全性定理-借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容：第一,一个不弱干…
原文地址：康托尔集合论罗素悖理化集合论不完全性定理作者：不是我的我康托尔集合论罗素悖理化集合论不完全性定理1第二次数学危机的解决集合论成了全部数学的基础。第二次数学危机详细见参考中三次数学危机19世纪，柯西详细而有系统地发展了极限理论。柯西认为把无穷...
今天，我们一般笼统的把论文中提出的定理称为“哥德尔不完备定理”。80多年过去了，“哥德尔不完备定理”的影响仍然持续、深远，特别是引起了很多非数学界人士的兴趣，引发了各种各样的解读。
一、哥德尔不完备性定理的基本内容一个普遍公认的事实是，哥德尔不完备性定理在数理逻辑中占有极其重要的地位，是数学与逻辑发展史中的一个里程碑。哥德尔关于形式系统的不完备性定理，首次发表在他的论文《论数学原理及有关系统中不可判定命题》中。
歌德尔不完全性定理表明，形式算术系统不但是不完全的，而且是不可完全的。另一方面，它还表明，一个形式系统如果包含形式算术系统在内，那么它就是不完全的和不可完全的，它的简单无矛盾性也不能用系统中的工具来证明。
质疑哥德尔不完全性定理的奇文及奇事程京德在科学网上检索“哥德尔定理”，发现了如下质疑哥德尔不完全性定理的奇文...就不了解哥德尔的原始证明。杨文也没有将哥德尔1931年论文列为参考文献。质疑某篇学术论文...
哥德尔不完全性定理探索数学边界在上世纪的前三十年，世界范围内出现了一股深入探究数学基础的风潮，每年涌现数千篇相关博士论文，可谓百花齐放，百家争鸣。1931年，年仅26岁的“小毛头”哥德尔（Godel1901-1978）发表文章，断言：任何包括算术的公理系统都是不完全的，也就是说，在这…
再问阿罗不可能性定理的证明！,题目中，之所以使用了“再”字，原因在于，之前便有人问过这个问题，却没有得到相应的回答。...我感觉1996版的第一种证明，很精彩，完全摒弃decisive的。不过，我还是想搞明白阿罗最初的证明原理。虽有那...
不确定性人工智能的基础科学问题李德毅ziqin@t.102004人工智能50年21世纪人工智能研究的一个新方向:不确定性人工智能不确定性人工智能的基础科学问题四不确定性的计算机模拟人工智能从一开始就是交叉学科的产物达特茅斯会议与会者:数学家和逻辑学家认知学家和心理学家神经生理学家...
发表服务