В
Википедии нашел ссылку на статью
"Е. М. Иванов. Геделевский аргумент // К проблеме «вычислимости» функции сознания." Видимо, там можно почитать о возможности создания ИИ на базе машины Тьюринга.
Все подобные аргументы разбиваются элементарными рассуждениями за пару минут. Так и этот.
В самом конце статьи:
Цитата:
Согласно теореме Геделя о неполное формальных систем, поскольку F непротиворечива, существует геделевское предложение G(F), которое должно быть истинным, но которое не является теоремой в системе F. Однако, поскольку Пенроуз верит, что F - непротиворечивая система и знает, что F представляет его способность к математическим рассуждениям, он должен прийти к выводу, что G(F) является "неоспоримой истиной". Таким образом, мы получаем математическое утверждение G(F), которое Пенроуз признает истинным, но которое не является теоремой в F , что противоречит первоначальному предположению, что F представляет целиком и полностью математические способности Пенроуза.
Отсюда вывод, что никакая формальная система не может быть адекватным выражением математических способностей человека и, следовательно, невозможна полная компьютерная имитация человеческого сознания.
Каким образом Пенроуз придёт к выводу что G(F) истинно, если он не сможет этого формально доказать? Ни человек ни машина не смогут этого сделать.
