56. Первопричина Коллатца: декрет, который пал¶

← 55. Коллатц · Оглавление · 57. Канон вполне-фундированности →

Lean-источник: Engine/CollatzFirstCause.lean — теперь целиком зелёный: пост-мортем декрета плюс уцелевшая эпистемика, без импорта карантина, таинт не растёт. Зелёный фронт — Engine/CollatzTugOfWar.lean (глава 55), где выкован свидетель опровержения ropeLaw_universal_refuted. Историческая справка о снятом поле collatzBoundary — Engine/CausalClosureAxiom.lean §18. Эпистемический комплемент P/NP — Engine/PNPFirstCause.lean. Обозначения: 🟢 — доказано машинно (аксиомы указаны явно); 🟡 — AXIOM-TAINTED, условно на единственную аксиому репо step00FirstCause; 🔴 — открытый вход.

Где мы¶

В главе 55 Коллатц переведён на язык перетягивания каната и доведён до честной развилки: зелёная механика (бюджет окна, спуск при перевесе каната, ГЕРОЙ «закон ⟹ остановка») и один именованный 🔴-вход — универсальный закон доминирования каната.

Эта глава рассказывает не про статичную границу, а про её жизненный цикл. Мы приняли декрет — и через ту самую растяжку (намеренный детектор взрыва — см. словарь), что поставили заранее, увидели, как он падает. Порядок событий такой:

граница взята — закон каната стал четвёртым полем единственной аксиомы;
декрет раскрывает честную цену — доказана лишь одна стрелка, «возможно, переплачивает»;
универсальная форма закона опровергнута машинно (свидетель n = 27);
растяжка срабатывает — держать поле дальше значило бы сделать аксиому противоречивой;
поле снято — на тот момент у аксиомы остались три границы (твины, Риман, Навье–Стокс); позже Риман и Навье–Стокс тоже были отсоединены (Option A), и у декрета осталась одна граница — близнецы.

Оставался и второй, более глубокий вопрос: почему задача так упорно не решается — есть ли строгая причина, по которой ни доказать, ни опровергнуть Коллатца изнутри системы не удаётся? Этот ответ падение декрета переживает целиком: оба внутренних решения по-прежнему стоят вечного двигателя. Опровергнуть Коллатца — значит буквально построить вечный двигатель (теорема с подлинной конструкцией); самообосновать закон изнутри — пересечь собственную границу, что самоуничтожается. Единственный ключ к решению остался внешним: проверка.

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

История четвёртой границы: как декрет был взят и снят¶

Универсальный закон доминирования каната был принят декретом — не отдельной аксиомой, а новым полем единственной аксиомы репозитория step00FirstCause. На момент принятия структура выглядела так:

structure Step00FirstCause : Prop where          -- историческое состояние на момент принятия collatzBoundary
  origin, firstFrame          : True                       -- маркеры события 0 → 1
  causalBoundary              : …                           -- твин-узел (единственная живая граница сегодня)
  riemannBoundary             : RiemannManifestationLaw     -- Риман (§10); позже отсоединён (Option A)
  nsBoundary                  : NsSolutionBalanceLaw        -- Навье–Стокс (§15); позже отсоединён (Option A)
  collatzBoundary             : ∀ n ≥ 1, RopeCountingLaw n  -- Коллатц (§18) ← четвёртая, вскоре снята

Почему граница была взята¶

Знак эвристики был благоприятным — как у Римана и Навье–Стокса, потому граница и бралась (в отличие от Мерсенна §16, где знак инвертирован и поле откладывалось). Харнессы (RESULTS_collatz.md) показывали сжимающий двигатель: средний геометрический дрейф за шаг 0.864 < 1, баланс halvings/triplings = 2.016 против порога log₂3 = 1.585, поглощающее дно 1 → 2 → 1.

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

Честная цена, раскрытая сразу¶

Как и у Навье–Стокса (§15), цена раскрывалась в тот же момент, что и декрет. Доказана была только стрелка «граница ⟹ гипотеза»; обратная — неизвестна. Счётный закон мог оказаться строго сильнее гипотезы: бюджет окна односторонен, ⟺-формой обладал лишь ценностный закон («мост приговорённого»). Вывод записывался прямо: декрет, возможно, переплачивает.

Растяжки: детекторы, поставленные заранее¶

Вместе с полем в теорию клались две 🟡-растяжки — намеренные детекторы взрыва (обе удалены вместе с полем и потому названы здесь курсивом, как история, а не как живой код):

