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

摘要

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