Том 22. Сон разума. Математическая логика и ее парадоксы

Одновременно с публикацией в журнале American Journal of Mathematics статьи Рассела «Математическая логика, основанная на теории типов» Эрнст Цермело (1871–1953) предложил новое решение этого парадокса, менее концептуальное, чем выдвинутое Расселом, но намного более практичное с точки зрения «рабочих от математики». Сегодня нам известно, что одна из величайших трудностей при создании любой теории — это определить предмет ее изучения. Повсюду говорят о теории информации, но что такое информация? Некоторые определяют биологию как науку о жизни, но что такое жизнь? Этими же вопросами задался Цермело при рассмотрении теории множеств. Согласно интуитивному определению Кантора, множества были не более чем совокупностями объектов, обладающих определенным свойством, однако такое определение допускало создание множества всех множеств, которые не принадлежат сами себе. Без четкого определения множества нельзя было двигаться дальше. Цермело заменил примитивное определение множества списком аксиом, в число которых включил аксиому, не позволявшую определить множество из парадокса Рассела. Начиная с этого момента множества стали определяться как объекты, удовлетворяющие списку аксиом.

Парадокс лжеца

Мы начали эту главу с анализа парадокса Рассела, однако пусть читатель не думает, что логические парадоксы являются исключительно творениями современности. Само слово «парадокс» — «неожиданный, странный» — имеет греческие корни.

В широком смысле парадокс — это абсурдное заключение, к которому ведут рассуждения, кажущиеся правильными и начинающиеся с корректных гипотез. Когда Рассел стал рассматривать множество всех множеств, которые не принадлежат сами себе, он опирался на литературную и философскую традицию. Вплоть до конца XIX века казалось невозможным, что парадоксы пересекут границу естественных наук и вторгнутся в царство чистого разума. Философы прибегали к парадоксам, чтобы подчеркнуть, что чувства обманчивы, а поэты использовали парадоксы как единственный способ донести до читателя истину о любви. Математики же страшились парадоксов, словно ящика Пандоры, открыв крышку которого, можно разрушить все в один миг. Поэтому открытие противоречий в теории множеств в то самое время, когда ученые постепенно начали признавать труд Кантора универсальной основой математики, вызвало кризис, пошатнувший самые основы науки. И на преодоление этого кризиса потребовалось несколько лет.

Один из древнейших парадоксов — это парадокс об Ахиллесе и черепахе, с помощью которого философ-досократик Зенон Элейский, ученик Парменида, хотел доказать, что движения не существует, и нанести удар по защитникам атомистической концепции пространства и времени. Зенон объяснял: фора, которую Ахиллес дает черепахе, чтобы забег проходил в равных условиях, непреодолима — когда атлет добежит до того места, где черепаха находилась вначале, она проползет чуть дальше. Когда Ахиллес преодолеет расстояние, пройденное черепахой, он вновь не сможет поравняться с ней — она успеет проползти немного вперед. Ахиллеса всегда будет отделять от черепахи некоторое расстояние, сколь бы малым оно ни было.

В другой формулировке этого парадокса утверждается, что стрела никогда не достигнет цели, так как когда она пролетит половину требуемого расстояния, ей нужно будет преодолеть вторую половину, когда она пролетит половину этой половины — останется четвертая часть, затем восьмая и так далее до бесконечности. Однако в реальной жизни Ахиллес всегда обгоняет черепаху, а стрела долетает до цели.

Возможно, наиболее интересными среди классических парадоксов являются антиномии — утверждения, истинные и ложные одновременно. Среди них выделяется парадокс лжеца, обычно приписываемый Эпимениду Критскому, хотя возможно, что этот философ, о котором говорили, будто он проспал 57 лет в пещере, зачарованной Зевсом, не осознавал, что формулирует парадокс. В одном из стихов Эпименид говорит о «критянах, вечно лживых», которые не верили в бессмертие Зевса. Однако сам Эпименид также был критянином, поэтому его утверждение относилось к нему самому и было равносильно высказыванию «Я всегда лгу».

Допустим, что Эпименид лжет, тогда его высказывание не может быть верным, следовательно, он говорит правду. Если же, напротив, Эпименид говорит правду, то его высказывание должно быть истинным, следовательно, он лжет. По легенде, поэт Филит Косский умер от изнеможения, пытаясь разрешить этот парадокс.