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

Курт Гёдель прочитал её в 1931 году — и доказал, что программа невыполнима. Не «сложно выполнима», не «выполнима частично» — именно невыполнима, принципиально и навсегда.

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

Истина шире доказуемости — это и есть смысл теоремы Гёделя.

Если это утверждение доказуемо — система противоречива (она доказывает то, что говорит «я недоказуемо»). Если недоказуемо — оно истинно (потому что говорит правду о себе), но система неполна. Третьего не дано2.

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

Это не означает, что математика «сломана» — она по-прежнему работает. Но она устроена иначе, чем думал Гильберт: не как замкнутая система с конечным фундаментом, а как открытый горизонт, где всегда есть то, что видно, но недостижимо изнутри.

Через пять лет Тьюринг придумал то же самое в другой обёртке — теорему об остановке3. Универсальная вычислительная машина не может предсказать, остановится ли произвольная программа. И это эквивалентно неполноте: формализация и алгоритмизация спотыкаются о ту же самореференцию.

Мечта Гильберта закончилась. Но математика, которая родилась после Гёделя, оказалась интереснее той, которую он хотел построить.