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

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