Теорема Гёделя о неполноте: теоремы, которые невозможно доказать в математике

День 5: как теорема Гёделя поставила математику под сомнение

Мы приближаемся к экватору эксперимента — каждый следующий пост делаем на основе ваших комментариев к посту за предыдущий день. Пишите больше, завтра может быть ваша тема! А вчера был такой комментарий:

Ну а после появления в 40-х годах 20 века теоремы Геделя о неполноте, вообще был шанс, что ВТФ так и могла остаться просто недоказуемой истиной

… и правда: были реальные опасения. В 1960–1980-е, после работ Курта Гёделя (1931) и особенно после метода форсинга Пола Коэна (1963), стало ясно, что существуют истинные, но недоказуемые в стандартных аксиомах утверждения. На этом фоне часть математиков всерьёз допускала: Великая теорема Ферма (ВТФ) может оказаться независимой от принятых аксиом. В прессе эта тревога тоже звучала: в конце 1980-х, на волне неудачных «прорывов», выходили тексты в духе: «а что если ВТФ принципиально недоказуема?»

Но к 1995 году Эндрю Уайлз развеял сомнения: доказательство ВТФ нашлось (через модулярность полустабильных эллиптических кривых). Или… всё-таки нет?

Что говорит теорема Гёделя о неполноте: две ключевые идеи

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

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

Это стало шоком: оказалось, не всё доказывается внутри одной «математики». Иногда нужно добавлять новые аксиомы. В результате математики начали составлять списки таких недоказуемых утверждений.

Примеры утверждений, независимых от аксиом: следствия теоремы Гёделя

✅ Одним из первых примеров стала гипотеза континуума (CH): существует ли мощность строго между множеством целых и множеством вещественных? В общепринятой системе аксиом Цермело–Френкеля с аксиомой выбора (ZFC) ни доказать, ни опровергнуть нельзя: Гёдель показал совместимость CH с ZFC, а Коэн — совместимость отрицания CH с ZFC.

✅ Аксиома выбора (AC) относительно ZF (аксиомы Цермело–Френкеля без аксиомы выбора) — ни она, ни её отрицание не выводимы из ZF.

✅ Проблема Уайтхеда из теории абелевых групп и Гипотеза Суслина об упорядоченных множествах — невозможно ни доказать, ни опровергнуть в ZFC.

✅ Теорема Гудстейна: каждую «последовательность Гудстейна» ждёт обнуление. Истинно, но не выводимо в арифметике Пеано (PA).

✅ Теорема Крускала о деревьях и результаты Харви Фридмана: целый класс естественных комбинаторных утверждений решаем лишь при добавлении больших кардиналов (то есть вне ZFC).

Неразрешимое versus недоказуемое: важное различие

Важно напомнить, неразрешимое ≠ недоказуемое. «Неразрешимая» (алгоритмически неразрешимая) задача — это про вычислимость: нет программы, которая на всех входах даст ответ «да/нет» (классический пример — проблема остановки Тьюринга). «Недоказуемое» в смысле Гёделя — это про аксиомы: у вас может быть конкретное истинное утверждение, но выбранных аксиом не хватает, чтобы его доказать; добавьте аксиому — и доказательство появится. Независимость (невозможность ни доказать, ни опровергнуть) — свойство относительно системы аксиом, а не абсолютный приговор навсегда.

Великая теорема Ферма и открытый вопрос о доказуемости в арифметике Пеано

Но! Возвращаясь к доказательству ВТФ, вопрос о её «доказуемости» на самом деле остаётся открытым. Уайлз доказал ВТФ, опираясь на глубокие объекты теории множеств и геометрии (модулярные формы, представления Галуа, деформации и т. д.), далеко выходящие за пределы арифметики Пеано. Мы до сих пор не знаем, следует ли Великая теорема Ферма из стандартных аксиом арифметики. Вполне возможно, что теорема, будучи доказуемой в ZFC (аксиоматика Цермело–Френкеля с аксиомой выбора), не доказуема в более слабой системе арифметики Пеано (PA). Если это будет показано, ВТФ встанет в один ряд с примерами вроде теоремы Гудстейна — естественными утверждениями о натуральных числах, которые истинны, но недоказуемы в PA.