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

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

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

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

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

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

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

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

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

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

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

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

Машина Тьюринга - это воображаемое вычислительное устройство (машина) способная с помощью простейших операций перерабатывать некоторые последовательности символов в другие последовательности. Машина Тьюринга состоит из трех частей: 1. Бесконечной в обе стороны ленты, разделенной на ячейки; 2."Головки", которая способна выполнять следующие три операции: считывать символ, записанный в ячейке ленты, записывать символ в ячейку и перемещаться вдоль ленты на одну ячейку влево или вправо; 3.Логического блока - который управляет действиями "головки" в соответствие с некоторой "программой".