心靈、機器與哥德爾
《心靈、機器與哥德爾》（英語：Minds, Machines and Gödel）由約翰·盧卡斯於1959年撰寫的哲學論文，他認為人類數學家不能被圖靈機準確替代。本論文以機械論作為哥德爾論證的機制。
受到哥德爾不完備定理的影響，他認為對於任何這樣的自動機，都會有一些它無法證明的數學公式，但是人類數學家可以看到並證明為真。
盧卡斯於1959年將該論文提交給牛津哲學學會。首次出版於《哲學》（Philosophy，XXXVI，1961年）[1]，後轉載於《心智模型》[註 1]與《心靈、機器與哥德爾》[註 2]。
另見
[编辑]注釋
[编辑]- ^ 英文原著為：The Modeling of Mind，Kenneth M. Sayre and Frederick J. Crosson, eds，Notre Dame Press，1963年
- ^ 英文原著為：Minds, Machines and Gödel，Alan Ross Anderson，Prentice-Hall，1964年，ISBN 0-13-583393-0
參考文獻
[编辑]- ^ Lucas, John, Minds, Machines and Gödel, Philosophy, 1961, 36 (XXXVI): 112–127 [15 October 2008], doi:10.1017/S0031819100057983, （原始内容存档于2007-08-19）