心灵、机器与哥德尔

✍ dations ◷ 2025-07-12 10:16:16 #心灵、机器与哥德尔

《心灵、机器与哥德尔》(英语:)由约翰·卢卡斯(英语:John Lucas (philosopher))于1959年撰写的哲学论文,他认为人类数学家不能被图灵机准确替代。本论文以机械论作为哥德尔论证的机制。

受到哥德尔不完备定理的影响,他认为对于任何这样的自动机,都会有一些它无法证明的数学公式,但是人类数学家可以看到并证明为真。

卢卡斯于1959年将该论文提交给牛津哲学学会。首次出版于《哲学》(,,1961年),后转载于《心智模型》与《心灵、机器与哥德尔》。

相关

  • 2-戊醇2-戊醇 (IUPAC系统命名) 亦称为仲戊醇,是一种醇类的有机化合物,其化学式为C3H7CH(OH)CH3。它常用来作为有机溶剂或其他化学品的制造的中间体。2-戊醇是许多工业戊醇的一个成分
  • 岩攀鼠亚科岩攀鼠亚科(Petromyscus),哺乳纲、啮齿目、马岛鼠科的一属,而与岩攀鼠亚科同科的动物尚有刺山鼠属(刺山鼠)、德拉尼鼠属(德拉尼鼠)等之数种哺乳动物。
  • 塞缪尔·皮普斯塞缪尔·皮普斯,FRS,JP (英语:Samuel Pepys,又译佩皮斯,发音发音: /ˈpiːps/,1633年2月23日-1703年5月26日),英国托利党政治家,历任海军部首席秘书、下议院议员和皇家学会主席,但他最为
  • ATC代码 (V08)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码V08(造影剂)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 小尾元政小尾 元政(日语:おび ゆきまさ;1978年9月22日-)是日本男性声优。所属经纪公司ガジェットリンク(日语:ガジェットリンク),北海道网走市出生。2000年,以电视动画‘女神候补生’的主角杰
  • 古鲸古鲸小目(学名:Archaeoceti)也作原鲸小目,即古代鲸鱼,包括现代鲸鱼的祖先。古鲸小目是鲸下目三个小目之一,传统上用以概括史前鲸豚类,但不包括其存活至现代的后代,因此,这是一个并系
  • 游戏研究游戏研究(或称游戏理论)是以批判角度研究游戏的学科。它的主要研究主题包含游戏设计、玩家以及玩家在社会文化中的角色。游戏研究是一门跨领域的学科,其主要研究者来自广泛不同
  • pygamepygame是跨平台Python模块,专为电子游戏设计。包含图像、声音。创建在SDL基础上,允许实时电子游戏研发而无需被低端语言,如C语言或是更低端的汇编语言束缚。基于这样一个设想,所
  • 富兰克林县 (佐治亚州)富兰克林县(英语:Franklin County)是位于美国乔治亚州东北部的一个县,东北邻南卡罗莱纳州。面积690平方公里。根据美国2000年人口普查,共有人口20,2
  • 库胡尔·加尔格库胡尔·加尔格(英语:Kuhoo Garg,1998年9月22日-),印度女子羽毛球运动员。2016年6月,库胡尔·加尔格与宁思·布洛克·哈扎里卡出战毛里求斯羽毛球国际赛,在女双半决赛以0比2(11-21、12-21)不敌赛会头号种子、赞比亚的伊芙琳·西埃姆潘杰拉/奥加尔·西埃姆潘杰拉。同年11月,她与维涅什·迪弗莱卡出战印度羽毛球国际挑战赛,在混双半决赛以1比3(7-11、8-11、11-6、10-12)不敌马来西亚的刘航益/谢宜希。2017年9月,库胡尔·加尔格与罗汉·卡普尔出战希腊羽毛球公开赛,在混