Первопричина и главная теорема: почему изнутри иначе нельзя

← 32. Rank-parity узел · Оглавление · 34. Ветка Мерсенна →

Lean-источник: Engine/CausalClosureAxiom.lean — карантинный модуль с единственной аксиомой репозитория step00FirstCause; Engine/FiniteKnowledgeBarrier.lean — барьер конечного знания и главная теорема higherEnergyIncompatibility_main. Проза-контекст: 24. Boundary-декомпозиция. Обозначения статуса: 🟢 — доказано при стандартных аксиомах, без sorry; 🟡 — доказано условно на аксиому step00FirstCause; 🔴 — открытый вход. twin_prime_conjecture остаётся sorry.

Где мы

Вся книга до этой главы двигалась внутрь. Редукция за редукцией снимали с гипотезы о близнецах один слой за другим, пока не остался единственный открытый узел — TheLastStep00Obligation, к тому же суженный до масштаба A ≥ 5 (маленькую ветвь A ≤ 4 мы машинно опровергли пятиадической цепью ещё в главе 24). Дальше внутрь идти некуда: этот узел — честное дно редукции.

Настоящая глава разворачивается и смотрит наружу. Она отвечает на три вопроса, которые до сих пор оставались за скобками. Почему последний узел разумно принять как внешнюю первопричину, а не как скрытую теорему? Что именно доказывает такая архитектура — безусловно, без всякой аксиомы? И, самое глубокое: почему этот узел в принципе нельзя закрыть изнутри — почему знание его причины недостижимо для наблюдателя, живущего внутри системы. Ответ на третий вопрос и есть главная теорема программы, и к ней мы придём как к вершине.

Развилка: оставить узел или принять — и как именно принять

С открытым узлом можно поступить двояко. Можно оставить его открытым — это честно, но на этом рассказ обрывается. А можно его принять — и тогда всё, что от него зависело, замкнётся.

Второй путь законен ровно при одном условии: принятие должно быть видимым. Нельзя тайком превратить недоказанное в доказанное; но можно объявить его явным допущением и аккуратно проследить, что именно на нём держится.

Оказывается, тут нет свободы в мелочах: способ принятия предопределён. Принять узел изнутри — то есть предъявить его внутреннее самообоснование — невозможно, и это теорема, а не соглашение. Остаётся единственная возможность: принять его извне, намеренной аксиомой. Именно эту вынужденность мы сейчас и докажем.

Почему причину нельзя вывести изнутри

Представим, что кто-то нашёл внутреннее доказательство причинной границы — самозаверение принципа замыкания. В нашей архитектуре у такой конструкции есть точное имя, InternalSelfDerivationOfStep00CausalClosure: это доказательство, которое пересекает собственную границу, чтобы обосновать её же. И вот что с ним происходит.

Теорема 33.1 (internalSelfDerivation_step00CausalClosure_builds_engine, 🟢). Всякое такое внутреннее самозаверение строит запрещённый конкретный евклидов двигатель: \(\texttt{InternalSelfDerivationOfStep00CausalClosure} \to \texttt{SomeConcreteEuclideanEngine}\).

Теорема 33.2 (no_internalSelfDerivation_step00CausalClosure, 🟢). Поэтому его не существует: граница не самозаверяется, \(\lnot\,\texttt{InternalSelfDerivationOfStep00CausalClosure}\).

Почему это верно. Двигателей у нас нет — это уже доказанный факт ацикличности ранга lexRank (строго убывающая цепь натуральных рангов обрывается, глава 01). Самозаверение отождествляется — шаг за шагом, машинной проверкой — с построением ровно такой бесконечно работающей цепи. Раз цепи нет, нет и самозаверения.

То же самое на языке начала мира: интернализированное событие «0 → 1», то есть первый кадр, причиняющий сам себя, невозможен в стабильной безмоторной архитектуре.

