心灵、机器与哥德尔

心灵、机器与哥德尔》(英语: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) 

外部链接

编辑