Правильно ли мы понимаем теорему Геделя о неполнот

             В 1931 году Курт Гёдель опубликовал результат, который принято считать поворотным в основаниях математики. С ним связывают идеи о том, что истина недостижима, что любая достаточно сложная система неполна, что разум ограничен.
           Но в самой теореме «недоказуемо» и «истинно» оказываются рядом. Это разные предикаты: первый — синтаксический, второй — семантический. Внутри системы нет истины, есть только выводимость. Переход от одного к другому — не вывод, а подмена. Отсюда и «истинно, но недоказуемо» — фраза, которая внутри системы не имеет смысла.
           Не здесь ли ошибка? И не потому ли мы не так понимаем Гёделя, что привыкли видеть в его теореме больше, чем в ней есть — о разуме, о познании, о пределах? А он говорил о формальных системах. Но мы услышали больше. И, может быть, не то, что было сказано.

Часть 1. Булева алгебра
Начнём с простого. Булева алгебра — логика нулей и единиц. Есть два значения: 0 (ложь) и 1 (истина). Есть операции: И, ИЛИ, НЕ.
Возьмём утверждение: «Идёт дождь И у меня есть зонт».
Обозначим:
• A = идёт дождь (0 или 1)
• B = у меня есть зонт (0 или 1)
Переберём варианты:
A B A И B
0 0 0
0 1 0
1 0 0
1 1 1
В булевой алгебре для любой формулы можно построить таблицу и получить ответ. Это называется разрешимостью. Здесь нет недоказуемого, нет «истинного, но недостижимого».
Почему? Потому что булева алгебра замкнута на себе. Она не говорит о себе. Она говорит о дожде и зонтах.

Часть 2. Законы логики
Аристотель сформулировал три закона, на которых держится логика:
1. Закон тождества: A = A. Вещь есть то, что она есть.
2. Закон противоречия: не может быть A и не-A одновременно.
3. Закон исключённого третьего: либо A, либо не-A. Третьего нет.
Лейбниц добавил четвёртый:
4. Закон достаточного основания: всякое истинное утверждение имеет основание.
Четвёртый закон — ключевой. Он говорит: недостаточно сказать, что что-то истинно. Нужно указать почему.
Возьмём пример: «Лист белый».
• Тождество: лист есть лист. Соблюдён.
• Противоречие: лист не может быть одновременно белым и не белым. Соблюдён.
• Исключённое третье: лист либо белый, либо нет. Соблюдён.
• Основание: почему лист белый? Потому что спектрометр показал длину волны 550 нм. Или потому что я вижу белое. Или потому что так принято называть. Основание есть.
Всё сходится. Истина установлена. Парадоксов нет.

Часть 3. Что сделал Гёдель
Гёдель построил формулу, которую обозначим G:
G: «Эта формула недоказуема».
Формула говорит о себе. Это самореферентность.
Далее рассуждение:
• Если G доказана ; значит, она говорит правду ; значит, она недоказуема ; противоречие.
• Значит, G недоказана.
• Но если G недоказана ; значит, она говорит правду ; значит, G истинна.
Вывод: G истинна, но недоказуема.
Здесь стоит остановиться. В этом рассуждении есть переход.

Часть 4. Переход
Смотрим на шаг: «G недоказана ; G истинна».
Это не следует логически. Из того, что утверждение недоказано, не вытекает, что оно истинно. Это два разных основания.
    • Доказано или нет — это про синтаксис. Про вывод. Про правила.
    • Истинно или ложно — это про семантику. Про соответствие миру.
Здесь происходит переход с первого на второе. Проверим по законам:
    • Тождество: G ссылается на себя. G ; G.
    • Противоречие: G и о себе, и не о себе.
    • Исключённое третье: вводится третье — «истинно, но недоказуемо».
    • Основание: почему G истинна? Ответ: мета-уровень. Но это не основание внутри системы.
Все четыре закона оказываются затронуты. И это названо теоремой.