Теорема 33.3 (no_internalisedHorizonBoundary, 🟢). Интернализированной причинной границы горизонта не существует: \(\lnot\,\texttt{InternalisedStep00HorizonBoundary}\).

Примечание (барон Мюнхгаузен и вечный двигатель первого рода). Система, которая обосновывает собственное основание, — это барон, вытягивающий себя за волосы из болота. Физическая изнанка этой невозможности буквальна: самообоснование извлекало бы «работу вывода» из ничего, замыкая причинную петлю в источник бесплатной энергии — вечный двигатель первого рода. Наш lexRank играет роль сохраняющейся величины (энергии, высоты), у которой есть строгое дно; петля, нарушающая сохранение, обрывается о это дно. Поэтому фундамент нельзя положить изнутри — его надо принести снаружи.

Честная оговорка (см. 24): сам по себе запрет самозаверения логически тавтологичен — «доказать P, пересекая границу P» сворачивается в P ∧ ¬P. Содержательно здесь не сама тавтология, а отождествление формы: что именно попытка самообоснования оказывается уже сожжённой двигательной конструкцией, а не какой-то новой невозможностью.

Аксиома, принятая намеренно: событие 0 → 1

Раз изнутри причину положить нельзя, мы кладём её извне и намеренно — единственной аксиомой всего репозитория:

axiom step00FirstCause : Step00FirstCause

Что это за объект Step00FirstCause? Это структура события «0 → 1» — перехода от небытия к первому причинному кадру. У неё три поля, и они делятся на два сорта.

Два поля — чистые маркеры, несущие лишь True: origin отмечает сингулярность «0» (до первого кадра нет внутреннего языка — утверждать попросту нечего), а firstFrame отмечает первый причинный кадр «1» (с него становятся доступны состояния, шаги, леджеры).

Остаётся ровно одно содержательное поле — единственная причинная граница:

• causalBoundary — граница близнецов, в точности открытый узел TheStrictLastStep00Obligation.

Прежние поля riemannBoundary (граница Римана, глава 38) и nsBoundary (граница Навье–Стокса, глава 41) отвязаны от декрета (Option A): они живут лишь как мёртвый код в withdrawn-комментариях и в структуре первопричины не присутствуют. Единственная живая граница декрета — близнецовая.

Вся математическая тяжесть первопричины живёт в этом единственном поле; маркеры не утверждают ничего.

Теорема 33.4 (step00FirstCause_iff_causalClosure, 🟢). Первопричина эквивалентна своей единственной границе: Step00FirstCause ↔ SerialTwinBoundaryObligation (граница близнецов).

Смысл этой эквивалентности — честность. Она говорит: намеренное оформление меняет происхождение результата (корень архитектуры, имя аксиомы, метку в аудите), но не его математическую силу. Сила декрета — ровно то, что в него положено, ни граммом больше. Мы ничего не протащили под видом маркеров: «событие 0 → 1» в точности равно принятой границе близнецов.

Почему только близнецы — критерий Option A

Почему из всех задач декрет несёт ровно границу близнецов? Критерий честности один: границу можно взять, только если постулировать её = постулировать ровно её гипотезу — то есть граница доказуемо эквивалентна гипотезе, и обе стороны эквивалентности невакуумны (машинно в Engine/Step00FrontClosureAudit). Тогда декрет не слабее вывода и не сильнее его.

• Близнецы проходят. SerialTwinBoundaryObligation двусторонне и невакуумно ⟺ гипотезе близнецов: принять границу = принять ровно близнецов.
• Риман не проходит. Закон манифестации ⟺ RH лишь под границей близнецов (условно, глава 38); а безусловная двусторонняя форма — это осуждённый мост offCriticalBridge_iff_RH, дословное переименование цели. Чистой двусторонней невакуумной ⟺ RH у границы нет: она либо протащила бы близнецов, либо переименовала цель. Изъят (Option A).
• Навье–Стокс не проходит. Гейт-закон даёт лишь суррогат вперёд; обратная сторона неизвестна (нет теоремы о дивергенции на ℝ³). Одностороннее — не двусторонняя ⟺. Изъят.
• P/NP, Янг–Миллс, Ходж провалили трилемму (универсальная форма рефутируема / экзистенциальная вакуумна / манифестация = переименование цели) — границами не взяты.
• Коллатц был взят, но его закон каната машинно опровергнут (свидетель n = 27) — снят.