collatzQuarantine_inconsistent_if_law_refuted — опровержение закона ⟹ False ровно здесь;
collatzQuarantine_inconsistent_if_nonconvergence_exhibited — несходящаяся траектория ⟹ False здесь.

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

Опровержение и снятие¶

«Возможно, переплачивает» оказалось пророческим: декрет переплатил до лжи. Механику разбирает глава 55; коротко — для карабкающейся траектории n = 27 к единице ведёт 41 ход двигателя против 29 рывков каната, и ни одно окно от старта не даёт каната перевеса (хвост в цикле 1 → 2 → 1 дефицит не отыгрывает). Эвристика мерила суммарный баланс, а закон требовал перевеса в окне от каждой позиции — что карабкающиеся орбиты нарушают. Это машинно зафиксировано: not_ropeCountingLaw_27 🟢 и ropeLaw_universal_refuted 🟢 (ядро [propext, Quot.sound], свидетель n = 27).

Растяжка сработала ровно как задумано. collatzQuarantine_inconsistent_if_law_refuted показывала: держать поле дальше — сделать единственную аксиому противоречивой. Поэтому поле и растяжки покинули аксиому вместе — детектор и объект, который он сторожил, сняты одним движением. Сразу после снятия Step00FirstCause выглядела так (промежуточное историческое состояние — Риман и Навье–Стокс были отсоединены позже, Option A):

structure Step00FirstCause : Prop where          -- историческое состояние, сразу после снятия collatzBoundary
  origin, firstFrame  : True
  causalBoundary      : Step00CausalClosureAxiom
  riemannBoundary     : RiemannManifestationLaw   -- позже отсоединён (Option A)
  nsBoundary          : NsSolutionBalanceLaw      -- collatzBoundary снято; nsBoundary позже отсоединён (Option A)

Сегодня, после Option A, у единственной аксиомы осталась ровно одна граница — twin-узел causalBoundary; riemannBoundary и nsBoundary — мёртвый код в WITHDRAWN-блоках.

Примечание (что именно доказано). Опровергнута универсальная форма закона — ∀ n ≥ 1, RopeCountingLaw n. Это не опровержение гипотезы Коллатца: закон был строго сильнее её, и его падение говорит лишь, что таким декретом Коллатца не закрыть. Сама гипотеза — по-прежнему открыта.

Пост-мортем декрета собран одной зелёной сводкой, три её створки: (1) универсальный закон каната ложен (ropeLaw_universal_refuted) — декретная граница на нём невозможна; (2) per-n закон всё ещё влечёт остановку (reaches_one_of_countingLaw, условная механика жива); (3) опровержение самой гипотезы всё равно несёт вечный двигатель (nonHalting_carries_perpetual_engine).

Теорема 56.1 (collatz_decree_postmortem). 🟢 Три утверждения одновременно: (1) универсальный закон ложен, \(\neg\,\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\); (2) при законе орбита сходится, \(\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\Rightarrow \exists K,\ \mathrm{iter}\,K\,n = 1\); (3) всякая несходящаяся орбита несёт вечный хвост, \(\forall n,\ (\forall K,\ \mathrm{iter}\,K\,n\neq 1)\Rightarrow \exists j,\ \mathrm{NonDescendingOrbit}(\mathrm{iter}\,j\,n)\wedge \forall K,\ \mathrm{iter}\,K\,(\mathrm{iter}\,j\,n)\neq 1\).

Импликация, которая «возможно, переплачивала», уцелела как истинная и бесполезная: «универсальный закон ⟹ сходимость всюду» верна, но её посылка теперь машинно ложна, так что подать её универсально уже нельзя. Всё содержание переехало в per-n форму reaches_one_of_countingLaw.

Теорема 56.2 (ropeLaw_would_imply_collatz). 🟢 \(\bigl(\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\bigr) \Rightarrow \forall n\ge 1,\ \exists K,\ \mathrm{iter}\,K\,n = 1\). Импликация верна, но её посылка по Теореме 56.1 машинно ложна.

Вакуум и его отсутствующая щель¶

Ниже — сечения, которые падение декрета не тронуло: они были зелёными и остаются зелёными.

Внизу канатного мира лежит цикл 1 → 2 → 1 — поглощающее состояние, из которого нет выхода. Назовём его вакуумом: основное состояние динамики, её нижняя нота. vacuum_has_no_gap 🟢 (даже без Classical.choice): из вакуума не выйти никогда — iter d 1 ∈ {1, 2} для всех d.

Гипотеза утверждает, что вакуум один и всё в него падает. Опровергнуть её — значит предъявить щель в вакууме: второе дно, другой цикл, орбиту, живущую вечно и не касающуюся основного состояния. Сколько стоит такая щель?

