Просмотрел книгу Ю. Л. Ершов, В. В. Целищев, Алгоритмы и вычислимость в человеческом познании. Центральной темой книги является вопрос о том, можно ли на основании теоремы Гёделя о неполноте сделать заключение о принципиальной разнице между человеком и роботом. На одной стороне выступают менталисты (да), на другой механицисты (нет).
История началась со статьи философа Д. Р. Лукаса Разум, машины и Гёдель (1961 год), в которой на основе теоремы Гёделя обосновывалось приниципиальное отличие человека от машины. В целом математики скептически отнеслись к заявлению Лукаса и можно сказать, что Лукас разбудил только одного человека, известного физика Роджера Пенроуза. В книгах Новый ум короля (1989) и Тени разума (1994) Пенроуз существенно расширил аргументы Лукаса. Несмотря на свои заслуги в области физики Пенроуз не является специалистом в области математической логики. Поэтому изначально его аргументы также не вызвали особого интереса у настоящих знатоков математики. Основные баталии начались после публикации в 1995 году третьего тома рукописей самого Гёделя, когда стало ясно, что Гёдель также придерживался точки зрения о принципиальном отличии человека от машины.
Далее: http://blog.rudnyi.ru/ru/2017/10/ershov-tselichshev-algoritmy-i-vychislimost.html