Отсюда Option A: осталась ровно одна граница, прошедшая критерий, — близнецовая. Отсоединённые задачи живут честными условными фронтами (зелёная редукция + красный вход), а не результатами декрета.

Что даёт декрет — и чего он не даёт

Аксиома заперта в карантинном модуле, и карантин — не метафора, а машинная процедура. Отдельный верификатор проходит по всем декларациям репозитория и помечает каждую, что зависит от step00FirstCause, как AXIOM-TAINTED. Таких деклараций сегодня ровно 16 (13 в ConcreteStep00Graph.GeneratedFlowFormulation, плюс higherEnergyIncompatibility_twins барьера конечного знания, плюс 2 в geometry-фронте); ни одна не протекла в основную, зелёную линию.

Прежняя «аксиома замыкания» теперь стала теоремой, добываемой из первопричины простым проектированием: step00CausalClosure := step00FirstCause.causalBoundary.

Что из неё следует по близнецовой ветви:

Теорема 33.5 (twinLowersInfinite_from_step00CausalClosure, 🟡). При принятой границе нижних twin-центров бесконечно много: TwinLowers.Infinite.

И сразу — обязательная честная оговорка. Это условный вывод, а не доказательство гипотезы близнецов.

Более того, декрет не слабее своего следствия.

Теорема 33.6 (causalClosureAxiom_asserts_twins_at_every_scale, 🟡). Аксиома предъявляет twin-центр выше любого наперёд заданного порога: \(\forall M_0,\ \exists m,\ M_0 < m \wedge \texttt{TwinCenterZ}\,m\).

Прямо из себя. Иначе говоря, принять эту аксиому = принять близнецов; никакой бесплатной силы декрет не создаёт.

А безаксиомный остаток честен до тавтологии.

Теорема 33.7 (nonAxiomaticRemainingObligation_iff_lastStep00Obligation, 🟢). Безаксиомный остаточный долг эквивалентен старому узлу: \(\texttt{Step00NonAxiomaticRemainingObligation} \leftrightarrow \texttt{TheLastStep00Obligation}\) — никакая обёртка не опустила открытое содержание ниже узла 🔴. twin_prime_conjecture так и остаётся sorry — и через карантин он не замыкается.

Эпистемика: причина есть, узнать нельзя, знание всё ломает

Здесь начинается самое красивое, и почти всё это — зелёное, без аксиомы. Определим «внутреннее знание причины» как её внутреннее выведение, InternalKnowledgeOfCause. Тогда о причине можно сказать три вещи.

Она есть — это step00FirstCause 🟡, принятая намеренно.

Её нельзя узнать — и это теорема, а не смиренная оговорка:

Теорема 33.8 (cause_unknowable, 🟢). Внутреннее знание причины невозможно: \(\lnot\,\texttt{InternalKnowledgeOfCause}\).

Почему — мы уже, по сути, доказали выше: знать причину изнутри значило бы вывести её изнутри, а это строит вечный двигатель (knowledge_builds_perpetualEngine 🟢: \(\texttt{InternalKnowledgeOfCause} \to \texttt{SomeConcreteEuclideanEngine}\)), которого нет. Непознаваемость причины — не наша слабость, а закон сохранения.

И, наконец, самое тонкое: знание причины сделало бы близнецов конечными. Здесь нужна предельная аккуратность.

