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

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

* * *

В ПРОТИВОРЕЧИВОЙ СИСТЕМЕ АКСИОМ ЛЮБОЕ ВЫСКАЗЫВАНИЕ — ТЕОРЕМА

Допустим, что мы хотим доказать истинность высказывания Q. Так как система аксиом противоречива, существует теорема Р, отрицание которой, не-Р, также будет теоремой. Это означает, что можно найти доказательства Ри не-Р. Как мы уже говорили, когда речь шла о правилах вывода, заключение «Если Р и не-Р, то Q» является корректным, так как исходные посылки никогда не выполняются одновременно. Так как в противоречивой системе аксиом Ри не-Р— теоремы, объединив правило вывода «Если Ри не-Р, то Q» и доказательства Ри не-Р, с помощью modus ponens можно показать, что Q— теорема. Иными словами, сколь бы невероятным это ни казалось, в мире, где ноль равен единице и одновременно отличается от нее, вы — мой отец (даже если вы — женщина). Ex contradictione… — из противоречия следует все что угодно.

* * *

Чтобы объяснить понятие полноты, оставим в стороне научную фантастику и воспользуемся примером, который мне подсказало одно из произведений аргентинского писателя Гильермо Мартинеса. Представьте, что в закрытой комнате совершено убийство. Прибыв на место преступления, полиция обнаруживает рядом с трупом двух подозреваемых. Каждому из них известна вся правда о том, кто же убийца. Тем не менее если подозреваемые не признаются, полицейским придется начать поиски отпечатков пальцев, следов ДНК и любых других косвенных доказательств, которые позволят вынести обвинение. Если же эти поиски ни к чему не приведут, то подозреваемые будут выпущены на свободу.

Или: после тяжелого рабочего дня полицейские отправляются в бар, чтобы расслабиться. Один из них только что поступил на службу, и остальные едва знакомы с ним. Судя по тому, что он рассказывает сослуживцам, он родился в Саламанке, затем его семья сразу же переехала в Барселону, потому что его родители хотели жить у моря. При этом его коллеги не могут понять, женат он или нет. Нет сомнений в том, что на этот вопрос существует только один правильный ответ.

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

С большинством математических теорий дело обстоит так же, как в нашем первом примере: никто не может однозначно ответить, виновны подозреваемые или нет. Но не удивляйтесь, когда мы скажем, что всегда можно выбрать аксиомы так, чтобы теория была полной: для этого система аксиом должна содержать все истинные высказывания. В этом случае все доказательства будут выполняться в одну строчку, так как всё, что мы захотим доказать, уже будет аксиомой. Почему бы нам не поступить именно так, ведь полные теории — это настоящий рай для логиков?