跳转到内容

心靈、機器與哥德爾

维基百科,自由的百科全书

心靈、機器與哥德爾》(英語:Minds, Machines and Gödel)由約翰·盧卡斯於1959年撰寫的哲學論文,他認為人類數學家不能被圖靈機準確替代。本論文以機械論作為哥德爾論證的機制。

受到哥德爾不完備定理的影響,他認為對於任何這樣的自動機,都會有一些它無法證明的數學公式,但是人類數學家可以看到並證明為真。

盧卡斯於1959年將該論文提交給牛津哲學學會。首次出版於《哲學》(PhilosophyXXXVI,1961年)[1],後轉載於《心智模型》[註 1]與《心靈、機器與哥德爾》[註 2]

另見

[编辑]

注釋

[编辑]
  1. ^ 英文原著為:The Modeling of Mind,Kenneth M. Sayre and Frederick J. Crosson, eds,Notre Dame Press,1963年
  2. ^ 英文原著為:Minds, Machines and Gödel,Alan Ross Anderson,Prentice-Hall,1964年,ISBN 0-13-583393-0

參考文獻

[编辑]
  1. ^ Lucas, John, Minds, Machines and Gödel, Philosophy, 1961, 36 (XXXVI): 112–127 [15 October 2008], doi:10.1017/S0031819100057983, (原始内容存档于2007-08-19) 

外部連結

[编辑]