Минимум орбиты и хвост-двигатель¶

Ответ добывается одним взглядом на минимум. exists_min_position 🟢 (стандартная тройка): у всякой орбиты есть позиция глобального минимума значения — натуральный ряд вполне упорядочен.

Единственная неконструктивность — сам выбор «есть ли меньшее» (здесь работает Classical.em), и мы раскрываем это честно: узнать позицию минимума, не пройдя орбиту, нельзя; но существует она безусловно.

Хвост орбиты от минимума никогда не опускается ниже своего старта — а это в точности вечный двигатель из [главы 55]: неубывающая орбита, которая (по nonDescendingOrbit_is_perpetual_engine) не проигрывает канату ни одного окна и никогда не останавливается.

nonHalting_carries_perpetual_engine 🟢 (центральная). Если орбита никогда не достигает 1, то её хвост от позиции минимума — неубывающая, никогда не останавливающаяся орбита. Конструкция подлинная, не через противоречие: хвост предъявляется явно. Прочитаем вслух: всякий контрпример Коллатца несёт в себе вечный двигатель. Щель в вакууме стоит ровно вечного двигателя.

Вывод. Гипотеза Коллатца не похожа на утверждение о невозможности вечного двигателя — она им является, дословно, для карты T: орбита достигает 1 ⟺ у неё нет вечного хвоста.

Нарратив: вечное извлечение информации, которого не бывает¶

Здесь — стержень главы, и он объясняет девяносто лет нерешённости одним физическим «нельзя». Заметим: всё это доказывалось без декрета и падение декрета переживает целиком.

Коллатц — это вечное извлечение информации. Контрпример — орбита, вечно живущая выше своего дна и не падающая в вакуум, — это машина, которая бесконечно черпает: не проигрывает канату ни одного окна, вечно движется, не отдавая себя циклу (nonHalting_carries_perpetual_engine).

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

Бесконечное извлечение информации невозможно. Определим внутреннее самообоснование основания закона: конструкцию, несущую сам закон И свидетельство, что он выведен изнутри — пересекая собственную границу.

Определение 56.3 (InternalisedCollatzGround). Структура с двумя полями: ground — сам закон \(\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\); beyondOwnHorizon — свидетельство пересечения границы, \(\neg\,\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\). Сокращение InternalKnowledgeOfCollatzCause отождествляет «внутреннее знание причины» с этим самообоснованием.

Как у близнецов, форма честно тавтологична («доказать P, пересекая границу P» сворачивается в \(P\wedge\neg P\)); содержательно — отождествление: попытка внутреннего обоснования и есть уже сожжённая двигательная конструкция. Формально самообоснование самоуничтожается по форме — no_internalisedCollatzGround — и это даёт непознаваемость первопричины.

Теорема 56.4 (collatzCause_unknowable). 🟢 (вообще без аксиом) \(\neg\,\mathrm{InternalKnowledgeOfCollatzCause}\): внутреннее знание первопричины Коллатца невозможно. Доказательство — прямое: два поля Определения 56.3 противоречат друг другу, \(\texttt{beyondOwnHorizon}\ \texttt{ground} : \mathrm{False}\).

И после падения декрета — сильнее.

Теорема 56.5 (internalGround_impossible_a_fortiori). 🟢 \(\mathrm{InternalisedCollatzGround}\Rightarrow \mathrm{False}\), но уже по содержанию: поле ground опровергается напрямую (ropeLaw_universal_refuted), а не через самоуничтожение формы. Непознаваемость держится вдвойне — и как невозможная форма (Теорема 56.4), и как ложное содержание.

Это тот же закон, что запрещает вечный двигатель на ℕ (no_infinite_descent) и что в основной программе принимает вид «знание изнутри стоит бесконечной энергии» (барьер конечного знания, Engine/FiniteKnowledgeBarrier, глава 33; читается по Ландауэру — знание физично, и извлечь причину изнутри значило бы нарушить тот же баланс, что запрещает двигатель).

Поэтому двигатель «вечен» — как объект, неустранимый изнутри. Раз гипотеза отождествлена с «вечного двигателя нет», а внутреннее знание причины невозможно, то ровно вечный двигатель и остаётся тем, что нельзя ни предъявить, ни исключить внутренним выводом: если контрпример есть — он подлинно вечен; а доказать, что его нет, изнутри нельзя.

Значит — только проверка.

