Хавьер Фресан - Том. 22. Сон разума. Математическая логика и ее парадоксы
В широком смысле парадокс — это абсурдное заключение, к которому ведут рассуждения, кажущиеся правильными и начинающиеся с корректных гипотез. Когда Рассел стал рассматривать множество всех множеств, которые не принадлежат сами себе, он опирался на литературную и философскую традицию. Вплоть до конца XIX века казалось невозможным, что парадоксы пересекут границу естественных наук и вторгнутся в царство чистого разума. Философы прибегали к парадоксам, чтобы подчеркнуть, что чувства обманчивы, а поэты использовали парадоксы как единственный способ донести до читателя истину о любви. Математики же страшились парадоксов, словно ящика Пандоры, открыв крышку которого, можно разрушить все в один миг. Поэтому открытие противоречий в теории множеств в то самое время, когда ученые постепенно начали признавать труд Кантора универсальной основой математики, вызвало кризис, пошатнувший самые основы науки. И на преодоление этого кризиса потребовалось несколько лет.
Один из древнейших парадоксов — это парадокс об Ахиллесе и черепахе, с помощью которого философ-досократик Зенон Элейский, ученик Парменида, хотел доказать, что движения не существует, и нанести удар по защитникам атомистической концепции пространства и времени. Зенон объяснял: фора, которую Ахиллес дает черепахе, чтобы забег проходил в равных условиях, непреодолима — когда атлет добежит до того места, где черепаха находилась вначале, она проползет чуть дальше. Когда Ахиллес преодолеет расстояние, пройденное черепахой, он вновь не сможет поравняться с ней — она успеет проползти немного вперед. Ахиллеса всегда будет отделять от черепахи некоторое расстояние, сколь бы малым оно ни было.
В другой формулировке этого парадокса утверждается, что стрела никогда не достигнет цели, так как когда она пролетит половину требуемого расстояния, ей нужно будет преодолеть вторую половину, когда она пролетит половину этой половины — останется четвертая часть, затем восьмая и так далее до бесконечности. Однако в реальной жизни Ахиллес всегда обгоняет черепаху, а стрела долетает до цели.
Возможно, наиболее интересными среди классических парадоксов являются антиномии — утверждения, истинные и ложные одновременно. Среди них выделяется парадокс лжеца, обычно приписываемый Эпимениду Критскому, хотя возможно, что этот философ, о котором говорили, будто он проспал 57 лет в пещере, зачарованной Зевсом, не осознавал, что формулирует парадокс. В одном из стихов Эпименид говорит о «критянах, вечно лживых», которые не верили в бессмертие Зевса. Однако сам Эпименид также был критянином, поэтому его утверждение относилось к нему самому и было равносильно высказыванию «Я всегда лгу».
Допустим, что Эпименид лжет, тогда его высказывание не может быть верным, следовательно, он говорит правду. Если же, напротив, Эпименид говорит правду, то его высказывание должно быть истинным, следовательно, он лжет. По легенде, поэт Филит Косский умер от изнеможения, пытаясь разрешить этот парадокс.
В действительности фраза «я всегда лгу» не парадокс в строгом смысле этого слова, так как ее отрицанием является не высказывание «я всегда говорю правду», как мы предположили выше, а высказывание «я лгу не всегда» или «иногда я говорю правду». Тем не менее, вложив в уста Эпименида слова «эта фраза ложна», мы получим настоящий парадокс. В самом деле, предположим, что эта фраза истинна — в этом случае она должна выполняться, то есть быть ложной. Но если эта фраза ложна, то она должна быть истинной, так как она относится к себе самой. Если она истинна, то она ложна, если она ложна, то истинна. Это нарушает закон исключенного третьего, согласно которому любая фраза является истинной или ложной, и принцип непротиворечивости, который гласит, что обе эти ситуации не могут происходить одновременно.
* * *
ОСТРОВ РЫЦАРЕЙ И ОРУЖЕНОСЦЕВ
Некий логик попал на остров, все жители которого делились на две группы: рыцари всегда говорили правду, а оруженосцы всегда лгали. Повстречав троих жителей А, В и С, логик спросил А, к рыцарям или оруженосцам он принадлежит, но получил столь путаный ответ, что был вынужден обратиться к в и спросить его: «Что сказал А?». В ответил: «А сказал, что он оруженосец». Однако в этот самый момент в разговор вмешался С, который предупредил логика: «Не верь В, он лжет!»
На основе этих двух утверждений логик может определить, кем же являются B и С. В самом деле, согласно В, житель А сказал «Я оруженосец», что можно считать одной из версий парадокса лжеца: «Я всегда лгу». Следовательно, существует единственный непротиворечивый выход из этой ситуации: когда В говорил об А, он солгал, следовательно, В — оруженосец. Таким образом, когда С предупреждал логика, он говорил правду, из чего следует, что С — рыцарь. Чтобы узнать, кем на самом деле является А, нам потребуется задать дополнительные вопросы.
* * *
В разные эпохи парадокс лжеца трактовался по-разному. Сервантес, например, упоминает его в главе LI второй части «Дон Кихота» — «О том, как Санчо Панса губернаторствовал далее, а равно и о других поистине славных происшествиях» в качестве примера того, сколь трудные решения приходилось принимать Санчо Пансе на острове Баратария. До этого, в главе XVIII, дон Кихот объясняет, что к наукам, которые должен знать странствующий рыцарь, принадлежит математика, «ибо необходимость в математике может возникнуть в любую минуту». Именно это про
исходит с Санчо Пансой, когда ему сообщают о деле хозяина поместья, разделенного рекой, который обязывал всякого, кто хотел переправиться через нее, сначала сообщить, куда он направляется. Если путник говорил правду, ему разрешалось переправиться через реку, но если он лгал, его ждала казнь. После вступления закона в силу судьи беспрепятственно пропускали почти всех, пока в один прекрасный день перед ними не предстал человек, который заявил, что направляется на виселицу, чтобы быть повешенным. Посовещавшись, судьи вынесли вердикт: «Если позволить этому человеку беспрепятственно следовать дальше, то это будет значить, что он нарушил клятву и согласно закону повинен смерти; если же мы его повесим, то ведь он клялся, что пришел только затем, чтобы его вздернули на эту виселицу, следственно, клятва его, выходит, не ложна, и на основании того же самого закона надлежит пропустить его»[2].
В шедевре Мигеля Сервантеса Дон Кихот предлагает разрешить парадокс своему оруженосцу.
В контексте нашего обсуждения этот пример не слишком полезен, так как, увидев, что причин повесить путника столько же, сколько и отпустить его на свободу, Санчо Панса посоветовал отпустить его, поскольку «делать добро всегда правильнее, нежели зло». Здесь интересным будет добавить, что два самых известных парадокса в истории — парадокс Ахиллеса и черепахи и парадокс лжеца — в действительности очень отличаются. С одной стороны, рассуждения Зенона, доказывающие невозможность победы Ахиллеса над черепахой, основаны на ошибочном представлении о бесконечности. Предположив, что изначально фора черепахи равняется одному метру, Зенон указывал, что Ахиллес должен преодолеть расстояние
(1/2) + (1/4) + (1/8) + (1/16) + (1/32) и т. д.
чтобы догнать черепаху. При этом сначала ему нужно преодолеть его половину (1/2), затем — половину половины, то есть одну четверть (1/4), затем — половину половины половины, то есть одну восьмую (1/8) и т. д. Так как число слагаемых бесконечно велико, то расстояние, которое должен преодолеть Ахиллес, обязательно равняется бесконечности, таким образом Ахиллесу не хватит всей жизни, чтобы преодолеть его и догнать черепаху. Ошибка Зенона состояла в том, что сумма бесконечного числового ряда необязательно равна бесконечности, при условии что члены ряда убывают с достаточной быстротой. Николай Орезмский (1323–1382) привел красивое геометрическое решение этого парадокса, в котором показал, что сумма ряда Зенона равна не бесконечности, а в точности единице — именно такую фору Ахиллес дал черепахе. Следовательно, парадокс Зенона есть не более чем ошибочное представление о бесконечных рядах.
Схема, с помощью которой Николай Орезмский в XIV веке показал, что сумма ряда из парадокса об Ахиллесе и черепахе не равна бесконечности.
С парадоксом лжеца дело обстоит иначе. «Эта фраза ложна» — об этом высказывании нельзя сказать, истинно оно или ложно, так как любой ответ неизменно ведет к противоположному. Как заметил греческий логик Хрисипп из Сол, те, кто сформулировал парадокс лжеца, «совершенно отклонились от изначального значения слов — они произвели лишь звуки, ничего не выразив». Первой естественной реакцией будет объяснить противоречие тем, что высказывание ссылается на само себя, однако этого недостаточно — высказывания «эта фраза истинна» или «эта фраза относится к книге «Сон разума. Математическая логика и ее парадоксы» также ссылаются сами на себя, однако не вызывают никаких затруднений.