Часть 5. Что было бы точнее
Точнее было бы сказать:
Существует формула, которая недоказуема и неопровержима внутри системы.
И это всё. Не «истинна», а «недоказуема». Не «система неполна», а «система не имеет правил для её вывода».
Разница существенна.
      • В первом случае — факт о синтаксисе.
      • Во втором — интерпретация о бытии.
Здесь происходит переход ко второму.

Часть 6. Формула без самореферентности
А что, если построить формулу без самореферентности? Например:
H: «Существует формула, недоказуемая в системе S».
Проверим:
• Тождество: H = H. Соблюдён.
• Противоречие: H либо истинна, либо ложна. Соблюдён.
• Исключённое третье: третьего нет. Соблюдён.
• Основание: чтобы доказать H, нужно предъявить конкретную недоказуемую формулу. Соблюдён.
И такое доказательство существует. Оно делается внутри системы, через перечисление. Без выхода на мета-уровень.
Вывод: недоказуемые формулы есть. Но они не «истинны» — они просто недоказуемы. Это разные вещи.

Часть 7. Что остаётся
Если убрать оба перехода — и первый (доказано ; истинно), и второй (непротиворечивость = G) — остаётся следующее:
   • Существуют недоказуемые формулы.
   • Существует недоказуемая непротиворечивость.
   • Истина тут ни при чём.
   • Основание — одно. И оно за пределом системы.
Всё.
Никакой «неполноты». Никакого «кризиса оснований». Никакой «ограниченности разума». Только технический результат о синтаксисе формальных систем.

Часть 8. Вероятность и время
Есть ещё один аспект. Доказательство — это процесс во времени. Робот перебирает шаги. На каждом шаге он не знает, дойдёт ли до конца.
Истина — это состояние вне времени. Формула либо истинна, либо ложна в модели, независимо от того, докажем мы это или нет.
Эти уровни смешиваются. Процесс (доказательство) выдаётся за состояние (истину). И говорится: «Смотрите, они не совпадают».
Они не совпадают потому, что это разные вещи. Не потому, что «истина недостижима».

Часть 9. Вторая теорема
Первая теорема раздвоила основание: доказано ; истинно.
Вторая теорема склеила основание: непротиворечивость = G.
Это противоположные операции. В первой — разделение, чтобы получить G. Во второй — склейка, чтобы получить Consis.
Оба раза — внешним основанием. Внутри системы — ничего не доказано.
Вторая теорема — это не доказательство. Это отождествление. Два разных основания — G (недоказуемость G) и Consis (непротиворечивость системы) — объявляются одним и тем же.

Часть 10. Основание
Вернёмся к вопросу об основании.
0 и 1 — взаимоисключающие и взаимозависимые позиции. Это третий компонент системы. Основание дуальности.
Компонент Что это
0 Ложь, недоказано
1 Истина, доказано
NOT Отношение между ними
Основание Условие возможности 0 и 1
В булевой алгебре основание есть. Оно делает возможным различие 0 и 1. Без него — ни 0, ни 1.
У Гёделя основание раздваивается (доказано / истинно), а потом склеивается (Consis = G). Оба раза — вне системы.
Гёдель убрал основание. И показал, что без него не сходится.
Это не теорема. Это демонстрация отсутствия основания.

Заключение
Гёдель не доказал неполноту. Он построил формулу, которая затрагивает четыре закона логики — три Аристотеля и один Лейбница. И представил это как теорему.
Задача была поставлена так, что ответ — не решение задачи, а следствие постановки.
Что остаётся? Простой факт: в любой достаточно сложной системе есть формулы, которые нельзя вывести. Но это не значит, что они истинны. Это значит, что система не имеет правил для их вывода.
Основание — одно. Оно делает возможным различие между 0 и 1. Без него — ни 0, ни 1. Без него — ни истины, ни лжи.
Гёдель убрал основание. И показал, что без него не сходится.
Это не теорема. Это демонстрация отсутствия основания.
Он раздвоил основание — и представил раздвоение как доказательство.
Он склеил основание — и представил склейку как теорему.
Внутри системы — ничего не доказано.
Всё остальное — интерпретации.