Что Гёдель сказал Гильберту.

Давид Гильберт был оптимистом. На Международном математическом конгрессе 1900 года в Париже он сформулировал 23 проблемы — программу для математики на следующее столетие1. Среди них — самая амбициозная: доказать, что математика непротиворечива и полна. И, как он добавил позже, разрешима.

Непротиворечива — значит, нет утверждения A такого, что и A, и не-A одновременно доказуемы. Полна — значит, любое истинное утверждение математики имеет формальное доказательство. Разрешима — значит, существует алгоритм, который для любого корректно поставленного утверждения решает, истинно оно или нет.

Это была мечта о математике как идеальной машине. Дайте любое утверждение — машина выдаст «истина» или «ложь». Всё строго, всё формально, никаких пробелов. Гильберт верил, что это достижимо. Его знаменитый лозунг 1930 года: «Wir müssen wissen — wir werden wissen» — «Мы должны знать, и мы будем знать»2.

В 1928 году Гильберт сформулировал последнюю часть программы как Entscheidungsproblem — проблему разрешимости. Существует ли универсальный алгоритм, способный для любой формулы определить, выводима ли она из аксиом?

В сентябре 1930 года в Кёнигсберге собралась конференция «Эпистемология точных наук». На ней молодой Курт Гёдель — тогда 24 года, аспирант Венского университета — сделал короткий доклад. На следующий день Гильберт читал торжественную речь о научном оптимизме, в которой и прозвучала фраза «мы будем знать». Они, возможно, разминулись на день. Гёдель уже знал, что программа Гильберта невыполнима.

То, что предел не может быть достигнут, не значит, что его не существует.

Статья вышла в 1931 году. «О формально неразрешимых предложениях Principia Mathematica и родственных систем». Восемь страниц, изменившие математику.

Первая теорема Гёделя: любая непротиворечивая формальная система, достаточно богатая, чтобы выразить элементарную арифметику, неполна. В ней существуют истинные утверждения, которые нельзя доказать средствами самой системы.

Метод — самореференция. Гёдель закодировал математические утверждения числами (это и называется гёделевской нумерацией) и построил утверждение G, которое говорит о себе: «это утверждение недоказуемо в данной системе». Если G доказуемо, система противоречива (она доказывает ложное о себе). Если G недоказуемо — G истинно (потому что говорит правду о своей недоказуемости), но не доказано. Третьего варианта нет.

Вторая теорема Гёделя — ещё жёстче. Достаточно богатая система не может доказать собственную непротиворечивость средствами самой себя. Если математика «доказывает», что она непротиворечива, — либо она лжёт, либо такого доказательства нет. Самый прямой путь к проверке надёжности математики оказался закрыт.

В 1936 году Алан Тьюринг независимо закрыл и третий пункт программы. Он показал, что Entscheidungsproblem неразрешима: не существует алгоритма, способного для произвольного утверждения определить его истинность3. Доказательство шло через машину Тьюринга и проблему остановки — и переоткрывало ту же гёделевскую самореференцию в форме вычислений.

Программа Гильберта провалилась по всем трём пунктам. Полнота — невозможна. Непротиворечивость — недоказуема изнутри. Разрешимость — не существует.

Но математика не сломалась. Она оказалась устроена иначе, чем думал Гильберт. Не как замкнутая машина с конечным фундаментом, а как открытый горизонт, в котором всегда есть истины за пределами любой выбранной системы. Каждый раз, когда мы расширяем систему, добавляя новую аксиому, появляются новые истинные утверждения, которые опять нельзя доказать. Это не баг — это устройство.

Гёдель до конца жизни оставался платонистом. Он верил, что математические истины существуют объективно, и что разум способен их воспринимать напрямую — не через формальные правила, а через что-то вроде интуитивного зрения. Его теорема странным образом подтверждает эту позицию: есть истины, которые мы видим, но не можем формально вывести. Если бы истинность сводилась к выводимости — таких истин не было бы.

Гильберт умер в 1943 году. Он успел узнать о теореме Гёделя, но программу не отозвал — продолжал работать в её рамках, признавая ограничения. На его могиле в Гёттингене высечен тот самый лозунг: «Wir müssen wissen — wir werden wissen». Мы должны знать, и мы будем знать. Парадокс в том, что эпитафия истинна и в новом мире после Гёделя — просто «знать» теперь означает не то, что Гильберт имел в виду в 1900 году.