S.4 · структурный парадокс · подтип: Семантический
Berry Paradox
Суть ошибки. Определение через неопределимость (метауровень в объектном)
Точная формулировка
Русских фраз короче ста букв — конечное число, а натуральных чисел бесконечно много; значит, есть числа, не определимые никакой фразой короче ста букв, и среди них — наименьшее. Рассмотрим: «наименьшее натуральное число, которое нельзя определить фразой короче ста букв». Эта фраза короче ста букв — и она определяет то самое число. Число, неопределимое короткой фразой, определено короткой фразой.
Происхождение
Дж. Дж. Берри, скромный библиотекарь Бодлианской библиотеки Оксфорда, предложил узел Расселу; Рассел опубликовал его в 1906-м, честно сохранив имя автора, — редкий случай, когда парадокс носит имя библиотекаря, а не логика. У Рассела он встал в один ряд с Ришаром и лжецом как семантический: беда живёт не в числах, а в слове «определить».
Следствие
Из всех парадоксов у Берри самое неожиданное потомство. Формализация «определимости» как длины кратчайшего описания дала колмогоровскую сложность — центральное понятие теории информации; Чейтин превратил самого Берри в теорему: сложность невычислима, и существует граница, за которой система не может доказать «это число сложное», — откуда его версия доказательства теоремы Гёделя. Парадокс-курьёз оказался свёрнутой теоремой о пределах описания. Второе следствие — тарскианское: «определимо» — предикат о языке, и внутри самого языка он невыразим без стратификации.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: числа; фразы языка; предикат «определимо фразой короче N букв»; выбор наименьшего. Структура: определение числа через свойство всех определений. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Первый сигнал — «определить»: это не свойство числа (как чётность), а отношение выражений языка к числам — семантический предикат, живущий этажом выше и чисел, и фраз. Счётная арифметика фраз («их конечное число») безупречна; туман — в том, к какому языку и уровню относится «определимо».
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Фраза Берри использует предикат определимости — операцию уровня 2 над парой «язык ↔ числа» — как строительный материал определения уровня 1. Тотальность «все фразы короче ста букв» молчаливо включает фразы, говорящие об этой тотальности, — в том числе саму фразу Берри. Тождество: определяющее не есть определяемое; Порядок: предикат о языке — этажом выше языка. Сигнал: метауровень втянут в объектный.
Домен 4 — Сравнение: корректен внутри (подсчёт фраз, выбор наименьшего — по вполне упорядоченности) — дефект не здесь.
Домен 5 — Вывод: обе линии безупречны при принятой посылке, что «определимо» — предикат того же уровня, что фразы. Проблема не в выводе.
Домен 6 — Рефлексия: противоречие — возврат к домену 3: беда в статусе слова «определить».
Диагноз
Домен ошибки: Домен 3 (выбор рамки). Тип: структурный — вертикальное смешение уровней. Нарушенные законы: Тождество · Непротиворечие (фраза разом определяет число и говорит о всех определениях, включая себя) · Порядок (семантический предикат положен в объектный язык). Суть дефекта: определение через неопределимость: операция «определять» втянута в определяемое. На триаде E/R/R: Правило (отношение язык↔числа) использовано как Элемент.
Растворение
«Определимо» без указания языка и уровня — не предикат, а жест. Стратифицируй: «определимо в языке L₀» — предикат языка L₁. Тогда «наименьшее число, не определимое в L₀ короче ста букв» — законная фраза языка L₁, и она определяет число в L₁, не в L₀: противоречия нет, ибо фраза не входит в ту тотальность, о которой говорит. Узел вяжется только при смешении этажей — когда язык объявлен говорящим о собственной определимости. Формальный остаток честен и глубок: невычислимость колмогоровской сложности — та же граница, взятая теоремой, а не парадоксом; предел описания реален — нелегальна лишь фраза, притворяющаяся, что она по обе стороны предела разом.
Урок
О семантических предикатах. «Определимо», «выразимо», «именуемо» — слова о языке; внутри языка без индекса уровня они не значат ничего. О судьбе парадоксов. Правильно прочитанный парадокс становится теоремой: Берри → колмогоровская сложность → невычислимость; курьёз — свёрнутое открытие. О тумане кванторов. «Все фразы» — проверь, не входит ли в тотальность сама говорящая фраза.
Родня по механизму
Ришар (та же беда через диагональ по всем определениям), Греллинг (предикат о словах подан себе), Лжец (семантический предикат — истинность — в объектном языке), Кантор (тотальность, включающая говорящее о ней).
Машинная проверка. Диагональ Берри—Чейтина формализована как граница: колмогоровская сложность — role-limit, невычислимая по той же самоотрицающей диагонали, что остановка, — src/cs/KolmogorovRoleLimit.v (Berry/Chaitin diagonal); в реестре 46 узел классифицирован структурным с гарантией растворимости (all_46_dissolvable, structural_46_dissolves — ParadoxDissolution.v). Карта — Формализация.
Категория: Структурные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс