Математика, которую нельзя доказать.
некоторые математические утверждения не истинны и не ложны — они независимы от аксиом. это не философия. это теорема.
В математике есть три категории утверждений. Доказуемые — те, что следуют из аксиом. Опровержимые — те, чьё отрицание следует из аксиом. И третья, более странная, категория: независимые. Утверждения, для которых ни они сами, ни их отрицания не выводимы из аксиом. И такие утверждения существуют. Это не философия — это теорема, и конкретные примеры известны.
Фундамент современной математики — теория множеств ZFC: аксиомы Цермело-Френкеля плюс аксиома выбора. Девять аксиом. Из них выводится почти вся математика, которой пользуются физики, инженеры и сами математики: арифметика, анализ, алгебра, топология, теория вероятностей. ZFC — это язык, на котором написана математика; общий знаменатель всех её разделов.
Первый и самый знаменитый пример независимости — гипотеза континуума. Кантор в 1878 году спросил: существует ли бесконечность строго между ℵ₀ (мощность натуральных чисел) и 𝔠 (мощность вещественных)? Гипотеза континуума утверждает, что нет: следующая после ℵ₀ бесконечность — это уже мощность континуума, ничего промежуточного не существует.
Гёдель в 1940 году показал: если ZFC непротиворечива, то ZFC + гипотеза континуума тоже непротиворечива. Иначе говоря, гипотезу нельзя опровергнуть из ZFC — никаким набором логических шагов из аксиом нельзя получить её отрицание.
Коэн в 1963 году показал обратное, изобретя метод форсинга1: ZFC + отрицание гипотезы континуума тоже непротиворечива. Гипотезу нельзя и доказать. Любые попытки вывести её из аксиом — обречены.
Аксиома выбора очевидно истинна, гипотеза о вполне упорядочении очевидно ложна — а они эквивалентны. — Джерри Бона
Гипотеза континуума независима от ZFC. Она не истинна и не ложна в рамках стандартной математики. Это похоже на ситуацию с пятым постулатом Евклида: можно строить геометрии, в которых через точку проходит ровно одна параллельная (евклидова), много параллельных (Лобачевского) или ни одной (Римана). Все три геометрии корректны. Какая из них «настоящая» — вопрос, на который математика не отвечает; отвечает физика, экспериментально измеряя кривизну пространства.
Это не единственный пример. Сама аксиома выбора (буква C в ZFC) независима от остальных аксиом ZF. С аксиомой выбора и без неё получается разная математика — обе версии непротиворечивы, и обе развиваются как полноценные теории.
С аксиомой выбора можно вполне упорядочить любое множество — даже множество вещественных чисел, для которого никто не умеет это упорядочение явно описать. С ней работает теорема Банаха-Тарского: единичный шар можно разбить на конечное число частей, переставить их и собрать два шара того же размера — без потери объёма2. Звучит как абсурд, но это строго доказанная теорема в ZFC. Без аксиомы выбора такого парадокса нет.
Что это означает на практике? Почти вся «обычная» математика — анализ, дифференциальные уравнения, линейная алгебра, число-аналитические оценки — не затрагивает независимые утверждения. Они живут на краю абстракции, там, где идёт работа с бесконечно большими множествами и бесконечно малыми разбиениями. На этом краю аксиоматический выбор начинает иметь значение, и разные «математики» начинают расходиться.
Но они существуют. И это значит, что математика — не одна. Есть математика с аксиомой выбора и без. С гипотезой континуума и с её отрицанием. С большими кардинальными аксиомами и без них3. Все они корректны. Все они — математика. Какую из них считать «правильной» — вопрос, который сама математика, изнутри, не решает.
Гёдель думал, что правильные аксиомы существуют — их просто нужно найти. Что математическая реальность одна, а наши аксиомы — попытки её описать; и ZFC пока неполна, но в принципе доходима до полного описания. Большинство современных математиков с этим не согласны: кажется, что разные аксиоматические выборы создают разные равноправные миры, и ни один из них не «более настоящий», чем другой.
Но окончательного ответа нет. Как и многого другого в математике. Удивительно, что наука, которая казалась самой определённой из всех, оказалась — на самом глубоком уровне — открытой и плюралистичной. Гильберт мечтал о замкнутой системе. Получился открытый ландшафт. Возможно, это и есть честная картина: не одна математика, а семейство математик, каждая со своими аксиомами и своими теоремами, и все одинаково реальные — в той мере, в какой математика вообще реальна.