« Minds, Machines and Gödel » — философская работа Дж. Р. Лукаса 1959 года, в которой он утверждает, что человек- математик не может быть точно представлен алгоритмическим автоматом . Ссылаясь на теорему Гёделя о неполноте , он утверждает, что для любого такого автомата существовала бы некоторая математическая формула, которую он не мог бы доказать, но которую человек-математик мог бы увидеть и показать как истинную.
Статья представляет собой гёделевский аргумент против механицизма .
Лукас представил статью в 1959 году Оксфордскому философскому обществу. Впервые она была напечатана в Philosophy , XXXVI, 1961, затем перепечатана в The Modeling of Mind , Kenneth M. Sayre и Frederick J. Crosson, ред., Notre Dame Press, 1963, и в Minds and Machines , ред. Alan Ross Anderson, Prentice-Hall, 1964, ISBN 0-13-583393-0 .