Из этого можно сделать вывод, что еще одним направлением искусственного интеллекта, кроме уже хорошо разработанного логического, должен стать ассоциативный поиск и хранение информации. Этот метод заведомо исключает такие хорошо известные в СУБД, как поиск по ключу и т.п. Метод дожжен обладать большой информативностью и поэтому с нашей точки зрения сложностью, если измерять сложность в обычных терминах теории алгоритмов.
7) Рефлексия, по второй теореме Геделя, не приводит к принципиальному расширению сознания, до уровня, когда оно способно разрешать все осознаваемые задачи. Поэтому сознание в любой момент времени остается достаточно ограниченным. И представляется, что ограниченность сознания касается не потенциально доступного ему содержания, а механизма получения новой информации. Локальное сознание, характеризующееся последовательной дедукцией, не выходит за рамки теоремы Геделя. Но, как правило, возникающие перед человеком проблемы в той или иной степени разрешаются и, следовательно, можно говорить о наличии еще некоторого механизма получения информации отличного от дедукции, который еще не является частью современного сознания.
Если проанализировать известные математике дедуктивные системы, понимая дедукцию шире, чем обычный логический вывод, то можно указать только два типа: детерминированные и недетерминированные. Ограниченность детерминированного подхода достаточно продемонстрирована, в математике – это теорема Геделя, в психологии – сознательная психическая деятельность. Следовательно, не детерминированная дедукция должна обладать некоторым свойством, которым не обладает детерминированная.
Недетерминированные вычисления обладают качеством, которое мы отметили при описании соотношение между примитивно-рекурсивными и частично-рекурсивными функциями: возможность осуществлять за один шаг выбор из неограниченного множества. Инсайт, не отделимый от творческих процессов, также представляет собой не ограниченный выбор, который осуществляется не сознательным способом. Именно в этом состоит работа бессознательного – в выборе некоторого факта из множества, которое в силу его неограниченности не может быть одномоментно осознано.
Но если проанализировать доказательство теоремы Геделя, то понятно, что непосредственно метод вычисления в нем не играет особой роли. Главное состоит в том, что все построения осуществляются в рамках заранее фиксированного формализма (арифметики). Именно богатая выразительность формальной арифметики приводит нас к формулировке утверждения о свойствах самого исчисления, не опровержимого и не доказуемого в рамках самой арифметики. Т.е. формальное исчисление богато, чтобы смоделировать рефлексию субъекта, но не достаточно богато, чтобы сделать вывод об истинности или ложности возникающих в результате такой рефлексии положений.
Субъект выходит из этого положения двумя способами. Первый состоит в постулировании высказывания, которое не удается ни доказать, ни опровергнуть. Так формируются постулаты веры, идеологические догмы, морально-нравственные императивы и т.п. Этот способ для нас не особенно интересен, так как очевиден математически простой механизм устранения возникающего конфликта.
Второй выход из положения, осуществляемый как бессознательное разрешение конфликта гораздо интереснее. Именно озарение, интуитивное прозрение, пророчество и т.п. приводят к расширению сигнатуры существующей сознательной системы, когда во вновь возникшей системе проблема становится разрешимой. Бессознательное осуществляет выбор в некотором множестве, и, похоже, что это множество не ограничено, если принять в рассмотрение все человечество в его попытках разрешения душевных конфликтов. К душевным конфликтам здесь относятся и творческий поиск потому, что без душевных движений может быть только ремесленничество.
Следовательно, вся проблема разрешается только при расширении сигнатуры системы и выхода в новую реальность, которая не достижима из существующей в результате только сознательных усилий. Сознательные (иначе – дедуктивные) механизмы не могут расширить существующей сигнатуры. Это возможно в результате либо обучения, либо озарения. Это есть общая декларация, психология сопровождает ею описание творческих процессов. Мы же ничего от нее не приобрели, так как уже увидели это, задумавшись над психологическим значением второй теоремы Геделя. Конечно, здесь можно было бы остановиться, сказав общие слова о Божьем провидении в его устройстве мира. Но для нас это уже не ново, этот факт почти непосредственно вытекает из теоремы Линденбаума-Тарского.