Алгоритмизация мышления: Геделевский аргумент 2-е изд., испр.

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