Страница 10 из 15
Истинные чудеса значительно отличаются от ситуаций, в которых стрелок случайно стреляет в направлении, почти параллельном стене, и, таким образом, попадает в невообразимо далекую точку. Истинное чудо – это событие принципиально иное, нечто уникальное и неповторимое. Такие события происходят не только в Диконии, но и в Тихонии, потому что порождены не действием обычных законов природы, а чем-то радикально иным: они не противоречат законам природы, но и не являются следствием из них. Мы рассмотрим и такие истинные чудеса. В конце следующей главы я определю четыре типа чудес. Но сначала нам понадобится еще одна фундаментальная концепция.
3
Источник чудес: идея Гёделя
Если вы – самый умный из присутствующих, значит, вы находитесь не там, где нужно.
В этой книге я пишу об идеях Курта Гёделя уже в четвертый раз. Каждый раз я писал о них по разным причинам. Хотя математическое содержание теоремы Гёделя не изменилось, следствия из нее настолько глубоки, что я снова и снова возвращаюсь к ней.
В книге «Способы мышления» (Ways of Thinking) я использовал теорему Гёделя, чтобы показать, что у того, чего можно достичь чисто рациональным мышлением, неизбежно существуют некоторые пределы, и для выхода за эти пределы необходима некая особая уловка. Этой уловкой оказалась человеческая интуиция. В книге «Этические расчеты» (Moral Calculations) я писал о концепции сотрудничества. Это, на вид такое простое, понятие оказалось на удивление трудно – на самом деле невозможно – определить. Как ни определяй поведение, основанное на принципах сотрудничества, всегда можно применить методику, разработанную Гёделем, и сконструировать такую коллективную игру, в которой все игроки неизбежно проигрывают, если неуклонно придерживаются сотрудничества в соответствии с этим определением, а различные стратегии, не предполагающие сотрудничества, позволяют всем выиграть. Таким образом, бесспорного, всеобщего и окончательного решения задачи о сотрудничестве быть не может. В книге «Эволюция денег» (The Evolution of Money) я доказывал, что методика Гёделя не только дает возможность вывода его радикально новаторской теоремы в области логики, но может быть использована и для описания корневого механизма дарвиновской эволюции, который, в свою очередь, можно применить к эволюции биологической, к эволюции идей (мемов) и к эволюции экономической (денег и капитала). Следовательно, Гёдель открыл нечто гораздо большее, нежели изящный и действенный математический метод; его открытие оказывается природным механизмом, лежащим в основе самых разных явлений.
Теперь же идея Гёделя покажет нам, почему помимо редких явлений дикого мира, подчиняющегося закону Коши, могут существовать и другие типы чудес. А когда мы дойдем до IV части книги, гёделевская точка зрения также поможет нам понять, почему мы говорим об одних типах поведения и отношений и не говорим о других, а также подготовить нас к чудесам, которые встретятся нам в будущем.
Теорема Гёделя
В 1931 году Курт Гёдель опубликовал в немецком журнале Monatshefte für Mathematik und Physik статью «О формально неразрешимых предложениях Principia Mathematica и родственных систем I» (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I). Теорема VI этой статьи, прославившаяся впоследствии под названием первой теоремы Гёделя о неполноте, была сформулирована следующим образом:
Для каждого ω-непротиворечивого рекурсивного класса формул k существует такая рекурсивная классовая формула, что ни ∀ (ν, r), ни ¬∀ (v, r) не принадлежат к Flg (k), где ν – свободная переменная r[26].
Гёдель исходно сформулировал это утверждение по-немецки, но я могу вас заверить, что для немецкоязычного читателя-неспециалиста оно было ничуть не более понятным, чем для нас в переводе. В переложении на обычный язык теорема утверждает приблизительно следующее:
Любая математическая система, которая 1) основана на конечном числе аксиом (утверждений, принимаемых без доказательства), 2) построена строго формальным образом, 3) содержит аксиому, предполагающую существование бесконечной последовательности натуральных чисел (причем ноль считается натуральным числом, и за каждым натуральным числом идет следующее), и 4) не содержит противоречий (в том смысле, что в рамках этой системы невозможно доказать как некоторое утверждение, так и утверждение, обратное ему), заведомо содержит такие утверждения, которые можно точно сформулировать в рамках этой системы, но нельзя ни доказать, ни опровергнуть.
Теорема Гёделя о неполноте чрезвычайно сильно потрясла математиков и логиков. В течение двух с половиной тысяч лет – с самого момента появления математики в современном смысле этого слова – математики твердо верили, что любое математическое утверждение, которое можно ясно и точно сформулировать, рано или поздно можно будет доказать либо опровергнуть, используя формальные методы математической дедукции. Нужно только быть достаточно умным – и доказательство найдется. Но Гёдель разбил эту мечту вдребезги. Он показал, что существуют такие математические утверждения, которые никто, как бы умен он ни был, никогда не сможет ни доказать, ни опровергнуть.
Четыре условия, которые я описал выше, нельзя назвать ни чрезмерно строгими, ни излишне заумными. Им соответствует бо́льшая часть той математики, которую мы используем повседневно. Таким образом, теорема Гёделя утверждает, что во всех математических системах, кроме самых простейших, непременно должны возникать задачи чисто математические, но не разрешимые методами самих этих систем. Отсюда и название «теорема о неполноте»[27].
Гёделевские дивертисменты
Было бы соблазнительно углубиться еще дальше в удивительные следствия из теоремы Гёделя. Я попытаюсь устоять перед этим искушением, чтобы не отклоняться слишком далеко от темы этой книги. По счастью, у нас есть «Гёдель, Эшер, Бах» Дугласа Р. Хофштадтера – книга, которая сама по себе является небольшим чудом. Даже ее издатели не предполагали, что им удастся продать целые миллионы экземпляров этой длинной и сложной книги, посвященной математическим вопросам. Таким образом, можно сказать, что книга «Гёдель, Эшер, Бах», в которой представлены многочисленные далеко идущие следствия из теоремы Гёделя и гёделевского мышления, была настоящим «черным лебедем». Одной из причин ее успеха было то, что Хофштадтеру удалось пересказать теорему Гёделя простым языком, не используя сложных математических формулировок, но сохранив абсолютную математическую точность. Однако для этого ему потребовалось приблизительно столько же страниц, сколько во всей моей книге.
Я не буду даже пытаться состязаться с этим великолепным достижением. Вместо этого позвольте мне представить несколько гёделевских дивертисментов, чтобы проиллюстрировать охват следствий из теоремы Гёделя и показать, почему она изменила наше мышление столь фундаментальным образом. Я надеюсь, что эти наброски позволят понять, почему открытие Гёделя, кажущееся столь эзотерическим, смогло лечь в основу трех моих предыдущих книг, в которых ничего эзотерического не было, и почему его можно использовать снова, чтобы пролить свет на происхождение чудес.
В некой деревне существует закон, согласно которому человек, назначенный деревенским брадобреем, должен брить всякого, кто не бреется сам, и не имеет права брить никого из тех, кто бреется самостоятельно. Кто же тогда бреет брадобрея? Заметим прежде всего, что брадобрей не может брить самого себя, так как ему запрещено брить тех, кто бреется сам. Но если он не бреет самого себя, то он все-таки должен брить самого себя, потому что он обязан брить всех тех, кто не бреется самостоятельно. Поэтому наша задача приобретает гёделевский оттенок: она сводится к логическому парадоксу, не имеющему решения.
26
В Hofstadter (1979), р. 17, теорема приводится в изначальной формулировке.
27
О философских предпосылках теоремы Гёделя см. Copi and Gould (1968). Об ограничениях математики см. Chaitin (2002).