典型文献
哥德尔与可计算性理论——哥德尔可以有丘奇-图灵论题吗?
文献摘要：
将非形式的"能行可计算性"概念等同于严格的数学概念"一般递归函数"或是"图灵可计算性",这被称之为"丘奇-图灵论题"(Church-Turing Thesis,CTT),它被视为用逻辑的方式来澄清概念的一个典范.本文以哥德尔在可计算性理论发展中的角色为参照点,从历史考察以及哲学分析的角度来试图回答这样两个相关的问题:虽然哥德尔已经掌握了足够的技术细节,但是他为什么不愿意提出一个后来被证明是和CTT等价的"哥德尔论题"?其次,尽管对丘奇论题非常不满,但是为什么哥德尔后来还是为图灵的分析信服而最终愿意相信CTT的正确性?本文将从哥德尔的概念实在论视角出发提出一.个不同于费佛曼和戴维斯的回答,并且以概念分析的公理化方法考察图灵论题相对于丘奇论题的优越性,以期更好地理解哥德尔的实在论和CTT所带来的认识论挑战.
文献关键词：
能行可计算性;哥德尔;概念分析;公理化方法
中图分类号：
作者姓名：
陈龙
作者机构：
北京师范大学哲学学院,北京,100875
文献出处：
引用格式：
[1]陈龙-.哥德尔与可计算性理论——哥德尔可以有丘奇-图灵论题吗?)[J].自然辩证法通讯,2022(11):17-25
A类：
能行可计算性,Church,Thesis
B类：
哥德尔,图灵,论题,等同于,数学概念,递归函数,称之为,Turing,CTT,澄清概念,理论发展,参照点,历史考察,哲学分析,来试,技术细节,等价,尔后,信服,相信,实在论,戴维斯,概念分析,公理化方法,法考,认识论
AB值：
0.231874
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
