心灵、机器与哥德尔

✍ dations ◷ 2025-10-22 07:32:35 #心灵、机器与哥德尔

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

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

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

相关

  • 级别在病理学上,学界会订出不同分级(grading)标准评估肿瘤的状态。有些肿瘤分级仅用于恶性(英语:malignant)肿瘤(癌症),有些则涵盖良性肿瘤。一般来说,肿瘤的分级会参考细胞的分化情形。肿
  • 远日点拱点(apsis,复数为apsides)是指一个物体的运动轨道的极端点;在天文学中,这个词是指在椭圆轨道上运行的天体最接近或最远离它的引力中心(通常也就是系统的质量中心)的点。最靠近引力
  • 布列塔尼旗帜布列塔尼旗帜由黑白两色组成,设计于1923年,设计时参考了美国国旗和希腊国旗。在过去布列塔尼旗帜曾带有分裂主义含义,但现在布列塔尼旗帜已经不带有政治含义,在布列塔尼地区随处
  • 迪特勒染色迪特勒染色(Dieterle stain)是微生物学中的一种染色手段,属于一种银染法的变体,染色剂为硝酸银,可以将目标微生物染成深棕色、黑色或灰色,而背景则是黄色。该方法可以对引发猫抓病
  • 马里奥·卢齐马里奥·卢齐(意大利语:Mario Luzi;1914年10月20日-2005年2月28日)是意大利的著名诗人。他早中期的作品多为田园诗歌,具隐逸派风格;晚期作品由抽象转向现实,注重哲学思考,被誉为“典
  • 哈立德·阿萨德哈立德·阿萨德(阿拉伯语:خالد الأسعد‎;1932年1月1日-2015年8月18日)是叙利亚的一位考古学家。哈立德出生在叙利亚的塔德莫(又称巴尔米拉新城),在那里度过了他大部分的人
  • 肯顿 (俄克拉何马州)肯顿(英语:Kenton)是美国奥克拉荷马州锡马龙县的一个小的非建制地区。
  • 拉姆普拉普尔拉姆普拉普尔(Rampura Phul),是印度旁遮普邦珀丁达县的一个城镇。总人口42820(2001年)。该地2001年总人口42820人,其中男性22758人,女性20062人;0—6岁人口5021人,其中男2846人,女2175
  • 安勇俊安勇俊(韩语:안용준,1987年11月22日-),韩国男演员。
  • 黄仲裕黄仲裕(1961年2月17日-)是台湾男演员,出生于台南市,年轻时曾获得体操个人全能比赛冠军,曾为武术指导。1984年进入演艺圈,起初偏向幕后,曾担任武术指导。之后从幕后走向幕前,因演出《施公奇案》中的秦公公广为人知,也以此剧于1999年获得金钟奖最佳男配角。2000年时与第一任妻子离婚,两人育有一女。2015年与第二任妻子结婚,两人婚后也育有小孩。2005年开始担任导演,2006年台视连续剧《神机妙算刘伯温》邀请他到横店导戏,便使他的事业打开新的格局,在后来的《神机妙算刘伯温》第六单元〈怒犯天条〉饰演反