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

В шедевре Мигеля СервантесаДон Кихот предлагает разрешить парадокс своему оруженосцу.

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

(1/2) + (1/4) + (1/8) + (1/16) + (1/32) и т. д.

чтобы догнать черепаху. При этом сначала ему нужно преодолеть его половину (1/2), затем — половину половины, то есть одну четверть (1/4), затем — половину половины половины, то есть одну восьмую (1/8) и т. д. Так как число слагаемых бесконечно велико, то расстояние, которое должен преодолеть Ахиллес, обязательно равняется бесконечности, таким образом Ахиллесу не хватит всей жизни, чтобы преодолеть его и догнать черепаху. Ошибка Зенона состояла в том, что сумма бесконечного числового ряда необязательно равна бесконечности, при условии что члены ряда убывают с достаточной быстротой. Николай Орезмский(1323–1382) привел красивое геометрическое решение этого парадокса, в котором показал, что сумма ряда Зенона равна не бесконечности, а в точности единице — именно такую фору Ахиллес дал черепахе. Следовательно, парадокс Зенона есть не более чем ошибочное представление о бесконечных рядах.

Схема, с помощью которой Николай Орезмскийв XIV веке показал, что сумма ряда из парадокса об Ахиллесе и черепахе не равна бесконечности.

С парадоксом лжеца дело обстоит иначе. «Эта фраза ложна» — об этом высказывании нельзя сказать, истинно оно или ложно, так как любой ответ неизменно ведет к противоположному. Как заметил греческий логик Хрисипп из Сол, те, кто сформулировал парадокс лжеца, «совершенно отклонились от изначального значения слов — они произвели лишь звуки, ничего не выразив». Первой естественной реакцией будет объяснить противоречие тем, что высказывание ссылается на само себя, однако этого недостаточно — высказывания «эта фраза истинна» или «эта фраза относится к книге «Сон разума. Математическая логика и ее парадоксы» также ссылаются сами на себя, однако не вызывают никаких затруднений.

Другим, несколько хитроумным решением, будет поставить вопрос: не принадлежит ли понятие истинности, подобно понятию множества, к числу тех, которые просто использовать, но трудно определить. Этой точки зрения придерживался Альфред Тарский(1902–1983) , который в 1933 году опубликовал статью объемом свыше двухсот страниц на польском языке, где впервые формально определил истину. Несмотря на значительный объем статьи, Тарский не предложил придать понятию «истинность» новое значение, а вместо этого всего лишь описал на языке математики аристотелево определение истины как соответствие между тем, что говорится о реальности, и самой реальностью. Подобно тому как высказывание «снег белый» истинно тогда и только тогда, когда снег в самом деле белый, высказывание Р является истинным в некоторой теории тогда и только тогда, когда при интерпретации Р в рамках структуры, которую описывает эта теория, Р является истинным. В какой структуре следует интерпретировать фразу вида «эта фраза ложна»?

Как вы увидите в главе 4, ответить на этот вопрос удалось лишь Курту Геделю.

В конечном итоге парадокс Рассела, парадокс Ахиллеса и черепахи и парадокс лжеца были решены, однако попутно родилось множество других вопросов.

В 1905 году преподаватель института Дижона Жюль Ришар открыл парадокс, связанный с диагональным методом Кантора. Годом позже юный библиотекарь Бодлианской библиотеки Оксфордского университета (необязательно тот, который проводил дни и ночи, составляя каталог всех каталогов, не содержащих ссылки на самих себя) упростил парадокс Ришара, представив, что произойдет, если для описания любого натурального числа можно использовать только пятнадцать слов. Так как число выражений, состоящих из пятнадцати слов, является конечным, то с их помощью мы можем описать лишь конечное множество чисел. Среди всех чисел, которые мы не сможем описать пятнадцатью словами, одно будет наименьшим. Обозначим его через n . Однако в этом случае n будет «наименьшим числом, которое нельзя описать менее чем пятнадцатью словами» — это описание содержит всего девять слов!