Теорема 33.9 (knowledge_finitizes_twins, 🟢). Если бы причину можно было узнать изнутри, близнецов было бы конечно много: \(\texttt{InternalKnowledgeOfCause} \to \lnot\, \texttt{TwinLowers.Infinite}\).

Доказательство идёт через невозможный двигатель — то есть формально ex falso: из знания следует двигатель, из двигателя — противоречие, из противоречия — что угодно, в том числе конечность.

Чтобы не выдать взрыв за содержание, рядом обязан стоять честный спутник.

Теорема 33.10 (knowledge_proves_anything, 🟢). Из того же знания одинаково выводится и бесконечность близнецов: \(\texttt{InternalKnowledgeOfCause} \to \texttt{TwinLowers.Infinite}\). Знание причины, будь оно возможно, взорвало бы всё.

Содержательная, невзрывная форма — дихотомия.

Теорема 33.11 (unknowable_or_twins_finite, 🟢). Либо причину нельзя узнать, либо близнецов конечно: \(\lnot\,\texttt{InternalKnowledgeOfCause} \vee \lnot\,\texttt{TwinLowers.Infinite}\) — и её левый дизъюнкт есть настоящая теорема (Теорема 33.8, cause_unknowable). Мы всегда в левом мире.

Примечание (машинный комплемент узла). Тот же эпистемический стандарт, что у P/NP и Коллатца, мы предъявили и самому twin-узлу — зелёным модулем Engine/TwinNodeEpistemic. Опровержение близнецов в стабильной вселенной строит запрещённый двигатель (twinRefutation_in_stableUniverse_builds_engine, 🟢 — честно условно на закон стабильности леджера NoEnergyStableUniverse: при A ≥ 5 он открыт и поставляется лишь декретом); малый масштаб мёртв — strict-узел машинно загнан в A ≥ 5 (strictLastStep00Obligation_forces_scale_ge_five, 🟢); а «узнать узел изнутри нельзя» — теорема без гипотез (twinNode_unknowable, 🟢; сводка трёх путей — twin_no_internal_decision_without_engine). Всё это модель-внутренняя эпистемика, не решение гипотезы близнецов и не Гёдель: самообоснование гибнет о пижонхол, и таинт репозитория не растёт.

Суть: близнецы бесконечны, потому что узнать нельзя

Предыдущая формулировка — «знание финитизирует» — доказывалась взрывом. Но у той же медали есть содержательная сторона, и она несущая. Её выражает аксиомо-свободная лемма — сердце всей причинной линии.

Теорема 33.12 (twins_infinite_of_noEngine_and_boundary, 🟢). Отсутствие двигателей вместе с причинной границей влечёт бесконечность близнецов: \(\lnot\,\texttt{SomeConcreteEuclideanEngine} \to \texttt{Step00CausalClosureAxiom} \to \texttt{TwinLowers.Infinite}\).

Почему это верно — и почему гипотеза «двигателей нет» тут работает по-настоящему, а не через взрыв. Предположим противное: пусть близнецы конечны, значит есть последняя граница M0, выше которой их нет. Из этой конечной границы мы строим бесконечную семью порождённых потоков; из бесконечной семьи конечный ключ вынужден дать коллизию (пигеонхол); из коллизии собирается конкретный двигатель-свидетель.

И вот его-то убивает гипотеза hNoEngine — не пустой взрыв, а прямое попадание: свидетель предъявлен, а двигателей нет. Гипотеза потреблена содержательно.

Инстанциируем декретом.

Теорема 33.13 (twins_because_unknowable, 🟡). Близнецов бесконечно много: TwinLowers.Infinite — здесь Теорема 33.12 применена к поставляемому lexRank отсутствию двигателей и к границе из аксиомы. Непознаваемость и бесконечность близнецов оказываются двумя следствиями одной причины, причём вывод близнецов видимо проходит через непознаваемость (через ту же самую «двигателей нет»).

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

