Коллектив авторов - Теорема Геделя о неполноте [Фейк]

Исторически теорема Геделя связана с проблемой "оснований математики", в частности, с Гильбертовой программой обоснования математики через формализацию ее "традиционных" теорий и дальнейшее доказательство непротиворечивости полученного формализма в рамках метаматематики. Из теоремы Геделя о неполноте формальных систем и ряда других ограничительных теорем, вытекает неосуществимость программы Гильберта. Важный результат, также полученный К. Геделем, заключается в том, что оказывается невозможным доказать непротиворечивость формальной системы, используя для доказательства средства, формализуемые в рамках рассматриваемого формального языка. Для подобного рода доказательств необходимо использовать формальный язык более высокого уровня (обладающий большими выразительными возможностями). Эти результаты, в частности, означают, что математика не может быть раз и навсегда застрахована от возможности возникновения противоречий.

Нас, однако, интересует несколько иное применение теоремы Геделя, а именно использование ее в качестве аргумента против возможности создания искусственного интеллекта.

Если смысл теоремы Геделя сводится к невозможности формализации содержательного понятия истины, то уже отсюда следует невозможность создания машины способной различать истину и ложь столь же эффективно, как это делает человек. Преимущество человека перед машиной можно усмотреть в том, что человек способен в любых случаях распознавать истинность "геделевских предложений" (опираясь, например, на ту схему рассуждений, которую мы использовали на последнем этапе доказательства теоремы Геделя), а машина делать это не способна.

Здесь предполагается отождествление машины и формальной системы. Действительно, условием передачи каких-либо функций машине является формализация, т.е. четкое, полное, однозначное, независимое от контекста описание способа реализации данной функции. Невозможно воплотить в машине нечто такое, что мы сами недостаточно ясно представляем себе, нечто неоднозначное, интуитивное, зависимое от контекста. Таким образом, "машинизация" и "формализация" - тесным образом взаимосвязаны. (Отсюда, однако, не следует, что всякая машина может рассматриваться как "материальный" аналог формальной системы. Таковой, в частности, не является машина, в конструкцию которой включен "генератор случайных чисел", т.е. машина, способная в определенных случаях действовать случайным образом).

Геделевский аргумент против искусственного интеллекта часто формулируют в несколько иной форме - говорят об "алгоритмической невычислимости" функции сознания. (В такой форме, например, данный аргумент представлен у Р. Пенроуза (2,3 ) ).

Здесь нужно, прежде всего уточнить смысл, который мы вкладываем в термин "функция сознания". Начиная с Декарта, человеческую "душу", сознание стали рассматривать как особый "функциональный орган", т.е. стали рассматривать сознание с точки зрения тех функций, которые оно выполняет, участвуя, например, в процессах обработки сенсорной информации, а также участвуя в процессах принятия поведенческих решений. При этом, одновременно сознание понимается и как "феноменальная реальность" - как "поток" чувственных и сверхчувственных (смысловые, эмоционально-волевые переживания) феноменов. Вопрос заключается в том, какую конкретно роль играет "феноменальная реальность" в системе психической регуляции человеческого поведения (13).

Для нас нет никакой необходимости выделять функцию "феноменальной реальности" из общего состава психических функций. Поэтому мы далее будем употреблять термины "функция сознания" и "психические функции" - как синонимы. Последние же можно в первом приближении отождествить с "функцией мозга".

Формально психические функции можно представить как некое отображение множества "входов" (конфигураций нервных импульсов, поступающих в мозг от органов чувств) в множество "выходов" (множество различных поведенческих реакций, выражаемых, в конечном итоге, в виде мускульных движений).

С этой точки зрения тезис "алгоритмической невычислимости" функции сознания означает, что невозможно построить алгоритмическое устройство (т.е. устройство, действия которого строго подчинены конечному набору четко и однозначно сформулированных правил), способное достаточно удовлетворительным образом имитировать отношение "вход"- "выход" - характерное для человеческой психики. (Обычно в качестве теста на соответствие искусственного интеллекта уровню человеческого интеллекта рассматривают "игру в имитацию", предложенную А. Тьюрингом. Машинный интеллект считается эквивалентным человеческому, если в заочном диалоге с машиной человек не сможет достоверно установить с кем он общается - с машиной или с человеком).