Структура реальности

Дэвид Гильберт предложил гораздо более разумный – хотя, в конечном счете, и обреченный – план «раз и навсегда ввести убежденность в математических методах». План Гильберта основывался на идее согласованности. Он надеялся составить полный набор современных правил вывода математических доказательств с определенными свойствами. Количество таких правил должно было быть конечным. Они Должны были быть применимы напрямую, так чтобы определить, удовлетворяет ли им какое-то предложенное доказательство, не составляло бы труда и не вызывало противоречий. Желательно, чтобы эти правила были интуитивно самоочевидными, но это не было первостепенным требованием для прагматичного Гильберта. Он был бы удовлетворен, если бы правила лишь умеренно соответствовали интуиции при условии, что он мог бы быть уверен в их самосогласованности. То есть, если правила определили данное доказательство как обоснованное, он хотел быть уверен, что они никогда не определят как обоснованное любое другое доказательство с противоположным выводом. Как он мог быть Уверен в этом? На этот раз согласованность должна была быть доказана с помощью метода доказательства, который сам придерживался тех же правил вывода. Таким образом, Гильберт надеялся восстановить завершенность и определенность Аристотеля. Он также надеялся, что с помощью этих правил будет, в принципе, доказуемо любое истинное математическое утверждение и не будет доказуемо любое ложное утверждение. В 1900 году в ознаменование начала века Гильберт опубликовал список задач, которые, как он надеялся, математики смогут решить в двадцатом веке. Десятая задача заключалась в нахождении набора правил вывода с вышеуказанными свойствами и доказательстве их состоятельности в соответствии с их собственными нормами.

Гильберту было предначертано пережить разочарование. Тридцать один год спустя Курт Гедель создал революционную теорию доказательства с коренным опровержением, которая до сих пор является отправной точкой для математического и физического миров: он доказал, что десятая задача Гильберта не имеет решения. Во-первых, Гедель доказал, что любой набор правил вывода, способный правильно обосновать даже доказательства обычной арифметики, никогда не сможет обосновать доказательство своей собственной согласованности. Следовательно, нечего и надеяться найти доказуемо согласованный набор правил, который предвидел Гильберт. Во-вторых, Гедель доказал, что если какой-то набор правил вывода в некоторой (достаточно обширной) области математики является согласованным (неважно, доказуемо это или нет), то в пределах этой области должны существовать обоснованные методы доказательства, которые эти правила не могут определить как обоснованные. Это называется теоремой Геделя о неполноте. Для доказательства своих теорем Гедель пользовался замечательным расширением «диагонального доказательства» Кантора, о котором я упоминал в главе 6. Он начал с рассмотрения любого согласованного набора правил вывода. Затем он показал, как составить утверждение, которое невозможно ни доказать, ни опровергнуть с помощью этих правил. Затем он доказал, что это высказывание истинно.

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