Теорема 33.14 (epistemicFirstCauseStatus, 🟡). Первопричина существует, непознаваема, при принятии даёт близнецов, а знание их финитизировало бы: \(\texttt{Step00FirstCause} \wedge \lnot\,\texttt{InternalKnowledgeOfCause} \wedge \texttt{TwinLowers.Infinite} \wedge (\texttt{InternalKnowledgeOfCause} \to \lnot\,\texttt{TwinLowers.Infinite})\).

Вторая стена: конечное знание видит только чистые классы

Есть и вторая, независимая причина, по которой близнецы ускользают от наблюдателя — на этот раз не причинная, а познавательная. Её строит Engine/FiniteKnowledgeBarrier.lean, и вся она безусловна (ядро опирается лишь на propext).

Зафиксируем корректный сертификат знания FiniteSystemKnowsTwin, зависящий только от конечного вида уровня A — то есть от того, что различимо на конечном горизонте наблюдения. Тогда:

Теорема 33.15 (knowledge_forces_pure_class, 🟢). Конечная система знает про близнеца B, только если весь его конечный класс эквивалентности состоит из близнецов: если \(\texttt{FiniteSystemKnowsTwin}\,S\,A\,\mathrm{Cert}\,B\), то \(\forall B',\ \texttt{SieveEquivalent}\,S\,A\,B\,B' \to \texttt{IsTwin}\,B'\).

Иными словами, конечное знание — это знание про класс, а не про отдельное число. А раз так:

Теорема 33.16 (mixed_class_twin_unknowable, 🟢). Близнец B, попавший в смешанный класс (есть \(\mathrm{bad}\) с \(\texttt{SieveEquivalent}\,S\,A\,B\,\mathrm{bad}\) и \(\lnot\,\texttt{IsTwin}\, \mathrm{bad}\)), для конечной системы принципиально невидим: \(\lnot\,\texttt{FiniteSystemKnowsTwin}\,S\,A\,\mathrm{Cert}\,B\).

И глобально:

Теорема 33.17 (infinitude_unknowable_of_eventually_mixed, 🟢). Если классы хвостово смешаны (есть \(N\) такое, что при всех \(B > N\) в классе есть не-близнец), то бесконечность близнецов не удостоверить: \(\lnot\,\texttt{FiniteSystemKnowsTwinsInfinite}\,S\,A\,\mathrm{Cert}\).

Удостоверить бесконечность можно лишь при классах, чистых кофинально. Самый резкий частный случай:

Теорема 33.18 (trivialView_infinitude_unknowable, 🟢). Для тривиального вида бесконечность безусловно неудостоверима: \(\lnot\,\texttt{FiniteSystemKnowsTwinsInfinite}\,\texttt{trivialView}\, A\,\mathrm{Cert}\) — совсем близорукий наблюдатель не знает вообще ничего.

Честная граница ветви: то, что классы нетривиального вида на конкретных уровнях смешиваются, — арифметический вход 🔴; безусловны здесь структурные теоремы и близорукая инстанциация. Замыкает картину следующая теорема.

Теорема 33.19 (two_walls_one_nature, 🟢). Изнутри конечного вида не видно близнецов со смешанным классом, изнутри системы не видно первопричины: \(\bigl(\forall S,A,\mathrm{Cert},B, \mathrm{bad}:\ \texttt{SieveEquivalent}\,S\,A\,B\,\mathrm{bad} \to \lnot\,\texttt{IsTwin}\, \mathrm{bad} \to \lnot\,\texttt{FiniteSystemKnowsTwin}\,S\,A\,\mathrm{Cert}\,B\bigr) \wedge \lnot\,\texttt{InternalKnowledgeOfCause}\) — две стены, одна природа.

Примечание (горизонт наблюдателя). У этой второй стены есть прямая физическая аналогия — горизонт. Наблюдатель внутри расширяющейся вселенной не может увидеть за свой космологический горизонт не потому, что там ничего нет, а потому, что информация оттуда до него не доходит. Конечный вид уровня A — такой же горизонт: за его пределом близнецы, возможно, и бесконечны, но сертификат конечного размера этого не удостоверит. Обе стены — причинная и познавательная — суть проявления одного: конечная система не может выйти за собственную границу.

Примечание (Хокинг). Хокинговская утечка через горизонт — восстановление снаружи (ExternalUniverseCause), а не вывод изнутри; она корроборирует no_internalisedHorizonBoundary, а не пробивает его (машинно: hawking_leaky_horizon, 🟢). Физика — метафора.

Главная теорема: высшая энергетическая несовместимость

Теперь мы можем собрать всё сказанное в одно утверждение — главную теорему программы. Она склеивает причинную стену и познавательную в единую несовместимость и делает это целиком в зелёном ядре.

Теорема 33.20 (higherEnergyIncompatibility_main, 🟢 — ядро без аксиомы). Пять граней одной несовместимости — конъюнкция:

1. знание первопричины изнутри строит вечный двигатель;
2. поэтому первопричина непознаваема изнутри;
3. конечный вид знает близнеца, только если весь его класс — близнецы;
4. при хвостовом смешении классов бесконечность близнецов изнутри неудостоверима;
5. — несущая грань — сама эта несовместимость (двигателей нет = причину не узнать) вместе с принятой границей влечёт бесконечность близнецов.

Первые четыре грани — это две наши стены, сформулированные бок о бок. Пятая — мост от них к выводу. А прочитать всё вместе стоит энергетически: «знать изнутри» стоит вечного двигателя, которого нет; а бесконечность близнецов — это внешнее знание, оплаченное первопричиной.

Следствие 33.21 (higherEnergyIncompatibility_twins, 🟡). Близнецов бесконечно много, TwinLowers.Infinite — ровно пятая грань (Теорема 33.20), инстанциированная декретом: она жёлтая, но ядро над ней остаётся зелёным.

Примечание (принцип Ландауэра и демон Максвелла). Название «энергетическая несовместимость» не украшение. Ландауэр показал, что информация физична: стереть один бит стоит не меньше kT·ln 2 энергии, а демон Максвелла не нарушает второй закон именно потому, что его знание приходится оплачивать. Наша теорема — дискретный собрат этого принципа. «Узнать причину изнутри» — операция, которая стоила бы бесконечной работы (вечного двигателя); значит, она запрещена тем же законом сохранения, что запрещает вечный двигатель. Бесконечность близнецов не бесплатна: её цена — вынесенное наружу знание, то есть аксиома. Знание и энергия здесь — одна валюта.

Космологическое прочтение: числовая прямая как пространство-время

Всё сказанное можно собрать в одну картину, и картина эта — космологическая. Важно сразу провести границу честности: теоремы ниже строги, а космологическое прочтение — их перевод, а не метафора поверх них. Каждый шаг рассуждения опирается на названную зелёную теорему; читатель может пройти этот путь сам и прийти к тому, что аксиома необходима.

Шаг 1. Числовая прямая — это пространство, а строгий порядок обхода — его ткань. Вселенная нашего двигателя — натуральный ряд с его строгим порядком; состояние — точка на прямой, ход — шаг по ней. Ничего, кроме этого порядка, во вселенной нет: она определена обходом.

Шаг 2. Стрела времени доказана строго. Двигатель не просто движется — он движется необратимо. Теорема engine_never_returns (StrictAnti) говорит: вдоль хода высота строго антимонотонна, двигатель никогда не возвращается в пройденное состояние. Это буквально стрела: у времени есть направление, и назад его не повернуть.

Больше того, направление асимметрично. Вверх, к бо́льшим центрам, топлива всегда хватает (fuel_ascent_strictMono, StrictMono) — будущее открыто и бесконечно; вниз двигатель ехать вечно не может (no_infinite_engine_descent), а всякий поворот вниз обрывается за конечное число шагов (turned_engine_halts). Прошлое конечно и имеет дно; будущее бесконечно и дна не имеет. Это и есть термодинамическая стрела — и она не постулат, а теорема.

Шаг 3. Две сингулярности, и до дальней не доехать. У прямой два конца. Ближний — начало, 0: сингулярность OriginZero, до-кадровое состояние, где внутреннего языка ещё нет и утверждать нечего. Дальний — бесконечность, +∞: будущая сингулярность, которой стрела времени вечно приближается и никогда не достигает (движение вверх бесконечно, но не завершается).

И вот ключ: дойти до дальней сингулярности мог бы только вечный двигатель. Завершённый обход прямой до её конца — это бесконечная работа, доведённая до конца, то есть в точности вечный двигатель, которого нет (no_perpetual_engine). Обойти вселенную до самого дна с другой стороны — до бесконечности — принципиально нельзя ни одному наблюдателю внутри порядка.

Шаг 4. Первопричина — это появление двигателя из сингулярности 0. Откуда взялся первый шаг? Внутри вселенной ответа нет — и это доказано. Двигатель, появляющийся из 0 собственной причиной — самопричинённый первый кадр, — был бы ровно вечным двигателем: no_internalisedOriginEvent и no_internalisedHorizonBoundary строго это запрещают. Значит, событие 0 → 1 (переход OriginZero → FirstCausalOne) не может быть внутренним; оно кладётся извне — намеренной аксиомой step00FirstCause.

Первопричина — это тот миг, когда двигатель, нарушая изнутри-запрещённый принцип, появляется из точки 0, из сингулярности, и трогается вперёд — строго, как стрела времени, не сворачивая. То, что стрела не сворачивает, мы уже доказали (шаг 2); то, что она стартует из 0, дать изнутри нельзя — это и есть роль аксиомы.

Шаг 5. Отсюда — необходимость аксиомы, к которой читатель приходит сам. Соберём запреты вместе. Вывести причинную границу изнутри — значит самозаверить её, а это строит вечный двигатель (шаг 4 и выше). Знать первопричину изнутри невозможно как теорема (Теорема 33.8, cause_unknowable). И дихотомия Теоремы 33.11 (unknowable_or_twins_finite) замыкает: либо причина непознаваема, либо близнецов конечно — а левый дизъюнкт доказан.

Внутри вселенной, определённой строгим порядком обхода, первопричину нельзя ни вывести, ни узнать; решить узел изнутри означало бы построить вечный двигатель. Поэтому, если границу вообще принимать, — принять её можно только извне.

А приняв, мы получаем строго: знать, что близнецы бесконечны, нельзя; но если незнание первопричины принять за истину — они бесконечны, и это строго (Теорема 33.13, twins_because_unknowable, 🟡, через несущую аксиомо-свободную Теорему 33.12, twins_infinite_of_noEngine_and_boundary). Аксиома не роскошь и не украшение: без неё бесконечность близнецов внутри системы нельзя ни доказать, ни опровергнуть — оба действия потребовали бы вечного двигателя.

Шаг 6. Вселенная одна, башни причин нет. Остаётся последнее возражение: а вдруг под первопричиной есть своя причина, под ней — ещё одна, бесконечная башня вселенных, каждая порождает следующую? Нет, и это доказано. Регресс причин вполне-фундирован: no_rankedMetaFractalBranch — ранжированная мета-фрактальная ветвь ведёт к False, бесконечной башни не существует.

Вложенные вселенные сводятся к той же единственной причине (nestedUniverseLastStep00Obligation_iff_lastStep00Obligation: одностороннее вложение — строгий спуск lexRank, взаимное — сожжённый цикл, бесконечная цепь вложений невозможна). И весь мыслимый фрактал исходов схлопывается ровно в три (metaFractalOutcome_iff: узел ∨ ∃ доказательство ∨ ∃ опровержение), а всякое настоящее доказательство обязано пересечь горизонт наружу (actualProof_must_cross_eventHorizon).

Вселенная единственна, её первопричина внешняя и одна, и никакой бесконечной иерархии причин под ней нет — ThisIsAnExternalStep00AxiomNotAGlobalIndependenceTheorem честно отмечает: это внешняя аксиома, а не заявление о глобальной независимости.

Итог прочтения. Числовая прямая и невозможность двигателя вместе кодируют пространство и время: строгий порядок обхода — это пространство (состояния, с дном-сингулярностью в 0), а необратимая стрела engine_never_returns плюс запрет вечного двигателя — это время (направленное, с началом в 0 и недостижимым концом в ∞). Первопричина — начальное условие, сингулярность, из которой запущена стрела; и дать её изнутри нельзя, потому что изнутри самозапуск = вечный двигатель. Всё это — строгие теоремы; космологическая одежда лишь переводит их на язык, на котором они, кажется, и были написаны с самого начала.

Цена аксиомы: три мира и видимая точка взрыва

Что аксиома стоит с точки зрения непротиворечивости? Мы сделали цену машинно видимой. Растяжки §9 карантина — это заряды, взрывающиеся ровно там, где надо:

Теорема 33.22 (quarantine_inconsistent_if_node_refuted, 🟡). Если узел когда-либо будет опровергнут (то есть атаку A ≤ 4 кто-то продлит на все масштабы), False выводится именно здесь — и все 16 заражённых деклараций обесцениваются разом.

Так расчерчиваются три мира:

• либо узел истинен — тогда аксиома лишняя, а близнецы на самом деле доказаны;
• либо узел независим — тогда теория непротиворечива, но узнать это изнутри нельзя (по той же эпистемике);
• либо узел опровержим — тогда карантин противоречив, и растяжка это немедленно покажет.

Важно, что маленькая атака A ≤ 4 уже удалась — и удалась независимо от истинности близнецов: декрет живёт только в A ≥ 5. Это не декларация, а свойство данных:

Теорема 33.23 (strictPackage_scale_ge_five, 🟢). У любого строгого пакета \(C = (A, \mathrm{projOf}, \mathrm{resolves})\), свидетельствующего аксиому, масштаб \(5 \le A\). А сам пакет эквивалентен аксиоме и на каждом масштабе предъявляет twin — так что и здесь декрет не слабее вывода.

Наконец, мета-уровень честен о собственной тавтологичности: дихотомия «доказательство ускользает или возвращается» — это просто переименование Nonempty/IsEmpty (proofEscapes_iff_proofExists 🟢), а внутренний регресс причин вполне-фундирован и потому обрывается (no_rankedMetaFractalBranch 🟢). Никакой бесконечной башни причин под первопричиной нет.

Место в общем ходе

Эта глава — причинный свод программы. Внутрь от неё уходят все редукции глав 15–32, упирающиеся в один узел 🔴. Наружу — три зелёных факта и одно намерение: невозможность самозаверения узла 🟢, намеренная внешняя первопричина 🟡 и главная теорема о том, почему изнутри иначе нельзя 🟢.

Скажем итог без прикрас. Гипотеза близнецов не доказана и доказанной не объявляется: twin_prime_conjecture — это sorry, и через карантин он не замыкается.

Но доказано другое, и доказано машинно: конечное знание о близнецах — почти ничто; знание их первопричины изнутри стоило бы вечного двигателя, которого нет; а если причинную границу всё-таки принять — принять её можно только извне, — то бесконечность близнецов приходит ровно из этой несовместимости.

Дальше та же архитектура разворачивается на Риман (глава 38): второй нуль, второе отклонение, которого двигатель не может себе позволить.

---

← 32. Rank-parity узел · Оглавление · 34. Ветка Мерсенна →