Этим еретиком стал Курт Гедель, блестящий чешский[78] философ и логик, которого многие считают наследником Аристотеля. В декабре 1931 года, когда мир охватила Великая депрессия, Гедель доказал существование недоказуемой истины – тот факт, что математика никогда не может оказаться полной. Какие бы аксиомы в качестве базы вы ни выбрали, всегда найдутся истинные утверждения, которые невозможно доказать. Конечно, вы всегда можете расширить эту базу, добавив в нее еще одну аксиому, которая поможет вам доказать то, что вы хотите. Однако в рамках новой системы все равно существуют верные утверждения, которые не удастся доказать. Аксиомы и доказательства никогда не поспевают за истиной.
Вернемся в наш мегаполис. В нем имеются только желтые и красные кирпичи, поэтому неудивительно, что на улицах преобладают простые здания двух цветов. Эти постройки подобны доказуемым теоремам математики. При наличии достаточного количества времени и усилий городские инженеры могут рассказать вам, как их строили. Однако в каком-нибудь темном закоулке обязательно найдется странное загадочное здание. Нечто недоказуемое. Ни один инженер никогда не сможет рассказать вам, как оно было построено, – по крайней мере, из тех стройматериалов, которыми располагает город. И все же это гордое и безошибочное напоминание о гении Геделя.
Чтобы дать представление о методах, лежащих в основе доказательства Геделя, я планирую убедить вас, что все числа интересны. Предположим, что это не так: существуют неинтересные числа. Если какое-то число действительно неинтересно, вряд ли у него будет своя страница в «Википедии», поскольку писать на странице не о чем. Однако среди этих неинтересных чисел должно быть наименьшее. Для определенности предположим, что это 49 732. Ну теперь мне хочется написать страницу в «Википедии» о числе 49 732, чтобы весь мир узнал об интересном факте: вот самое маленькое неинтересное число. На самом деле число оказывается интересным, и мы пришли к противоречию. Следовательно, неинтересных чисел не существует, все они интересны.
Геделевское доказательство неполноты использует аналогичную идею, хотя оно гораздо строже. Ключом к методу Геделя был разработанный системный код – своеобразный способ математики ссылаться на саму себя. Каждая аксиома, каждое математическое утверждение, истинное или ложное, получили собственный кодовый номер. Вы можете представить, что с каждым утверждением связали определенное число – аналогично коду ASCII. Например, одно число соответствует утверждению «квадратный корень из двух – иррациональное число», а другое – утверждению «1 + 1 = 3». Тогда истинность или ложность любого математического утверждения можно связать со свойством соответствующего числа. Например, можно сказать, что четные числа соответствуют истинным утверждениям, а нечетные – ложным. Конечно, на деле все конструировалось намного сложнее, но дух был именно таким. Вооружившись строгой системой кодирования, Гедель рассмотрел следующее утверждение:
«Это утверждение нельзя вывести из аксиом».
Теперь выйдем за пределы системы и предположим, что математика свободна от противоречий. Это означает, что утверждение Геделя должно быть истинным или ложным. Оно не может быть одновременно истинным и ложным. Предположим, оно ложно. Это означает, что утверждение можно вывести из аксиом. Противоречие. Следовательно, это утверждение должно быть истинным. Итак, мы нашли математически верное утверждение, которое невозможно вывести из аксиом; мы открыли недоказуемую истину, то самое загадочное здание в нашем математическом мегаполисе.
Математика никогда не может оказаться полной.
Теорема Геделя прославила ученого. Она апеллировала к духовной идеологии, к идее, что математическая вселенная никогда не оказывается достаточной. Несмотря на успех, жизнь Геделя омрачалась депрессией, а со временем у него развился параноидальный страх отравления. Он ел только продукты, проверенные и приготовленные его женой Адель. Когда в 1977 году ученый заболел и попал в больницу, он отказался есть и в итоге умер от недоедания 14 января 1978 года.
Математикам хотелось найти более интересные примеры недоказуемой истины, чем надуманный пример Геделя. У них имелся корыстный интерес. Представьте, что вы пытаетесь доказать (или опровергнуть) какую-нибудь известную математическую теорему. Это может быть гипотеза Римана, гипотеза Гольдбаха или одна из множества других нерешенных проблем математики. Если вы достаточно молоды, доказательство принесет вам Филдсовскую медаль[79], так что вы работаете на износ день и ночь. Если единственными недоказуемыми истинами становятся искусственные геделевские утверждения, ваш труд имеет шансы на успех. А что, если существуют более интересные недоказуемые истины? Что, если та теорема, над которой вы работаете, верна, но недоказуема в рамках нашей математической базы? Тогда у вас нет шансов. Вы обречены на неудачу.
В 1977 году британский математик Джефф Парис и его американский коллега Лео Харрингтон показали, что самые большие страхи математиков вполне реальны. Работая с урезанной версией математики, известной как арифметика Пеано, они смогли найти истинное утверждение из теории Рамсея, которое нельзя было доказать в рамках этой конкретной системы. Иными словами, арифметика Пеано позволяет придумать теорему, сформулировать ее в явном виде, но не дает возможности доказать ее. Для доказательства требуется выйти за пределы этой арифметики в какую-то более широкую математическую структуру с большим количеством аксиом. Недоказуемая истина Париса и Харрингтона стала предупреждением для математиков всего мира.
Харви Фридман тоже искал недоказуемые истины. Он стремился проанализировать теоремы математики и понять, для каких теорем нужны те или иные аксиомы. Представьте, что вы идете по городу и видите желтое здание. Вы спрашиваете себя: что мне действительно нужно, чтобы построить этот дом? Разумеется, вам понадобятся только желтые кирпичи. Желтые и красные были бы излишеством. Именно такую логику Фридман пытался применить к математике.
Поиски Фридмана привели его к Игре деревьев и недоказуемым истинам, которые таятся внутри ее. Чтобы увидеть их, вы должны сначала сыграть в эту игру в финитном мире – мире конечной математики, математической базе, построенной исключительно из конечных кирпичиков. Конечно, в этом конкретном мире есть много доказуемых истин. Например, легко доказать, что числа TREE(1) и TREE(2) конечны. Все, что нам нужно сделать для этого, – сыграть все возможные партии и посмотреть, когда они закончатся. Точно так же мы могли бы доказать, что число TREE(3) конечно, по крайней мере в принципе. Я помню, как сообщил вам, что игра с тремя семенами может продлиться дальше смерти Вселенной, но сейчас мы занимаемся математикой, а не физикой (кощунство!). Представим будущее, которое окажется достаточно продолжительным, чтобы мы могли играть столько, сколько нам нужно. Сыграв фантастически большое, но конечное число конечных игр, мы также можем показать, что конечны числа TREE(4), TREE(5), TREE(6) и т. д.
Предположим, что мы остаемся в этом конечном мире. Можем ли мы доказать, что числа TREE(n) конечны для всех значений n? По наивности вы наверняка подумаете, что можем, – с учетом всего вышесказанного. Однако это утверждение сильнее, чем утверждение, что число TREE(n) конечно для любого конкретного значения n, например для 3, 4 или гугола. Тем не менее мы все же знаем от Краскала, что такое более сильное утверждение также истинно. Поэтому мы снова спрашиваем: можем ли мы доказать это в финитном мире – так же, как можно доказать, что числа TREE(3) или TREE(4) конечны? Ответ: нельзя. В своем доказательстве Краскал вышел в трансфинитный мир, и Фридман понял, что без этого не обойтись. Итак, вот нужная истина на вашей ладони:
«TREE(n) конечно для всех значений n».
Недоказуемая истина в финитном мире.
Теперь я хочу, чтобы вы снова сыграли в Игру деревьев, но на этот раз в реальном физическом мире. На этот раз законы физики начнут затрагивать вас, вашу игру и ту неожиданную Вселенную, которая вас окружает. Благодаря величине числа TREE(3) партия может продлиться очень долго, отдавая вас во власть космической перезагрузки, – причуды нашей оригинальной космологии и ее голографической истины. Но мы забегаем вперед: существует много других интересных вещей, которые могут происходить задолго до того, как вы достигнете космической перезагрузки. Посмотрим, что происходит в реальности.
Вы начинаете игру в парке в прекрасный день: золотая осень, солнечно, а тишину вокруг нарушает только песня случайного дрозда. И вы начинаете. Безмятежность разрушается скоростью вашей игры. Вы играете лихорадочно быстро – с максимальной скоростью, которую допускает физика, и каждое новое дерево появляется каждые 5 × 10–44 секунд. Это планковское время – самое маленькое время, какое только можно вообразить. Идея более коротких промежутков времени разрушает структуру пространства и времени способами, которые мы пока не понимаем, поскольку гравитация становится жертвой квантовой механики. За двадцать четыре часа вы нарисовали триллион триллионов триллионов триллионов деревьев, но партия еще не закончилась. Помните, что она потенциально может длиться до TREE(3) ходов, а вы и близко не подошли к этому пределу.
Вы играете год – партия продолжается. Вы играете век – и партия продолжается. Я представляю, что вы вечно молоды, как Питер Пэн, не способны стареть и подчиняетесь только физике, а не биологии. Века превращаются в тысячелетия, тысячелетия – в мегагоды (миллионы лет), а игра продолжается. Через 110 млн лет вы замечаете, что Солнце светит примерно на один процент ярче, чем в начале вашей игры, а Земля становится теплее. Континенты приближаются друг к другу и наконец примерно через 300 млн лет объединяются в суперконтинент. Через 600 млн лет Солнце становится таким ярким, что разрушает геохимический цикл углерода на планете. Деревья и леса уже не могут существовать, но вы все равно продолжаете играть. По мере того как уровень кислорода падает, в атмосферу Земли начинает проникать смертоносное ультрафиолетовое излучение. В качестве меры предосторожности вы продолжаете играть в помещении. Спустя 800 млн лет Солнце уничтожает всю сложную жизнь на Земле, – разумеется, кроме вас, поскольку вы продолжаете жить несмотря ни на что. Еще через 300 млн лет, когда Солнце уже на 10 процентов ярче, чем сегодня, начинают испаряться океаны.