心靈、機器與哥德爾 心靈機器與哥德爾英語Minds Machines and Gödel由約翰盧卡斯於年撰寫的哲學論文他認為人類數學家不能被圖靈機準確替代本論文以機械論作為哥德爾論證的機制 受到哥德爾不完備定理的影響他認為對於任何這樣的自動機都會有一些它無法證明的數學公式但是人類數學家可以看到並證明為真 盧卡斯於年將該論文提交給牛津哲學學會首次出版於哲學PhilosophyXXXVI年後轉載於心智模型與心靈機器與哥德爾