Умы, машины и Гёдель - Minds, Machines and Gödel

"Умы, машины и Гёдель" является Дж. Р. Лукас философская статья 1959 года, в которой он утверждает, что человеческий математик не может быть точно представлен алгоритмический автомат. Апеллируя к Теорема Гёделя о неполноте, он утверждает, что для любого такого автомата должна существовать некоторая математическая формула, которую он не может доказать, но которую математик-человек может увидеть и показать, что она истинна.

Бумага Гёделев аргумент против механизм.

Лукас представил доклад в 1959 г. Оксфордское философское общество. Впервые он был напечатан в Философия, XXXVI, 1961, затем перепечатано в Моделирование разума, Кеннет М. Сэйр и Фредерик Дж. Кроссон, ред., Notre Dame Press, 1963, и в Умы и машины, изд. Алан Росс Андерсон, Прентис-Холл, 1964 г., ISBN  0-13-583393-0.

Смотрите также

внешняя ссылка