А как насчет G? Объяснение на уровне ТТЧ, сработавшее для строчки S0=0, для G не работает, поскольку ~G теоремой не
является. Человек, не имеющий общего представления о ТТЧ, не поймет, почему он не может вывести G, следуя правилам, — ведь в G, как в арифметическом высказывании, нет никаких ошибок! Когда G превращено в универсально квантифицированную строчку, в ТТЧ может быть выведено любое высказывание, полученное из него путем подстановки символов чисел вместо переменных. Единственный способ объяснить нетеоремность G заключается в использовании Гёделевой нумерации и взгляде на ТТЧ с совершенно иного уровня. Дело тут не в том, что в ТТЧ объяснение написать слишком сложно, — это просто невозможно. Подобного объяснения в ТТЧ в принципе не существует. На высшем уровне есть некие возможности, которыми ТТЧ не обладает. Нетереомность ТТЧ, если можно так выразиться, является фактом высшего уровня. У меня есть подозрение, что это верно для всех неразрешимых суждений — иными словами, любое неразрешимое суждение является ни чем иным, как Гёделевым высказыванием, утверждающим собственную нетеоремность в некоей системе с помощью какого-либа кода.Сознание как явление высшего уровня
В этом смысле, Гёделево доказательство наводит на мысль — хотя ни в коем случае ее не доказывает! — что может существовать некий высший уровень, на котором можно рассматривать разум/мозг. На этом уровне могут существовать понятия, отсутствующие на низших уровнях. Это значит, что там можно было бы легко объяснить те факты, которые на низшем уровне объяснить невозможно
. Какими бы длинными и громоздкими ни были высказывания низшего уровня, они не смогут объяснить данного явления. Это аналогично тому факту, что, выводя одну за другой деривации в ТТЧ, какими бы длинными и громоздкими они ни получались, вы никогда не сможете вывести G, несмотря на то, что на высшем уровне вы легко замечаете, что G истинно.В чем могут заключаться эти понятия высшего уровня? Ученые и гуманисты, сторонники холизма и наличия души, давно уже предположили, что сознание
невозможно объяснить в терминах составляющих мозга, — так что это, по крайней мере, один кандидат. Кроме того, существует загадочное понятие свободной воли. Возможно, что эти качества появляются «неожиданно», в том смысле, что психология не в состоянии объяснить их возникновения. Но важно понять, что, руководствуясь доказательством Гёделя в формировании этих смелых гипотез, мы должны довести аналогию до конца. В частности, необходимо помнить, что нетеоремность G имеет объяснение, — это вовсе не тайна! Это объяснение опирается не только на понимание отдельного уровня, но и того, как этот уровень отражает свой мета-уровень и какие от этого получаются последствия. Если наша аналогия правильна, то «неожиданные» явления могут быть объяснены в терминах отношений между различными уровнями в разумных системах.Странные Петли в сердце разума
Я убежден в том, что объяснение «неожиданно» возникающих в наших мозгах явлений — идей, надежд, образов, аналогий и, наконец, сознания и свободной воли — основаны на некоем типе Странных Петель, то есть такого взаимодействия между уровнями, при котором высший уровень воздействует на низший уровень, будучи в то же время сам определен этим низшим уровнем. Иными словами, это самоусиливающий «резонанс» между различными уровнями — нечто вроде суждения Хенкина, которое становится доказуемым, только утверждая свою доказуемость. Индивидуальность рождается в тот момент, когда она становится способна отразить саму себя.
Это не должно быть понято как антиредукционистское утверждение. Я хочу сказать лишь то, что редукционистское объяснение разума, чтобы быть понятым
, должно содержать такие «гибкие» понятия как уровни, отображение и значение. В принципе, я не сомневаюсь, что теоретически может существовать полностью редукционистское, но непостижимое объяснение мозга; проблема заключается в том, как перевести его на понятный нам язык. Безусловно, нам не нужно описания в терминах позиций и моментов частиц: мы хотим иметь описание, соотносящее нейронную активность с «сигналами» (явлениями промежуточного уровня), а сигналы, в свою очередь, — с «символами» и «подсистемами», включая предполагаемый «само-символ». Перевод с языка низших уровней физиологической аппаратуры на язык высших уровней психологических программ аналогичен переводу численно-теоретических суждений в суждения метаматематики. Вспомните, что именно скрещение уровней, возникающее в момент перевода, является причиной Гёделевой неполноты и самодоказующего характера суждения Хенкина. Я утверждаю, что именно это скрещение порождает наше почти неподдающееся анализу чувство индивидуальности.