"""В 1961 г. профессор Дж. Лукас из Оксфорда открыл ящик Пандоры, показав, что согласно знаменитой Второй теореме Гёделя человеческий ум принципиально превосходит возможности искусственного интеллекта. К нему присоединился ныне лауреат Нобелевской премии сэр Р. Пенроуз. Началась драматическая дискуссия, в ходе которой многочисленные ревнители строгого мышления обвиняли их в нарушении канонов математической логики. Всё внезапно поменялось, когда из расшифрованных записных книжек Гёделя стало известно, что он на стороне этой пары, и тогда многие спорщики """"молчаливо отошли в сторону"""". Данная книга является единственным полным описанием сложных дискуссий менталистов и механицистов по поводу того, кого Вторая теорема Гёделя считает умнее - человека или машину, и почему в этом споре пока не поставлена точка. Книга предназначена для широкого круга читателей, интересующихся проблемами искусственного интеллекта и связанными с ними дискуссиями в философии и различных областях науки.""" Это и многое другое вы найдете в книге Алгоритмизация мышления: Геделевский аргумент (В. В. Целищев)