Глава 7. Синтез: одна диагональ, один дискриминант

Одна граница, обе стороны

Часть прошла шесть глав, но описала одну вещь: границу финитизации, ставшую алгоритмической. Соберём её одним взглядом.

• [leftmargin=1.4em,itemsep=2pt]
• Можно ли? (15.1, 15.3) Центральный разрез: ограниченное — Element, разрешимо; безграничное как универсальная задача распознавания — role-limit. Отрицательную сторону держит одна диагональ: неподвижной точки у отрицания нет, поэтому тотального решателя (остановки, семантики, перечисления, сложности) нет.
• Как финитизировать? (15.2, 15.4, 15.5) Положительную сторону держит один дискриминант (полный квадрат$\Rightarrow$разрешимо), редукционный атлас сводит к нему многие движки, лестница Хомского градуирует память, а горючее$+$типобезопасность сворачивают бесконечную редукцию в безопасный конечный прогон.
• Сколько стоит? (15.6) На положительной стороне остаётся цена — метрика финитизированного процесса; $\mathrm{P}$ vs $\mathrm{NP}$ поставлен, не решён.

Не шесть тем, а одна граница под тремя углами: можно ли, как, почём. И у неё две master-структуры — диагональ и дискриминант, — а цена есть мера расстояния внутри её положительной стороны.

Капстоун: вычисление = граница финитизации

Всё это собрано в одну теорему. Её три конъюнкта — ровно три стороны картины:

1. [leftmargin=2.2em,itemsep=2pt]
2. [(1)] Element: ограниченная остановка разрешима на любой машине (на арене P4-конечного бега);
3. [(2)] одна диагональ, четыре грани: число (дискриминант) — Element-нарисовано, программа / множество / сложность — role-limit-нарисованы;
4. [(3)] корень — неподвижная точка (теорема Лавера), общий движок всех граней.

Заметим: обе master-структуры представлены уже внутри конъюнкта (2): диагональ — через role-limit-грани, дискриминант — через ElementDrawn rational_split; полный редукционный атлас разворачивает эту дискриминантную грань отдельным слоем. То есть «диагональ $\oplus$ дискриминант — одна граница» есть буквально одна конъюнкция, а не метафора.¹

Это и есть тезис части: вычисление есть граница финитизации, ставшая алгоритмической — одна арена несёт обе стороны.

Карта границ части

Где именно проходят честные ярусы — так же, как в финалах прежних частей.

0 аксиом (доминирует). Диагональная сторона (halting, Райс, Кантор над булевыми предикатами, Колмогоров$+$корень Лавера); Element-разрешимость (ограниченная остановка, регулярные языки, дискриминантный атлас, выбор без AC); типобезопасность$+$горючее; каркас сложности. Всё машинно проверено и 0-аксиомно.

classic (L3)$+$L4\ — только одна грань. Несчётность завершённого континуума (отдельный, более сильный слой; ср. Часть IV). Контраст и есть смысл: halting и Кантор-над-предикатами classic не требуют — Element-сторона конструктивна.

Доменных аксиом — ноль. Как и в Части XIV: ни одной предметной аксиомы. Логическая цена появляется только в слое завершённого континуума (Часть IV), не в вычислительном ядре XV.

Честные не-результаты и горизонты. $\mathrm{P}$ vs $\mathrm{NP}$ — постановка, не решение. halting / Райс — мы доказываем неразрешимость (и лишь для самоприменимого языка, как гипотезу, а не для всех систем). Замкнутая решающая процедура общей степени — горизонт, не единая процедура. Колмогоровская $K$ — модель-относительна (инвариантность к машине не заявляется). Теория сложности — прикладная метрика, не пересказывается.

Разбор E/R/R всей части

Правила (L5). Граница «терминирует$\iff$Element»; диагональ (нет неподвижной точки$\Rightarrow$нет универсального решателя); квадратичный дискриминант (полный квадрат$\Rightarrow$разрешимый критерий); редукция$+$горючее.

Роли (L4). Element / role-limit — роли вычислений (разрешимое / неразрешимое); решатель против диагонализатора; память (управление / стек / лента) — роль яруса; тип — роль; цена — метрика положительной стороны.

{

Элементы (L1$+$P4). Конечные вычисления, fuel-прогоны, прогоны DFA, конкретные программы / матрицы / сертификаты. Не элемент (role-limit): тотальный оракул остановки, модельно-относительный $K$-оракул, завершённая бесконечная редукция, безграничный перебор. Пока не элемент текущей формализации (горизонт, не онтологический запрет): замкнутая решающая процедура общей степени.}

Компонент	Что фиксирует	E/R/R-категория
разрез «терминирует$\iff$Element»; диагональ; дискриминант; горючее	конституцию вычислимости	Правило (L5)
Element / role-limit; решатель / диагонализатор; память; тип; цена	роли и метрики	Роль (L4)
конечные вычисления; прогоны; программы; матрицы; сертификаты	конечно-актуальные носители	Элемент (L1$+$P4)

Диагностика P4. Невычислимость / незавершаемость — role-limit (процесс), не завершённый объект; «решили halting» было бы смешением уровней. Финитизация — системный ответ: не реши role-limit (нельзя), а возьми Element-аппроксимацию с параметром-процессом. Это и связывает все шесть глав в одну границу.

Мосты

К Части XVI (дискретное, вероятность, информация). Колмогоровская грань (15.3) — мост к Шеннону: информация как структурная величина, $K$ — её модель-относительный, невычислимый предел. Диадическое / тритовое представление и счётные оценки продолжат финитизационную линию в информационной арене.

К Тому III (квантовые вычисления). Тот же разрез Element / role-limit ложится на квантовые процессы: конечная глубина схемы — Element, идеализированный предел — role-limit.

К Части IV (несчётность). Кольцо замыкается: несчётность завершённого континуума — та же диагональ, что halting и Кантор. Это один диагональный паттерн, но на разных формальных ярусах: конструктивная булева диагональ в XV (0 аксиом) и классический слой завершённого континуума (L3$+$L4) в IV.

К Части XIV (категория). Вычисление — финитизационное зерно категорного метаязыка: пределы-как-процессы (P4) и разрешимость на конечной стадии суть его алгоритмическая грань.

Что часть установила

Часть XV дала вычислению дом в нашей системе. Тезис: вычисление есть граница финитизации, ставшая алгоритмической. Две master-структуры — одна диагональ (неразрешимость как неподвижная точка) и один дискриминант (разрешимость как полный квадрат), — положительное лицо горючего и типобезопасности, цена как метрика; всё собрано в один капстоун и 0-аксиомно, кроме честно вынесенной несчётности континуума.

И флагман части, который стоит унести с собой:

неразрешимость — одна диагональ; разрешимость — один дискриминант; и это две стороны одной границы финитизации.

Что не доказано — названо честно ($\mathrm{P}$ vs $\mathrm{NP}$, общая степень, инвариантность $K$). Часть закрыта; дальше — Часть XVI, где та же граница встаёт в дискретном, вероятностном и информационном.

---

---

Часть: Часть XV. Вычисления и граница финитизации · Том: «Математика»

Навигация: ← Глава 6. Сложность как цена финитизации · Глава 1. Граница финитизации на уровне функций — Часть XVI →

Footnotes

1. Машинно проверено, 0 аксиом: src/cs/ComputationModel.computation_ is_ finitization_ boundary — конъюнкция (1) cm_bounded_decidable (ограниченная остановка разрешима на любой CompModel); (2) one_boundary_four_faces; (3) lawvere_ fixed_point. ↩