В 1931 году Курт Гёдель доказал теоремы о неполноте: ни одна формальная математическая система не может быть одновременно полной и непротиворечивой. Всегда найдутся истинные утверждения, которые нельзя вывести из её аксиом. Это разбило мечту Давида Гильберта свести математику к механической игре с символами.
Философ Пану Раатикайнен поясняет: вся истина даже о простых целых числах (1, 2, 3…) настолько сложна, что не следует ни из какого конечного набора аксиом. Некоторые задачи принципиально не решаются текущими методами — нужны творческие прорывы. Статус математических истин размывается: от неоспоримых фактов до гипотез, зависящих от выбора аксиом.
Ребекка Голдштейн напоминает, что Гёдель показал: формальные системы убивают интуицию, но не охватывают всё, что мы знаем о числах. Пример — континуум-гипотеза (CH) о размере бесконечностей. Она недоказуема и неопровержима в стандартных аксиомах. Физик Клаус Кифер предупреждает: CH делает физику уязвимой. Если пространство-время — континуум, то в теориях гравитации и квантовой физике возникают неразрешимые вопросы. Например, есть ли у атомных систем «энергетическая щель»? Кифер считает, что финальная теория всего должна избегать континуума, опираясь на дискретную структуру, как в теории струн или петлевой квантовой гравитации.
Математик Йоуко Вяянянен формулирует «барьер Гёделя»: чем сильнее выразительность логики, тем слабее её эффективность, и наоборот. Это как принцип неопределённости Гейзенберга: широта и точность — комплементарны.
Логик Рэйчел Алвир спорит с мнением, что Гёдель «убил» программу Гильберта. Сам Гёдель верил: бесконечная последовательность всё более мощных аксиоматических систем может ответить на любой вопрос. CH не «выстреливает» без ответа — просто пока не нашли подходящей аксиомы или новой логики. Неполнота не ограничивает математику, а показывает, насколько она шире гильбертова финитизма.
Завершает математик Джульетта Кеннеди. Даже простая арифметика Пеано (правила для чисел 0, 1, 2…) оказывается принципиально неполной. Но Гёдель учит: в попытке полностью освоить концептуальный порядок мы всегда будем терпеть неудачу. И это прекрасно, потому что неудача оказалась куда интереснее и глубже победы.