典型文献
哥德尔与人工智能
文献摘要：
哥德尔不完全性定理可以表述为没有机械定理证明机器(或程序)能够只证明全部真的数学命题.它不仅仅是一个确定的逻辑定理,还对数学真理的本性以及人心与机器的关系等哲学问题有着深远的影响.本文从两个角度讨论哥德尔与人工智能的关系:第一部分从哥德尔不完全性定理出发,以此为工具来考察"人心胜过机器"反机械论中著名的"卢卡斯—彭罗斯论证"以及"哥德尔析取式论证";第二部分则集中讨论哥德尔对图灵关于机械程序分析的看似不一致的评论,一方面他毫无保留地赞成图灵关于机械程序的分析,但是另一方面他又断言图灵的分析中包含一个"哲学错误",这个错误会导致图灵的分析为"人心无法超出机械程序"提供证据.最后从科尔纳对哥德尔式反机械论的最新研究以及当代人工智能在数学定理发现与证明方面的最新进展对哥德尔与人工智能的讨论做一些评论与展望.
文献关键词：
哥德尔;人工智能;反机械论;人工直觉
中图分类号：
作者姓名：
陈龙
作者机构：
北京师范大学哲学学院
文献出处：
引用格式：
[1]陈龙-.哥德尔与人工智能)[J].科学·经济·社会,2022(03):28-37
A类：
反机械论,人工直觉
B类：
哥德尔,不完全性,定理证明,数学命题,第一部,胜过,卢卡斯,析取,第二部,分则,图灵,程序分析,看似,毫无保留,无保留地,赞成,成图,断言,误会,提供证据,科尔,当代人,数学定理,明方,最新进展
AB值：
0.246061
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