Теорема 56.6 (unknowable_or_collatz_fails). 🟢 Содержательная дихотомия (без ex falso в формулировке): \(\neg\,\mathrm{InternalKnowledgeOfCollatzCause}\ \vee\ \exists n\ge 1,\ \forall K,\ \mathrm{iter}\,K\,n\neq 1\) — либо причина непознаваема, либо Коллатц ложен. Доказан левый дизъюнкт (Теорема 56.4). Правый обнаруживается не выводом, а проверкой — предъявлением конкретной несходящейся орбиты. Всё это собрано в одной зелёной теореме, машинно кодирующей нарратив:

Теорема 56.7 (collatz_verification_not_derivation). 🟢 Конъюнкция трёх звеньев одним утверждением: 1. бесконечное внутреннее извлечение закона каната невозможно, \(\neg\,\mathrm{InternalKnowledgeOfCollatzCause}\) (Теорема 56.4); 2. поэтому единственный внутренний след контрпримера — вечный двигатель (nonHalting_carries_perpetual_engine); 3. значит решение — либо непознаваемо изнутри, либо доступно лишь проверкой орбиты (Теорема 56.6).

И проверка находит-или-не-находит ровно настолько, насколько далеко мы смотрим. Харнессы (RESULTS_collatz.md) — это и есть «как далеко»: n ∈ [2, 200000], страж расходимости на 100000 шагах. В этом окне контрпримеров нет; но никакое конечное окно не может доказать универсальный закон — оно может лишь не найти опровержения на своём горизонте. (И — уже знаем — в пределе универсальная форма закона каната всё же ложна: не потому, что орбита расходится, а потому что закон требовал большего, чем верно. Проверка сходимости и проверка закона — не одно и то же.)

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

Сводка: решение заперто за двигателем¶

Теорема 56.8 (collatz_no_internal_decision_without_engine). 🟢 (зелёная, без аксиомы) Конъюнкция трёх створок: (1) опровергнуть = построить вечный двигатель — \(\forall n,\ (\forall K,\ \mathrm{iter}\,K\,n\neq 1) \Rightarrow \exists j,\ \mathrm{NonDescendingOrbit}(\mathrm{iter}\,j\,n)\wedge\forall K,\ \mathrm{iter}\,K\,(\mathrm{iter}\,j\,n)\neq 1\) (подлинная конструкция); (2) доказать изнутри = самообосноваться — \(\mathrm{InternalisedCollatzGround}\Rightarrow\mathrm{False}\), самоуничтожается; (3) per-n закон каната влёк бы остановку per-n — \(\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n) \Rightarrow\exists K,\ \mathrm{iter}\,K\,n = 1\). Но универсальной подачи больше нет: универсальный закон опровергнут (Теорема 56.1), декретная дверь закрыта кованым свидетелем.

Теорема 56.9 (collatz_open_status). 🟢 Итоговый эпистемический статус Коллатца после падения декрета (зеркало pnp_locked_behind_engine_status, но уже без декрет-конъюнкта) — конъюнкция четырёх: \(\neg\,\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\) (универсальный закон опровергнут, теорема) \(\wedge\) \(\neg\,\mathrm{InternalKnowledgeOfCollatzCause}\) (внутреннее знание невозможно, теорема) \(\wedge\) \(\bigl(\forall n\ge 1,\ \mathrm{RopeCountingLaw}(n)\Rightarrow\exists K,\ \mathrm{iter}\,K\,n = 1\bigr)\) (per-n закон влечёт остановку, условно) \(\wedge\) \(\bigl(\forall n,\ (\forall K,\ \mathrm{iter}\,K\,n\neq 1) \Rightarrow\exists j,\ \mathrm{NonDescendingOrbit}(\mathrm{iter}\,j\,n)\wedge\forall K,\ \mathrm{iter}\,K\,(\mathrm{iter}\,j\,n)\neq 1\bigr)\) (опровержение гипотезы строило бы вечный двигатель, теорема).

Примечание (что мы не утверждаем). Это не гёделевская независимость: мы не доказали, что Коллатц недоказуем в арифметике Пеано. Доказано другое, внутри нашей системы и строго: оба пути внутреннего решения — опровержение и самообоснование — упираются в один и тот же запрещённый объект, а декретный третий путь машинно закрыт (ropeLaw_universal_refuted). Гипотеза Коллатца остаётся открытой 🔴.

P/NP за тем же горизонтом¶

