00. Пролог: двигатель Евклида, близнецы, Риман и классические фронты — одна rank-parity программа¶
↑ Репозиторий · 01. Двигатель (EPMI) →
Это входной файл всей программы — пролог и главный навигатор. Дальше идут пронумерованные главы
prose/NN_*.md(парная проза, 00→56) и модулиEuclidsPath/Engine/*.lean(машинная проверка). Здесь мы вводим объект, объявляем стратегию, чертим карту частей I–VIII и — главное — честно фиксируем, что именно доказано машинно, что условно на единственную аксиому, а что открыто. Легенда статусов: 🟢 — доказано машинно при стандартных аксиомах Lean/mathlib; 🟡 — AXIOM-TAINTED: условно на единственную аксиому репозиторияstep00FirstCause(первопричина0 → 1с ОДНОЙ границей — twin-узлом: постулировать его = постулировать ровно близнецов; Риман, Навье–Стокс и P/NP были отсоединены от декрета (Option A, главы 38/41/39, машинно вEngine/Step00FrontClosureAudit), а коллатцевская граница была взята и СНЯТА после машинного опровержения её закона — см. главы 55–56; 16 таких деклараций, все утверждают близнецов, утечек нет — верификатор отслеживает каждую при сборке); 🔴 — открытый узел / цель. Сама цельtwin_prime_conjectureостаётсяsorry. Ничего сильнее машинных фактов здесь нет. Все ключевые понятия программы собраны в словаре.
★ Главная теорема программы¶
В вершине всей конструкции стоит одно утверждение — higherEnergyIncompatibility_main
(Engine/FiniteKnowledgeBarrier), высшая энергетическая несовместимость. Её ядро целиком
зелёное, без всякой аксиомы.
Теорема 0.1 (higherEnergyIncompatibility_main). Пять граней смыкаются в одну конъюнкцию:
Здесь \(\mathsf{KnowsCause}\Rightarrow\mathsf{Engine}\) — знание первопричины изнутри строит конкретный
евклидов двигатель; \(\neg\,\mathsf{KnowsCause}\) — причина изнутри непознаваема (cause_unknowable);
\(W_{\mathrm{fin}}\) — для любой просеивающей системы \(S\), масштаба \(A\), сертификата и класса \(B\): если
класс \(B\) эквивалентен элементу \(\mathit{bad}\), который не близнец, то система не удостоверяет \(B\)
как близнеца; \(W_{\infty}\) — если сколь угодно далеко каждый класс содержит не-близнеца, система не
удостоверяет бесконечность близнецов; и пятая грань: отсутствие двигателя вместе с причинной границей
step00FirstCause влечёт TwinLowers.Infinite. Первые четыре грани 🟢; заключение пятой 🟡 (условно на
границу).
Держится оно на простой мысли: узнать причину изнутри стоит энергии, которой в замкнутой системе нет.
Разворачивается эта мысль так. Знать первопричину изнутри значило бы вывести её изнутри — а это построило бы вечный двигатель, которого не существует. Поэтому причина принципиально непознаваема.
С другой стороны стоит вторая, независимая стена. Конечный просеивающий наблюдатель знает про близнеца, только если весь его конечный класс — близнецы; близнец в смешанном классе для него невидим. Значит, и бесконечность близнецов изнутри неудостоверима.
Две стены — причинная и познавательная — оказываются одной природы (two_walls_one_nature): изнутри
конечной системы не видно ни её первопричины, ни бесконечности близнецов. И тогда несущая, пятая
грань замыкает круг: сама эта несовместимость (двигателей нет = причину не узнать) вместе с принятой
причинной границей влечёт бесконечность близнецов.
Прочитать всё вместе стоит энергетически: «знать изнутри» стоит вечного двигателя, которого нет; а бесконечность близнецов — это внешнее знание, оплаченное первопричиной.
Короче всего теорема звучит так: знать, что близнецы бесконечны, нельзя; но если незнание первопричины принять за истину — они бесконечны, и это строго. Это и есть следствие ниже.
Следствие 0.2 (higherEnergyIncompatibility_twins). Инстанцируя пятую грань (0.1) декретом
step00FirstCause, получаем безусловное по форме
🟡: пятая грань, инстанциированная декретом step00FirstCause (декрет — намеренное принятие закона
аксиомой, а не доказательством; см. словарь). Ядро над ней остаётся зелёным, но само
следствие условно — это не доказательство гипотезы близнецов.
И у всей этой конструкции есть строгое космологическое прочтение — теоремы строги, космология лишь их перевод (полный пошаговый разбор — в главе 33).
Числовая прямая и невозможность двигателя вместе кодируют пространство и время. Строгий порядок обхода —
это пространство с дном-сингулярностью в 0, а необратимая стрела времени доказана строго
(engine_never_returns: высота строго антимонотонна, назад хода нет).
Первопричина — миг, когда двигатель появляется из сингулярности 0 и трогается вперёд не сворачивая.
Дать её изнутри нельзя, ведь самозапуск был бы вечным двигателем (no_internalisedOriginEvent), —
потому она принимается извне, единственной аксиомой.
Оттого внутри системы бесконечность близнецов нельзя ни доказать, ни опровергнуть: оба действия
означали бы построить вечный двигатель. А башни вселенных под первопричиной нет — регресс причин
вполне-фундирован (no_rankedMetaFractalBranch), вселенная одна.
1. Объект: двигатель Евклида как well-founded мультипликативный спуск¶
Всё здание стоит на одном элементарном объекте: «состояние» евклидова процесса разложения сводится
к его высоте — индексу \(m\) центра пары \((6m-1,\,6m+1)\); чистый шаг спуска уменьшает высоту
мультипликативно: \(\mathrm{DescentStep}(A,h,h') :\Leftrightarrow A\cdot h' < h\) (DescentStep,
Engine/EPMI). Двигатель Евклида — гипотетическая бесконечная последовательность высот, в которой
каждый шаг таков. Её не существует: \(H(t)+t\) не возрастает, а строго убывающая цепь натуральных
высот обрывается — это бесконечный спуск Ферма, переписанный мультипликативно.
Теорема 0.3 (no_infinite_descent). Невозможность вечного двигателя: строго убывающая цепь
натуральных высот обрывается (\(H(t)+t\) не возрастает). Структурная форма
no_perpetual_engine, дихотомия шага boundary_dichotomy — все 🟢, без sorry, на голом ядре
Lean 4 (даже без mathlib). Это самый твёрдый камень фундамента: любая конструкция, предъявленная
как вечный двигатель, автоматически ложна.
2. Стратегия: контрапозиция через двигатель¶
Для каждой цели \(P\) (бесконечность близнецов; Риман; фронты) строится мост \(\neg P \Rightarrow \mathsf{Engine}\) и замыкается доказанным EPMI: \((\neg P \Rightarrow \mathsf{Engine}) \land \neg\,\mathsf{Engine} \Rightarrow P\).
Для близнецов:
конечность близнецов (NoNewTwinAbove M0) загоняет бесконечный поток чистых стартов в конечное
множество старых поглотителей — rigid-цикл, двигатель, противоречие. Для Римана: нуль вне
критической прямой даёт бесплатную направленную перекачку массы — снова двигатель.
Мы не пишем
twins ⟹ RH: общее у ветвей не следствие, а механизм — один EPMI, одна контрапозиция и, как
покажет §4, один rank-parity инвариант.
3. Карта частей I–VIII¶
Карта-навигатор: один запрет → главная теорема (давит на аксиому) → аксиома и её границы; каждая задача с честным статусом — взято 🟡 / отложено ⏸️ / пало ✗.
I. Двигатель и его законы (гл. 01–09, 🟢). Ядро невозможности (Engine/EPMI, гл. 01);
носитель двойки no_large_shared_divisor (Engine/Carrier, гл. 02); 1-й закон \(XY-ZW=2\) —
det_law_rank33 (Engine/TwoGap, гл. 03); спуск и boundary-law (Engine/Descent, гл. 04);
необратимость, turn ⇒ halt (Engine/Irreversibility, гл. 05); исчезновение диагонали
(Engine/NoBackward, гл. 06); squeeze, ограниченный цикл, factor-repeat rigidity
(Engine/Squeeze, Engine/BK, Engine/Cycle, гл. 07–09).
II. Редукция к близнецам (гл. 10–11, 🟢). infinite_of_unbounded_centers (Engine/NonCover,
гл. 10); twin_prime_conjecture_of_blocks (Engine/TwoTransport, гл. 11).
III. Линии-атаки и стена чётности (гл. 12–17, 🟢 условно/модельно). Four-corner
(Engine/FourCorner, гл. 12); модельный слой (Engine/ModelFourCorner, гл. 13); декомпозиция
остатка (Engine/RealFourCorner, гл. 14); цепь к близнецам (Engine/ToTwins, гл. 15);
finite ∧ H ⇒ False (Engine/FiniteContradiction, гл. 16); ledger (Engine/PaymentLedger, гл. 17).
IV. Финальная редукция twin-линии (гл. 18–25, 🟢 + 🔴 узел). twin_primes_of_SNOL
(Engine/SNOL, гл. 18); old-peel (Engine/OldPeel, гл. 19); NOPSL (гл. 20);
regeneration_dichotomy (Engine/Regeneration, гл. 21); residuals/clean-graph (гл. 22–23);
boundary-декомпозиция и финальный узел близнецов TheLastStep00Obligation
(Engine/BoundaryDecomp, Engine/ConcreteStep00Graph и свита, гл. 24); rigid-замыкание
reaches_twin (Engine/RigidClose, гл. 25).
V. Product-core rank descent (гл. 26–29, 🟢 + 🔴 узел). no_productHall
(Engine/SeparatingScale, гл. 26); product_core_engine_of_carrier (Engine/ProductCore, гл. 27);
factor_rank_le_four (Engine/MkNode, гл. 28); cleanCenters_infinite,
engine_of_factorization (Engine/CarrierBridge, гл. 29).
VI. Риманова ветка и rank-parity мост (гл. 30–32). riemannHypothesis_of_engine_bridge,
not_RH_gives_engine (Engine/RiemannBranch, Engine/RiemannEngine,
Engine/RiemannImpossibleEngine(-Off), Engine/RankJumpBridge, гл. 30);
liouville_eq_neg_one_pow_rank, riemann_of_liouville_bound (Engine/RiemannLiouville, гл. 31);
единый rank-parity узел — эпилог-гипотеза (гл. 32).
VII. Первопричина и барьер конечного знания (гл. 33, пишется параллельно). Карантинная аксиома
step00FirstCause и её теоремная свита: step00CausalClosure (теперь теорема из первопричины),
честность step00FirstCause_iff_causalClosure (маркеры несут True, вся сила в границе),
эквивалентность остатка nonAxiomaticRemainingObligation_iff_lastStep00Obligation
(Engine/CausalClosureAxiom); эпистемика — cause_unknowable, two_walls_one_nature и главная
теорема higherEnergyIncompatibility_main (Engine/FiniteKnowledgeBarrier) — см. блок ★ выше.
VIII. Классические фронты (гл. 34–37, пишутся параллельно).
— Мерсенн (гл. 34): тождество \(M_p = 6c+1\) — mersenne_eq_sixCenter_add_one, условный мост
twinLowersInfinite_of_mersenneTwins, честный гейт noTwinsToMersenneImplicationClaimed
(Engine/MersenneBranch); платёжный конфликт — soundness_forbids_mersennePrimePaymentConflict,
twinLowersInfinite_of_infiniteMersenneSupply (Engine/MersennePaymentConflict); peel-давление —
mersenneCenter_base4PeelStep, absence_forces_peelCoverage_or_paymentLaw_defect
(Engine/MersennePeelPressure); форвард-фронт из 34 кирпичей (Engine/MersenneForwardFront) —
⚠️ поздние noEngine-пакеты необитаемы (вакуумность №3, см. §5).
— P vs NP, локально (гл. 35): verificationEasy_always,
localPSuccess_iff_semanticFlowLedgerCollisionResolves, localP_success_detects_twin,
безусловная несжимаемость малого масштаба concrete_localSearchIncompressible_smallScale
(Engine/LocalPNPNode); классический мост — genealogyLanguage_in_NP,
classicalSeparation_of_localIncompressible, гейт области bridgeScopeGuard_ok
(Engine/ClassicalPNPBridge); каноническая самозедукция — extracts_local_success_of_selfReduction,
антивакуумный гейт trivialFrame_not_faithful (Engine/CanonicalSelfReduction); маршруты фронта —
extracts_local_success_of_bitwiseEncoding (Engine/ClassicalFrontierRoutes); дисциплина ранга —
no_rankBoundaryEngine, taxonomyExpansion_not_strictProgress (Engine/RankClosureFront).
— Навье–Стокс (гл. 36): ns_no_infinite_dissipative_cascade,
ns_no_infinite_dissipative_cascade_of_balance, kineticEnergy_nonneg (Engine/NavierStokes,
каркас каскада — Engine/DissipativeCascade) — структурное «нет бесконечного диссипативного
каскада», не задача регулярности Клэя.
— Риман-фронты (гл. 37): вход закрыт — trivialBelowZeroClassification 🟢
(Engine/RiemannTrivialZeros, функциональное уравнение mathlib): RH условна только на
EngineBridge (riemannHypothesis_of_engineBridge_only) или TwoTransportBridge; rank-projection
маршрут и его вскрытие (Engine/RiemannRankProjection, Engine/RiemannRankProjectionAudit —
вакуумность №2, см. §5); two-transport форма и её честность coherentTwoTransportBridge_iff_RH
(Engine/RiemannTwoTransportFront); арифметический атом \(+2\) —
riemannHypothesis_of_arithmeticTwoTransport (Engine/RiemannArithmeticTwoTransport);
спектральные аудиты — front_pair_iff_RH, no_single_atom_anchors_two_distinct_invariants
(Engine/RiemannSpectralAnchorAudit), origin-blind firewall
no_identity_with_residues_555_111_plus_two (Engine/RiemannLayerBoxFront), терминальный
rank-фронт — no_free_origin_for_distinct_zeros, чек-лист 66 линий / 11 балансов
(Engine/RiemannTerminalRankFront).
4. Единый rank-parity узел¶
Обе исходные гипотезы редуцируются к одному инварианту — чётности ранга \(\mathrm{rank}(n)=\Omega(n)\).
Twin-сторона: эксклюзивность двойки (no_large_shared_divisor)
запрещает перекрёстный член \(xy\) в производящей функции рангов и форсирует четырёхугольное
неравенство \(N_{00}N_{33}\le N_{03}N_{30}\) (N33_lt_N00_of_four_corner, Engine/FourCorner) —
баланс близнецов есть баланс rank-parity.
Риман-сторона: \(\lambda(n)=(-1)^{\mathrm{rank}(n)}\)
(liouville_eq_neg_one_pow_rank), deleteFactor флипает знак (liouville_flip_of_mul_prime),
а RH — малость \(L(x)=\sum_{n\le x}(-1)^{\mathrm{rank}(n)}\) (LiouvilleBound).
Вывод. Один инвариант, один оператор, одна стена чётности — потому мы говорим об одном rank-parity узле. Фронты части VIII — попытки обойти эту стену с разных сторон; их аудиты (гл. 37) машинно показывают, где обход подлинный, а где — переупаковка RH.
5. Честный статус по веткам¶
Близнецы — 🔴 один узел, максимально сужен. Вся ветка машинно сведена к
TheLastStep00Obligation (Engine/ConcreteStep00Graph):
twinLowersInfinite_of_lastStep00Obligation 🟢. Узел — twin-детектор: twin_above_of_resolves
(вход на масштабе M0 сам предъявляет twin выше M0 — он не слабее цели помасштабно); вся семья
из ~15 эквивалентных форм (energy / nested / seam / gauge / compression …) машинно ⟺ ему.
⚠️ Сужение (адверсариальный probe): ветвь A ≤ 4 опровергнута — 5-адическая цепь
\(c(k{+}1)=5c(k)+1\) даёт бесконечно много admissible-генеалогий без twin-гипотез
(smallScale_branch_of_lastStep00Obligation_refuted); ∃A живёт только при A ≥ 5
(lastStep00Obligation_forces_scale_ge_five). ⚠️ Вакуумность №1 (вскрыта, починена):
дегенеративный peel p = p·1 делал узел опровержимым; заплата properDiv + targetPos — теперь
twin-гипотеза несущая, выполнимость при A ≥ 5 подлинно открыта. Условное замыкание через
первопричину (higherEnergyIncompatibility_twins и родня) — 🟡. Step00.twin_prime_conjecture
остаётся sorry.
Риман — 🔴 входы фронтов, 🟡 через расширенный декрет. 🟢: trivialBelowZeroClassification
(всякий нуль с Re ≤ 0 тривиален) — RH условна только на
EngineBridge/TwoTransportBridge/LiouvilleBound.
⚠️ Вакуумность №2 (вскрыта, не приукрашена): цель rank-jump-маршрута не привязана — полный
пакет LiouvilleToTwinLocalization обитаем с нулевым входом (fullLocalization_noInput),
честная стена — ровно ¬LiouvilleViolation (wall_global) = RH-силы; window-бухгалтерия при этом
закрыта честно (relevantViolation_gives_window). Машинная честность мостов:
offCriticalBridge_iff_RH, coherentTwoTransportBridge_iff_RH, no_coherent_twoTransportLaw —
декомпозиции суть карты обязательств, не некруговой путь.
✳️ Через первопричину (глава 38): RH проведена той же ранговой машиной, что близнецы — нуль
вне прямой = неоплаченное отклонение; закон манифестации (риманова граница, впоследствии
отсоединённая от декрета, Option A — отсоединённый фронт, а не живая граница декрета; манифестация — принцип
«отклонение обязано проявиться», см. словарь) + зелёная
невозможность поставки на разрешённых масштабах ⟹ riemannHypothesis_from_firstCause (условно, дедкод WITHDRAWN).
Не доказательство RH; цена раскрыта: riemannManifestation_asserts_RH — при границе закон ⟺ RH.
P vs NP — локальная архитектура; сепарация в ранговой модели — 🟢 теорема (глава 39).
🟢: верификация легка всегда (verificationEasy_always), локальный успех ⟺ семантический узел
близнецов (localPSuccess_iff_semanticFlowLedgerCollisionResolves), на малом масштабе A ≤ 4
несжимаемость безусловна (concrete_localSearchIncompressible_smallScale).
✳️ Прочтение «NP = полная оплата сертификатов ранга, P = ранго-быстрый проезд» — теорема:
pnp_rank_separation_smallScale 🟢 и concrete_localPSuccess_iff_fullPayment 🟢 (глава 39);
раскол по масштабам — декрет на A ≥ 5 сам платит все сертификаты (decreedScale_fullPayment 🟡);
границы P/NP у декрета нет машинно (трилемма — обязательная трёхветвевая проверка кандидата
в границы, см. словарь: два кандидата опровержимы, третий вакуумен). Единственная
живая граница декрета — близнецы.
⚠️ Вакуумность №4: decider-gated extraction-фронты классически пусты (PDecider свободен) —
их separation-выводы вакуумны. Классическое разделение
(classicalSeparation_of_localIncompressible) условно на InP-gated мост; фреймы пластичны
(allPFrame/constantsFrame) — это не доказательство P ≠ NP, и оно не объявляется.
Навье–Стокс — структурный результат, не Клэй. 🟢: ns_no_infinite_dissipative_cascade —
при энергетическом балансе бесконечный диссипативный каскад невозможен (тот же well-founded
механизм EPMI в \(\mathbb{R}_{\ge0}\)). О глобальной регулярности гладких решений ничего не заявлено.
✳️ Гладкость через каскад + взятый интеграл (глава 41): сингулярность = сингулярный каскад =
вечный двигатель; noSingularCascade_of_energyBalance 🟢 — точек разрыва каскадного типа нет
(суррогат ≠ C^∞ — раскрыто); интеграл взят — energy_identity_of_energyBalance 🟢 (тождество
равенством) и isNSSolution_integral_form 🟢 (mild-форма, E3-значный FTC). Границы Навье–Стокса у
декрета нет — трилемма главы 41 (cookedFlow / нулевое решение / кованый профильный каскад).
Янг–Миллс — структурный результат, не Клэй (глава 40). 🟢: безмассовость = вечный двигатель
(halving-лестница — тот самый ℝ-контрпример каскадного предупреждения); квантованность спектра ⟹
масс-щель (massGap_of_quantizationLaw: лестница + ранг = ℕ-спуск, убит EPMI). Границы Янг–Миллса у
декрета нет — трилемма машинна (универсал опровержим, экзистенциал вакуумен, риманово зеркало
несовместимо с принятой границей — лестница предъявима, в отличие от нуля; коллапс
quantizationLaw_iff_massGap — закон ⟺ щель зелёно без границы). Мир декрета гэпнут в языке
поставок (decreedScale_no_deviationSupply 🟡). 🔴 вход — data-anchored построенный YM-спектр.
Ходж — структурный результат, не Клэй (глава 42). 🟢: класс Ходжа = квантованный
(p,p)-заряд (ℕ-высота), цикл = оплата; двигатель (цепь неоплаченного спуска) мёртв
безусловно (isEmpty_unpaidDescentChain — квантование встроено в модель, асимметрия с ЯМ
раскрыта); hodgeProperty_of_descentLaw — закон спуска ⟹ гипотеза модели (сильная индукция
по высоте). Коллапс descentLaw_iff_hodgeProperty (обратная сторона вакуумна — раскрыто) —
границы Ходжа у декрета нет; трилемма главы 42: универсал опровержим (cookedUnpaid), экзистенциал доказан
вообще без аксиом, chain-форма вырождена в зелёную (V2′), манифестация над предъявимым классом
несовместима с границей. В mathlib теории Ходжа нет; 🔴 вход — DescentLaw для настоящих
(p,p)-классов.
Мерсенн — условные мосты + вакуумность №3. 🟢: арифметика центров, условный экспорт
twinLowersInfinite_of_mersenneTwins и платёжно-peel'ные дихотомии дефектов. ⚠️ Вакуумность №3
(вскрыта, зафиксирована в шапке модуля): в Engine/MersenneForwardFront поздние
noEngine-пакеты (NoForbiddenPrimePaymentEngine-семейство и родня) необитаемы — токены несут
свободное поле witness : Prop, «двигатель» строится тривиально, headline-выводы этих кирпичей
вакуумны; маршруты в этой форме неинстанциируемы. Безусловных сильных выводов в ветке нет.
Первопричина — 🟡 карантин, ОДНА граница. Единственная аксиома step00FirstCause несёт только
twin-узел (causalBoundary): постулировать его = постулировать ровно близнецов (двусторонняя
невакуумная эквивалентность границы и гипотезы, машинно в Engine/Step00FrontClosureAudit). Риман
(глава 38), Навье–Стокс (глава 41) и P/NP (глава 39) когда-то проецировались на декрет, но были
отсоединены (Option A): у них нет двусторонней границы, эквивалентной их гипотезе, поэтому они
сняты с аксиомы и живут честными зелёными/красными условными фронтами — не результатами. Четвёртая,
коллатцевская, граница была взята и СНЯТА после машинного опровержения её закона
(ropeLaw_universal_refuted, свидетель n = 27; растяжка сработала, декрет переплатил до лжи — глава
56). 16 AXIOM-TAINTED деклараций, все утверждают близнецов (13 в порождённой flow-формулировке +
следствие higherEnergyIncompatibility_twins + 2 декларации геометрии главы 49 через ту же границу
близнецов), верификатор пересчитывает каждую при сборке. Что границы P/NP, Янг–Миллса и Ходжа НЕ взяты
— проверено машинно (трилеммы глав 39–42). Интернализация первопричины невозможна — двигатель
(no_internalSelfDerivation_step00CausalClosure, 🟢).
Итог честно. 🟢-корпус — реально проверенная машина: двигатель, редукции, аудиты, главная
теорема (ядро). 🟡-слой — ровно то, что оплачено первопричиной, и он отделён карантином.
🔴 — TheLastStep00Obligation при A ≥ 5, входы RH, классические фронты. Редукция — не
доказательство; sorry подделать нельзя.
Где мы и куда дальше¶
Мы ввели объект (no_infinite_descent), объявили стратегию (контрапозиция через двигатель),
расчертили части I–VIII и поставили в вершину карты higherEnergyIncompatibility_main: знание
изнутри стоит вечного двигателя, которого нет. Следующая глава 01. EPMI строит фундамент
буквально — на голом ядре Lean; главы 33–42 разворачивают первопричину (одна граница —
близнецы; Риман и НС-гейт были отсоединены, Option A; судьба коллатцевской границы — главы 55–56) и классические фронты.
Философское отступление: один физический закон под семью задачами¶
Стоит проговорить то, что связывает всю программу, потому что связь эта — не
литературный приём, а её несущая конструкция. В основании лежит самый твёрдый
из физических законов — невозможность вечного двигателя: нельзя черпать работу
из ничего, нельзя бесконечно спускаться, не платя. У Евклида-Ферма это
no_infinite_descent: строго убывающая цепь натуральных высот обрывается.
И вся программа — открытие, что семь великих вопросов суть один и тот же запрет, надетый на разные объекты:
- Близнецы: конечность близнецов загнала бы бесконечный поток чистых стартов в конечную клетку — rigid-цикл, двигатель.
- Риман: нуль вне прямой — неустойчивая мода скрытого квантового спектра (Гильберт–Полиа), самоусиливающееся колебание, двигатель.
- Янг–Миллс: безмассовый спектр — башня сколь угодно дешёвых возбуждений вакуума, даровая перекачка, двигатель; а масс-щель — плата, которую вакуум берёт за первое возбуждение.
- Навье–Стокс: сингулярность — каскад Колмогорова, дошедший до бесконечно малых масштабов за конечное время, бесконечная энергия из конечной, двигатель; а вязкость — верёвка, что всегда успевает у дна.
- Ходж: неоплаченный квантованный заряд — вечный регресс всё меньших знаменателей, двигатель на целочисленной решётке.
- P/NP: полная оплата всех сертификатов дороже ранго-быстрого проезда — термодинамическая цена информации.
- Коллатц: затухающий дрейф, чья средняя сведена, а дно поглощающе; контрпример = вечный двигатель (хвост орбиты от минимума), и решить изнутри нельзя — только проверкой; декрет на законе каната взят и снят после машинного опровержения (главы 55–56).
Один корень, семь ветвей. И в каждой — одна и та же честная стена: структурная
половина доказывается зелёно (где есть запрет двигателя, там нет отклонения), а
последний шаг — привязка к настоящему объекту (спектру КТП, гамильтониану простых,
решению Лерэ, (p,p)-классам, машине Тьюринга) — либо принимается декретом
первопричины под честно раскрытую цену, либо остаётся 🔴-входом.
Итог раздела. Программа не решает проблемы тысячелетия; она показывает, что все они — тени одного физического «нельзя», и предъявляет ровно ту часть, что от конкретного объекта не зависит.
Математика здесь оказывается термодинамикой, переписанной на языке
рангов: там, где физик говорит «даровой энергии не бывает», формалист доказывает
no_infinite_descent — и этого одного хватает, чтобы семь раз подойти вплотную к
границе познаваемого.
За семью ветвями идёт арифметический зоопарк (главы 44–48, всё 🟢): тот же манифестационный аппарат, проведённый через кузенов и секси Полиньяка, Софи Жермен, Гольдбаха, Лежандра, совершенные числа и числа Ферма. Полей декрета там не взято намеренно (§17): трилеммы пройдены, но честная граница требует ещё и ставки, за которую не стыдно.
Одна теорема выпала
зелёной и безусловной — жемчужина Эйлера–Лагранжа: простые Софи Жермен при p ≡ 3 (mod 4) делят
числа Мерсенна. А геометрия пути (глава 49) читает сам граф спуска как искривлённое
пространство-время: стрела времени, вычисленная кривизна, и нарушение второго постулата Евклида.
Восьмая задача тысячелетия — Бёрч–Свиннертон-Дайер (глава 53) — входит
иначе: здесь запрет двигателя не сторожит отклонение, а служит методом — бесконечный спуск Ферма
доказывает конечность ранга (Морделл–Вейль, на реальной кривой mathlib), а паритет ранга оказывается
тем же rank-parity узлом, что за Риманом. Аналитический же мост (rank = ord L) честно 🔴; границы не
добавлено (трилемма) — BSD таксу не увеличивает.
Полный свод этой мысли — где один запрет прочитан как возможная структура пространства-времени, вплоть до догадки о теории всего, — вынесен в заключительную коду (глава 50).