心靈、機器與哥德爾

《 心靈 、 機器與哥德爾 》  由於1959年撰寫的哲學論文 ， 他認爲人類數學家不能被圖靈機準確替代 。 本論文以機械論作爲哥德爾論證的機制 。 受到哥德爾不完備定理的影響 ， 他認爲對於任何這樣的自動機 ， 都會有一些它無法證明的數學公式 ， 但是人類數學家可以看到並證明爲真 。 盧卡斯於1959年將該論文提交給牛津哲學學會 。 首次出版於 《 哲學 》 （ Philosophy ， XXXVI ， 1961年 ） ， 後轉載於 《 心智模型 》 與 《 心靈 、 機器與哥德爾 》 。