У этой стены есть второй склон, и он падает не в Коллатца, а в P/NP. Проверяющая машина там — не метафора: это буквально чистый компьютер на конечном топливе со строгими правилами. В репозитории она собрана как RankedForwardGraph — правила суть её Step, топливо суть lexRank, закон расхода топлива суть RankFastTraversal, — и запущена из произвольной, «случайной» изначальной позиции (5-адическая цепь при A ≤ 4). Это ровно та «система со случайными изначальными, но строгими правилами», о которой шла речь (глава 39, машина ранго-оплаты).

Решить P/NP изнутри значит оплатить одним конечным ключом, инъективно, каждый сертификат неограниченной поставки — FullRankCertificatePayment для UnboundedCertificateSupply (поставка — бесконечная допустимая семья сертификатов, которой отклонение расплачивается; см. словарь). Это то же противоречие вечного двигателя, что у Коллатца, слово в слово переведённое: «непадающий хвост = двигатель» становится «полная оплата неограниченной поставки = двигатель».

Оба гибнут об одну стену вполне-фундированности — пижонхол: нет инъекции бесконечного индекса в конечный ключ, а значит нет ℕ-спуска.

Это зафиксировано зелёными теоремами Engine/PNPFirstCause: no_internalisedPNPGround, pnpCause_unknowable («узнать нельзя изнутри» — не лозунг, а теорема) и internalPNPDecision_carries_perpetual_engine, где внутреннее решение и вечный двигатель на ℕ сведены в одну стену через no_perpetual_engine_on_nat. Сводки — pnp_no_internal_decision_without_engine и pnp_locked_behind_engine_status.

Горизонт событий читается здесь особенно наглядно. Конечное топливо машины (её ранговый бюджет) и есть её горизонт событий; решение, которому нужно дотянуться за него — оплатить неограниченную поставку, — изнутри недостижимо. Ответ доступен только проверкой и находится ровно настолько далеко, насколько достаёт конечнотопливный взгляд. Оттого P/NP становится недоказуемым-изнутри в том же самом смысле, в каком причина Коллатца непознаваема, — «насколько достаёт взгляд» тут не оборот речи, а край бюджета.

Скажем прямо, чего здесь нет. Это не доказательство классического P≠NP: фрейм-слой пластичен (allPFrame/constantsFrame), и о настоящем P/NP из него не следует ничего. И это не Гёдель — не теорема о неполноте и не неподвижная точка, а пижонхол-самоуничтожение.

И вот отличие, которое падение декрета переписало: раньше у P/NP декрет-границы не было, а у Коллатца была. Теперь её нет ни у одного — обе трилеммы, обязательные проверки кандидата в границы, закрыты машинно. У P/NP она расколота (pnpLawUniversal_refuted, pnpLawExistential_green доказали, что честного третьего поля step00FirstCause не существует); у Коллатца — только что закрыта кованым опровержением ropeLaw_universal_refuted (декрет взят и снят).

Поэтому весь этот результат зелёный, не добавляет ни одной аксиомы, и таинт репозитория не растёт (он равен 16, все декларации про близнецов; снятие коллатцевской границы его не изменило). Всё держится при A ≤ 4.

Итог раздела. Так замыкается тот же запрет, прочитанный теперь сквозь конечнотопливный верификатор: машина, которая проверяет любую гипотезу, сама есть тот объект, который она не может превзойти.

Философское отступление: декрет, который пал честно¶

У этой главы прямой физический двойник — устойчивость основного состояния. Вакуум квантовой теории — не «ничего», а нижнее состояние энергии; вся устойчивость мира держится на том, что ниже вакуума опуститься нельзя. Найти «щель в вакууме» — состояние под основным — значило бы обрушить всё: из такой щели можно было бы черпать энергию бесконечно, это и есть вечный двигатель. Физика запрещает его не постановлением, а самой структурой спектра: дно есть, и оно одно.

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

И вот куда это ставит Коллатца. Он больше не «задача с честным декретом», а задача с закрытой трилеммой — рядом с Янг–Миллсом (глава 40), где универсальный кандидат тоже пал от кованого опровержения. Ни там, ни здесь декрет невозможен: не потому, что мы не нашли, как его подать, а потому, что подать его — значит подать ложь, и машина это видит.

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

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

Коллатц завершает свою маску иначе, чем начинал. Он входил в неё зеркалом первопричины (гл. 33), Римана (38) и Мерсенна (43): зелёная невозможность двигателя изнутри плюс внешняя граница, принятая декретом под честно раскрытую цену. А выходит — с той же зелёной невозможностью, но без границы: декрет взят и снят, трилемма закрыта кованым опровержением, как у Янг–Миллса.

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

← 55. Коллатц · Оглавление · 57. Канон вполне-фундированности →