哥德尔不完全定理与数学认知的局限性——基于递归论解读哥德尔不完全定理

哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明中开启可计算理论(递归论)之门,用现在成熟递归论的结果重新认识哥德尔不完全定理,使其变得更容易接受。近年来,机器学习取得突破性成果,由此引发有关人工智能是否可以完全代替人的思维能力等热点问题讨论。针对这一问题,如果承认"人工智能"是在一个交互计算系统中完成的,那么哥德尔不完全定理给出的是否定回答。     

数学史上的哲学绝唱——无穷观与数学基础的争论

面对集合论中存在的悖论,罗素、布劳威尔、希尔伯特等数学大师各自提出了不同哲学主张和解决方案,展开了激烈的争论,形成了逻辑主义、直觉主义、形式主义三大学派.哥德尔的不完全性定理终结了数学家追求绝对可靠的数学基础的幻想,同时使人们对无穷的认识达到了一个更高的境界.     

迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把"自指代命题"从"自指命题"中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的"不可判定"命题,现在有3种不同的错误解释:是非不可分辨的命题(三值)、是非可分辨(二值)但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致"真理丧失说"和"数学丧失了确定性",但还应充分肯定哥德尔的历史功绩。     

论“罗素悖论”在数学发展中的作用

20世纪初的“罗素悖论”导致的关于数学基础三大学派的论争，虽然由于哥德尔定理的出现而没有得到明确的结论，却为数学领域增添了新的数学理论，并且深化了对数学基础的认识，从而推动了数学的发展，产生了现代数学．     

也谈正确理解哥德尔不完全性定理——与陈慕泽先生商榷

就陈慕泽先生对《禁止使用自指代命题》关于哥德尔不完全性定理的质疑提出的批驳做出回应。认为陈先生回避要害,无视作者对哥德尔证明中双重标准之矛盾的分析和揭露,其批驳存在自相矛盾、循环论证和转移辩题的问题。还专门采用陈先生的符号,对哥德尔定理结论1和2的证明进行分析和批判,再次解释哥德尔定理的结论可以完全正确,但应该理解成:哥德尔所构造的不可判定公式违反逻辑,必须禁止在无矛盾的形式系统中使用。同时,还分析了现有主流学派对哥德尔定理结论的种种误解,提出重建逻辑学公理系统的主张。     

迈向数学机械化：从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入因境，评价了塔斯基在理论上给出了定理判定的方法意义。特别指出是王浩首次在计算机上实现了高效证明定理的方法，并明确提出“迈向数学机械化”。     

数学史在数学教育中的作用

数学是学习现代自然科学和社会科学不可缺少的基本工具.人们要认识世界改造世界就离不开数学.数学的应用已日益深入到人类社会的各个领域,它的内容、思想、方法对自然科学和社会科学的发展及应用起着重要的作用.因此,在教学过程中要强调学习数学的重要性,让学生了解和学习数学史,有助于提高学生学习数学的积极性,培养学生的各方面能力.     

以哥德尔不完全性定理认识偶数哥德巴赫猜想

哥德尔不完全性定理第一次破天荒地分清了数学中“真”与“可证”是两个完全不同的概念,揭示了形式化方法不可避免的局限性。对于偶数哥德巴赫猜想这一未决的数学难题,可以跳出形式化方法的局限性,以一种新的思维去认识它。     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。