心灵、机器与哥德尔
《心灵、机器与哥德尔》（英语：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）