Метаорганон. Закон недопустимого переноса

Метаорганон. Закон недопустимого переноса

 ********
В.К. Петросян (Вадимир). Метатеорема Ферма и ее следствия. В 3-х томах. Том 1.  http://proza.ru/2026/10/02/665


Том I. История доказательства и границы математического переноса
*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol
*********


Гармоническая логика

В предыдущих частях Закон недопустимого переноса был сформулирован как средство аудита математических доказательств, использующих смену объектов, языков и предметных областей. Но если ЗНП действительно выражает не частный урок истории Последней теоремы Ферма, а общий принцип организации математического рассуждения, он должен быть включён в более широкую систему. Такой системой в настоящей работе называется Метаорганон.

Под Метаорганоном здесь понимается не новая формальная логика, предназначенная заменить классическую логику, теорию моделей, теорию доказательств или существующие основания математики. Его задача иная. Классическая логика отвечает на вопрос, каким образом из одних корректно сформулированных высказываний следуют другие. Метаорганон рассматривает более ранний уровень: каким образом математик получает право считать высказывание в одном представлении корректным носителем доказательного содержания высказывания в другом представлении.

Эта проблема возникает каждый раз, когда математический объект меняет форму.

Целое число заменяется остатком.

Группа — фактор-группой.

Геометрический объект — координатами.

Диофантово уравнение — алгебраической кривой.

Кривая — представлением Галуа.

Представление — деформационным кольцом.

Бесконечное семейство объектов — конечной системой типов.

Во всех этих случаях классическая логика вступает в действие уже после того, как решён предыдущий вопрос: какие свойства исходного объекта законно читать по его новому представлению?

Именно этот предшествующий уровень и составляет область Гармонической логики.

Термин «гармоническая» означает здесь не сходство объектов и не эстетическую согласованность. Два представления могут быть совершенно непохожи. Гармония означает сохранение той доказательной функции, ради которой переход вообще был осуществлён.

Следовательно, центральный вопрос Гармонической логики имеет форму:

что должно пережить изменение математического представления, чтобы доказательство сохранило право говорить об исходном объекте?

1. Логика математических преобразований
Обычное математическое доказательство редко работает с одним неизменным объектом от первой строки до последней. Гораздо чаще оно представляет собой сеть преобразований.

Имеется исходная область A и объект a.

Затем строится его представление в области B.

Позднее представление само становится входом следующей конструкции в C.

В длинных доказательствах возникает цепочка

A; ; A; ; A; ; … ; A_r.

Но сама последовательность объектов ещё не является доказательством.

Если исходный объект a обладает свойством P, а после преобразования T используется свойство Q образа T(a), необходимо отдельно установить связь

P(a) ; Q(T(a)).

Само существование T этого не гарантирует.

Именно здесь Гармоническая логика отделяется от простой теории отображений.

Отображение отвечает на вопрос:

куда перешёл объект?

Семантический сертификат отвечает:

что из его доказательно значимого содержания перешло вместе с ним?

Поэтому базовой единицей анализа должен быть не один оператор T, а более богатая конструкция:

объектный перенос + семантический сертификат.

В условной записи это можно представить парой

; = (T, ;),

где T строит новый объект, а ; удостоверяет требуемый перенос свойства.

В более развёрнутом виде:

(A, P) ; (B, Q),

причём переход сопровождается доказательством ;, устанавливающим необходимое отношение между P и Q.

Это принципиальная мысль исходной версии главы: без ; имеется математическое представление; с ; возникает доказательный перенос. ТФМ — Том1 — Часть 9 и ниже

Но сильный ЗНП требует теперь добавить ещё одну компоненту.

Даже доказанная связь P ; Q не всегда завершает аудит. Необходимо установить, почему именно Q является доказательно релевантным образом P относительно конечной цели G.

Следовательно, полная единица Гармонической логики должна учитывать уже не только T и ;, но и доказательную цель.

Условно:

(A, P, G) ; (B, Q, G).

Перенос считается гармоническим не тогда, когда Q просто истинно следует из P, а тогда, когда Q сохраняет ту функцию P, которая необходима для достижения G.

Это различие особенно существенно при селективных представлениях.

Из одного исходного объекта можно вывести тысячи истинных свойств его образа.

Но только некоторые из них имеют отношение к конкретной доказательной задаче.

Поэтому Гармоническая логика рассматривает не произвольную истинность после преобразования, а целезависимую доказательную трансформацию.

Отсюда возникает различие двух уровней рассуждения.

Первый — объектная логика.

Она работает внутри фиксированной системы. Если два условия противоречат друг другу, классическая логика фиксирует противоречие.

Второй — логика представлений.

Она спрашивает, имеем ли мы право считать условие в новой системе корректным представителем исходного условия.

Именно второй уровень является областью Метаорганона.

Это не надстройка, отменяющая первый уровень.

Напротив, классическая логика остаётся неизменной.

Если P ; Q и P истинно, Q следует.

Если P ; Q и Q ложно, получаем отрицание P.

Гармоническая логика задаёт вопрос раньше:

действительно ли после всех произведённых преобразований мы имеем право записать именно эту импликацию и именно в этом доказательном смысле?

Для коротких и прозрачных переходов ответ может быть почти тривиален.

Для длинных межтеоретических цепочек он становится самостоятельной задачей.

Поэтому сложное доказательство следует рассматривать не как линейную колонку формул, а как сеть преобразований:

(P;, A;) ; (P;, A;) ; … ; (P_r, A_r) ; G.

Каждое ребро должно отвечать по крайней мере на три вопроса:

что изменилось в объекте;

какое свойство стало носителем доказательного содержания;

почему это свойство остаётся релевантным конечной цели.

Так возникает понятие гармонического пути.

Гармоническим называется такой путь через систему представлений, на котором сохраняется не буквальный объект, а непрерывная доказательная функция исходного утверждения.

При этом A; и A_r могут быть совершенно различными математическими сущностями.

Гармония не означает изоморфизм.

Гармония не означает сходство.

Гармония означает сохранённую доказательную идентичность.

2. Семантическая инвариантность
Центральным понятием Гармонической логики является семантическая инвариантность.

Но здесь необходимо сразу отказаться от чрезмерно сильного понимания.

Семантическая инвариантность не означает сохранения всей информации объекта.

Она не означает, что исходный и целевой объекты эквивалентны во всех отношениях.

Она не означает существования обратного отображения.

И тем более она не требует, чтобы объект после переноса оставался тем же самым математическим типом.

Речь идёт о сохранении доказательно необходимой функции структуры.

Простейший пример даёт редукция целого числа по модулю m.

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

Но относительно вопроса «делится ли x на m?» оно совершенно достаточно. Свойство делимости полностью читается по нулевому остатку.

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

Отсюда следует важный принцип:

семантическая инвариантность всегда относительна к свойству и доказательной цели.

Нельзя содержательно сказать:

«T сохраняет семантику».

Нужно спрашивать:

какую семантику?

относительно какого свойства?

для какой цели?

Исходная версия вводила идею множества свойств, необходимых для цели G, и называла его семантическим ядром. ТФМ — Том1 — Часть 9 и ниже Эта идея должна стать центральной.

Пусть Core_G(A) обозначает совокупность различий и свойств исходного объекта A, без которых доказательный путь к G теряет свою функцию.

Тогда переход T допустим не потому, что сохраняет «много информации», а потому, что сохраняет достаточно информации для воспроизведения Core_G в целевой области.

Здесь полезно различать несколько режимов.

Полная структурная инвариантность
Сохраняется вся выбранная сигнатура объекта. Это наиболее сильный случай, близкий к изоморфному представлению.

Эквивалентная инвариантность свойства
Исходное и целевое свойства взаимно определяют друг друга относительно рассматриваемого класса.

Ориентированная инвариантность
Исходное свойство гарантирует целевое, но обратное восстановление не требуется.

Именно этот режим необходим во многих доказательствах от противного.

Функциональная инвариантность
Исходное свойство может вообще не иметь похожей синтаксической формы в новой теории, но целевое свойство выполняет ту же доказательную функцию.

Это особенно важно в глубокой математике.

Делимость может превратиться в условие рамфикации.

Геометрическое свойство — в алгебраический инвариант.

Локальная структура кривой — в свойство представления.

Внешний вид меняется, но определённая доказательная функция сохраняется.

Именно такую сохранность будем называть функциональным семантическим инвариантом.

Но сильный ЗНП требует дополнить это понятие ещё одним условием.

Недостаточно показать, что P переходит в Q.

Необходимо удостоверить, что потерянные различия не способны изменить отношение Q к конечной цели G.

Поэтому семантическая инвариантность имеет две стороны.

Первая — положительная:

что сохранено?

Вторая — отрицательная:

что потеряно и почему это потерянное не нужно?

Без второй стороны утверждение об инвариантности неполно.

Именно здесь появляется понятие семантической насыщенности.

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

Такое состояние позволяет законно перейти от объектов к классам, типам и фактор-структурам.

Именно поэтому семантическая насыщенность является необходимой предпосылкой будущих TailTypes, ExponentTypes, RelationTypes и MetaTypes.

Типизация допустима только тогда, когда различия внутри типа доказательно нейтральны относительно всех применяемых фильтров.

Если это не установлено, тип является удобной классификацией, но не доказательным фактор-объектом.

Здесь становится видна связь ЗНП с будущим Законом условного тождества.

ЗНП спрашивает:

что нельзя потерять?

ЗУТ будет спрашивать:

что уже можно забыть?

Гармоническая логика возникает между этими двумя операциями.

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

3. Релевантность
Понятие релевантности необходимо выделить в самостоятельный раздел, потому что именно без него сильный ЗНП снова скатился бы к старой формуле «если стрелка доказана, перенос допустим».

Но математическая истинность связи и доказательная релевантность связи — не одно и то же.

Пусть из P(a) действительно следует Q(T(a)).

Это устанавливает истинную импликацию.

Но для конкретной доказательной цели G остаются дополнительные вопросы:

почему выбрано именно Q;

какую функцию P оно сохраняет;

достаточно ли оно для дальнейшего пути;

не потеряно ли одновременно другое свойство R, без которого конечный вывод уже относится не ко всему исходному классу;

не определяется ли релевантность Q только тем, что следующая теория умеет работать именно с Q?

Последний вопрос особенно важен.

Возникает опасность аппаратно обусловленной релевантности.

Теория B умеет видеть свойства Q;, Q;, Q;.

Поэтому после перехода именно они начинают считаться «существенными».

Свойства P;, P;, P;, плохо представимые в B, исчезают из дальнейшего рассуждения.

Затем факт успешной работы B используется как подтверждение того, что исчезнувшее действительно было несущественно.

Получается круг.

Аппарат выбирает видимую структуру.

Видимая структура обеспечивает работу аппарата.

Работа аппарата объявляется доказательством полноты выбранной структуры.

Гармоническая логика должна этот круг запрещать.

Поэтому вводится принцип независимой релевантности:

доказательная релевантность сохраняемого свойства должна устанавливаться относительно исходной цели, а не выводиться из того, что целевая теория умеет с этим свойством работать.

Именно здесь находится отличие сильной Гармонической логики от простой теории корректных импликаций.

Релевантность можно понимать через доказательную различимость.

Пусть два исходных объекта a; и a; после перехода T получают один и тот же образ.

Если они различаются по свойству, способному изменить отношение к G, такое слияние недопустимо.

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

Следовательно, T должно иметь достаточную доказательную разрешающую способность.

Представление не обязано различать всё.

Но оно обязано различать всё, что может изменить доказательный исход.

Именно это даёт строгий смысл выражению «доказательно релевантная семантика».

Можно сформулировать ещё один принцип:

релевантность — это не количество сохранённой информации, а достаточная разрешающая способность относительно цели.

Богатая теория может хранить огромное количество новой информации и при этом иметь слабую разрешающую способность относительно исходного вопроса.

Бедная конечная проекция может хранить очень мало информации и оказаться полностью достаточной для одного конкретного вывода.

Поэтому объём целевой теории не является мерой релевантности.

Глубина целевой теории не является мерой релевантности.

Количество истинных теорем в ней не является мерой релевантности.

Релевантность определяется только отношением к доказательной цели.

Отсюда возникает ещё один запрет Гармонической логики — запрет ретроактивной релевантности.

Свойство, возникшее только в целевой теории, не получает доказательной силы относительно исходного объекта просто потому, что оказалось глубоким, универсальным или истинным.

Его доказательная власть должна быть прослежена назад через сертифицированный мост.

Это особенно важно в длинных межтеоретических доказательствах.

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

Следовательно:

релевантность должна течь через доказательство вместе с референцией; она не может возникнуть задним числом из богатства целевой теории.

4. Допустимые и недопустимые переходы
Теперь Гармоническая логика может дать рабочую классификацию переходов.

Исходная версия уже различала эквивалентные, односторонне достаточные, открытые и дисгармонические переходы. ТФМ — Том1 — Часть 9 и ниже После глав 24–27 эта классификация должна быть согласована с более сильной шестичленной системой переносов.

Допустимый переход
Переход допустим относительно цели G, если одновременно выполнены следующие условия:

объектное преобразование корректно определено;

исходное доказательно значимое свойство указано;

его целевой образ указан;

доказана необходимая связь между ними;

выполнены все условия применимости;

информационные потери объявлены;

доказана нерелевантность существенных потерь;

сохраняется референциальная связь с исходным предметом;

из целевого свойства существует сертифицированный дальнейший путь к G;

при включении перехода в композицию сохраняется его доказательная функция.

Именно совокупность этих условий образует гармонический переход в сильном смысле.

Тождественно-гармонический переход
Здесь сохраняется вся доказательно релевантная различимость относительно цели.

Образ может отличаться синтаксически, но для G он является полным заместителем исходного объекта.

Семантически достаточный переход
Некоторая информация теряется, но доказано, что сохранённого достаточно для конкретного вывода.

Полная обратимость не требуется.

Однако требуется доказательная насыщенность относительно цели.

Селективный переход
Перенос сохраняет специальную сигнатуру.

Он допустим как представление, но ещё не автоматически достаточен как завершённый доказательный мост.

Необходим дополнительный сертификат полноты выбранной сигнатуры относительно цели.

Неполный переход
Часть требуемой связи установлена, но доказательная цепочка ещё не замкнута.

Такой переход законен как гипотеза, эвристика или исследовательская конструкция, но не как завершённое основание финального вывода.

Недопустимый переход
Необходимое свойство используется после преобразования без достаточного сертификата либо потеря доказательно значимой структуры объявляется нейтральной без обоснования.

Классический случай — перенос свойства уникальной факторизации элементов в область, где оно не установлено.

Но сильный ЗНП добавляет и другие формы: необоснованное расширение области квантификации, молчаливую информационную потерю, разрыв референции, несертифицированную композицию, подмену доказательного свойства свойством целевой теории.

Паралогический переход
Это уже не просто локальная ошибка.

Паралогический статус возникает, когда переход или цепочка переходов формально выглядит доказательно организованной, но использует скрытую подмену релевантности, предмета или доказательного адреса.

Особенно важны несколько типичных форм дисгармонии.

Локально-глобальный диссонанс.

Локальная разрешимость не даёт глобальной без отдельного принципа перехода.

Вероятностный диссонанс.

Сильная фильтрация двумя условиями не позволяет перемножать доли выживших без независимости.

Асимптотический диссонанс.

Плотность, стремящаяся к нулю, не равна пустоте множества.

Вычислительный диссонанс.

Проверка конечного диапазона не является универсальной теоремой.

Типологический диссонанс.

Невозможность всех обнаруженных типов не доказывает невозможность всех типов без теоремы полноты классификации.

Композиционный диссонанс.

Локальная допустимость нескольких переносов ещё не освобождает от проверки того, что их композиция сохраняет исходную доказательную функцию.

Последний случай требует особенно серьёзного уточнения по сравнению с исходным текстом.

В обычной логике истинные импликации композируются.

Это бесспорно.

Если P ; Q и Q ; R, то P ; R.

Но сильная Гармоническая логика рассматривает не только пропозициональную композицию, а композицию представлений с информационной потерей.

Поэтому необходимо различать:

логическую композицию импликаций;

и композиционную сохранность доказательной семантики.

Первая следует из правил логики.

Вторая является дополнительным условием ЗНП.

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

5. Паралогические доказательные системы
Теперь можно сформулировать одно из центральных понятий Метаорганона.

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

Это определение требует нескольких уточнений.

Паралогическая система не обязательно содержит ложную теорему.

Не обязательно содержит арифметическую ошибку.

Не обязательно нарушает modus ponens.

Не обязательно пользуется недоказанной леммой.

Именно поэтому паралогизм значительно труднее обычной ошибки.

Он может возникать на уровне архитектуры.

Все кирпичи правильны.

Проблема — в том, что из них построено не то здание, адрес которого стоял в первоначальном проекте.

Основными признаками паралогической доказательной системы являются следующие.

1. Исчезновение исходного предмета
Объект, относительно которого было сформулировано утверждение, перестаёт участвовать в рабочем аппарате и сохраняется только как история происхождения.

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

3. Автономизация целевой теории
Новая теория начинает решать преимущественно собственные задачи, а её внутренние свойства приобретают доказательный вес относительно исходной задачи без отдельного обратного сертификата.

4. Ретроактивная релевантность
Поскольку целевая теория оказалась успешной, её язык начинают воспринимать как доказательство того, что именно видимые им свойства были исходно существенными.

5. Референциальное рассеяние
Конкретный исходный объект растворяется в универсальных классах, пространствах деформаций, фактор-структурах или типах, и его доказательный адрес сохраняется всё менее непосредственно.

6. Накопление семантического долга
Каждый слой создаёт новые обязательства быстрее, чем предыдущие обязательства погашаются.

7. Компенсаторное разрастание
Обнаруженный дефект исправляется добавлением нового уровня, который сам требует следующего уровня.

8. Формальный возврат без доказательного возврата
Финальная контрапозиция или отрицание исходного предположения существует, но отсутствует отдельное обоснование того, что по всей цепочке сохранялся один и тот же доказательно релевантный адрес.

Именно совокупность таких признаков образует паралогическую архитектуру.

Особенно важно подчеркнуть: термин «паралогический» в Метаорганоне не должен использоваться как риторический синоним слова «ложный».

Это технический метаметодологический статус.

Он означает:

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

Такое определение позволяет применить Метаорганон симметрично.

Он должен проверять не только Уайлса.

Он должен проверять TailTypes.

MetaTypes.

TF-Sieve.

Collapse Function.

Метаиндукцию.

Любую новую систему.

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

Если огромный вычислительный эксперимент покажет отсутствие новых типов, а мы превратим стабилизацию в теорему о полноте, это будет паралогический перенос.

Если плотность выживших типов устремится к нулю, а мы объявим пространство пустым, это будет паралогический вывод.

Если два объекта объединены в MetaType, но фильтр различает их внутри типа, нарушен Закон условного тождества.

Если геометрический образ начинает диктовать свойства исходных чисел, которые не были доказательно перенесены, нарушен ЗНП.

Именно поэтому Метаорганон имеет смысл только как самоприменимый закон.

Он не является критическим оружием против определённой школы математики.

Он является дисциплиной собственных преобразований.

В этом смысле Гармоническая логика должна контролировать по крайней мере четыре фундаментальные операции математического мышления:

перенос — переход от объекта к представлению;

сжатие — от множества объектов к классу или типу;

композицию — соединение нескольких представлений в доказательный путь;

возврат — применение результата удалённой теории к исходной доказательной цели.

Для каждой операции должен существовать свой сертификат.

Перенос требует сертификата свойства.

Сжатие — сертификата несущественности отброшенных различий.

Композиция — сертификата сохранения доказательной функции по всей цепи.

Возврат — сертификата исходного адреса.

Так постепенно становится видна структура Метаорганона.

Классическая логика говорит:

из P и P ; Q следует Q.

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

почему после всех преобразований объекта Q всё ещё является тем Q, которое имеет право участвовать в доказательстве исходного P?

ЗНП отвечает отрицательно:

не переноси доказательную силу туда, где её сохранение не сертифицировано.

Закон условного тождества, который будет рассмотрен далее, даст положительный регулятор:

не сохраняй различия, доказательно несущественные относительно цели.

Между ними возникает фундаментальное напряжение математической абстракции.

С одной стороны:

не потерять существенное.

С другой:

не тащить через всё доказательство лишнее.

С одной стороны:

не отождествить слишком рано.

С другой:

не различать бесконечно то, что уже доказательно эквивалентно.

С одной стороны:

защитить референцию.

С другой:

дать математике свободу сжатия.

Именно этот баланс и получает название Гармонической логики.

Её предельная задача может быть сформулирована одной фразой:

изменять форму математического объекта настолько свободно, насколько позволяет доказательство, но не свободнее.

*********

Закон условного тождества и Закон недопустимого переноса

Гармоническая логика строится на напряжении между двумя фундаментальными действиями математического мышления.

Первое действие — различать.

Второе — отождествлять.

Без различения невозможна строгость. Если математик не замечает, что два объекта различаются по свойству, существенному для доказательства, он рискует перенести на один объект то, что доказано только для другого.

Но без отождествления невозможна абстракция. Если математик обязан сохранять абсолютно все различия между объектами, он не может строить классы эквивалентности, фактор-структуры, типы, инварианты, модели и вообще значительную часть современной математики.

Поэтому одного Закона недопустимого переноса недостаточно.

Если ЗНП использовать в максимально консервативной форме, он способен парализовать математическое мышление. Любое сжатие объекта можно было бы подозревать в утрате информации; любое объединение объектов — в незаконном отождествлении; любой фактор — в семантической редукции.

Нужен противоположный закон.

Так возникает Закон условного тождества — ЗУТ.

Его сильная формулировка может быть дана так:

Математически различные объекты допустимо считать тождественными относительно конкретной доказательной цели тогда и только тогда, когда доказано, что все различия между ними, способные повлиять на эту цель, либо отсутствуют, либо сохранены в эквивалентной доказательной форме.

ЗНП говорит:

не уничтожай различие раньше, чем доказана его нерелевантность.

ЗУТ говорит:

не сохраняй различие после того, как доказана его нерелевантность.

Первый закон защищает математическую семантику от чрезмерного сжатия.

Второй защищает математику от невозможности сжатия вообще.

Между ними и проходит граница правомерной абстракции.

1. Два противоположных регулятора
Вся математика непрерывно движется между двумя полюсами.

С одной стороны, она различает объекты.

Числа различаются по величине.

Группы — по структуре.

Кольца — по факторизации.

Кривые — по инвариантам.

Представления — по рамфикации.

Диофантовы системы — по локальным и глобальным свойствам.

С другой стороны, она систематически уничтожает различия.

Все целые одного класса вычетов рассматриваются как один элемент фактор-кольца.

Изоморфные группы часто рассматриваются как один структурный тип.

Координатно разные геометрические объекты могут быть эквивалентны относительно инварианта.

Бесконечное множество чисел может быть заменено конечным множеством типов поведения.

Математическая сила возникает именно благодаря способности правильно решить, какие различия необходимо сохранить, а какие можно отбросить.

Опасность чрезмерного отождествления
Пусть объекты a и b обладают некоторыми похожими свойствами.

Из сходства возникает соблазн использовать один вместо другого.

Но сходство само по себе не создаёт доказательного права.

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

Именно одно различие оказалось критическим.

Следовательно:

структурное сходство не тождественно доказательной эквивалентности.

Можно совпадать по ста свойствам и различаться по одному.

Если именно это одно свойство определяет доказательный вывод, объекты нельзя отождествлять относительно данной цели.

Опасность чрезмерного различения
Теперь противоположный случай.

Пусть имеются тысячи конкретно различных объектов.

Но все дальнейшие операции используют только конечный набор инвариантов I;, …, I_r.

Если все объекты имеют одинаковые значения этих инвариантов и доказано, что никакое другое различие в дальнейшем не используется, постоянное сохранение их индивидуальности становится доказательно избыточным.

Тогда возникает право перейти от объекта к классу.

Именно так появляются:

классы вычетов;

фактор-группы;

классы изоморфизма;

TailTypes;

ExponentTypes;

MetaTypes.

Это и есть область действия ЗУТ.

Следовательно, ЗНП и ЗУТ действительно образуют почти зеркальную пару.

ЗНП: различие нельзя забывать, пока не доказана его нерелевантность.

ЗУТ: различие можно забыть после доказательства его нерелевантности.

Первый защищает от ложной абстракции.

Второй делает абстракцию возможной.

Но здесь требуется одно существенное усиление.

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

Поэтому различие должно оцениваться относительно независимо определённой доказательной цели и её семантического ядра.

Именно это ядро является общей границей обоих законов.

2. Когда различием можно пренебречь
Пусть a и b принадлежат некоторой области A.

Пусть имеется доказательная цель G.

Пусть ;_G обозначает совокупность свойств и различий, от которых действительно зависит достижение G.

Тогда объекты a и b можно считать условно тождественными относительно G, если они неразличимы по всему семантическому ядру.

Это условное тождество можно обозначать:

a ;_G b.

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

Мы не утверждаем:

a = b.

Мы утверждаем:

для данной доказательной цели различия между a и b не изменяют доказательный результат.

При другой цели ситуация может оказаться иной.

Объекты могут быть условно тождественны относительно G и различимы относительно H.

Именно поэтому условное тождество всегда имеет индекс цели.

Целезависимость как сущность ЗУТ
Возьмём два целых числа, совпадающих по модулю 10.

Если задача состоит исключительно в исследовании последней цифры их степеней, разность самих чисел может быть полностью нерелевантной.

Но если задача касается делимости на 3, величины числа или p-адической валюации, та же классификация уже может оказаться недостаточной.

Следовательно, один и тот же класс допустим для одной задачи и слишком груб для другой.

Это центральное свойство ЗУТ:

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

Условное тождество через инварианты
Практически ЗУТ почти всегда реализуется через систему инвариантов.

Пусть выбраны I;, …, I_r.

Можно определить два объекта как эквивалентные, если все эти инварианты совпадают.

Но такого определения недостаточно.

Необходимо доказать ещё одно:

набор I;, …, I_r полон относительно цели G.

Именно здесь находится основной риск любой типизации.

Совпадение выбранных инвариантов ещё не доказывает доказательную неразличимость.

Возможно, существует другой инвариант J, не включённый в классификацию, который меняет результат фильтра.

Поэтому ЗУТ требует не только равенства признаков, но и доказательства полноты признакового языка относительно цели.

Семантическое насыщение
Если некоторое представление T(a) содержит всю информацию, необходимую для G, оно может быть названо семантически насыщенным относительно G.

Тогда при условии

T(a;) = T(a;)

можно разрешить

a; ;_G a;,

но только если доказано, что T действительно содержит всё доказательно необходимое.

Именно здесь ЗУТ превращается в принцип контролируемого забывания.

Условное тождество можно определить как:

право уничтожить различие после того, как установлено, что оно больше не способно повлиять на доказательную цель.

Это очень сильная формулировка.

Она превращает абстракцию из свободного исследовательского приёма в сертифицированную операцию.

TailType и MetaType как приложения ЗУТ
Будущая теория типов полностью зависит от этого закона.

Если два числа обладают одинаковым хвостовым поведением на выбранной глубине, этого ещё недостаточно, чтобы считать их одним TailType в доказательном смысле.

Необходимо доказать:

все хвостовые фильтры постоянны внутри такого класса.

А для MetaType требование ещё сильнее.

Если два гипотетических ферматовских объекта имеют одинаковый комплексный тип

(T, E, R, G, A),

они могут быть отождествлены относительно TF-Sieve только тогда, когда каждый фильтр TF-Sieve факторизуется через MetaType.

Иначе MetaType слишком груб.

Это важнейшая техническая формулировка.

Типизация является не классификацией по удобным признакам.

Типизация есть контролируемое доказательное отождествление.

3. Когда различие существенно
Противоположная сторона определяется гораздо проще.

Различие существенно, если существует хотя бы одно свойство, по которому объекты различаются и которое способно изменить доказательный результат.

Пусть a и b совпадают по сотне инвариантов.

Но существует P_* из ;_G такое, что P_*(a) и P_*(b) различаются.

Тогда:

a ;_G b.

Одного критического различия достаточно, чтобы разрушить условное тождество.

Именно поэтому количество совпадающих признаков не имеет самостоятельной доказательной силы.

Сто совпадений не компенсируют одного релевантного различия.

Ламе как модель существенного различия
История Ламе даёт идеальную иллюстрацию.

Z и Z[;_p] действительно имеют множество общих алгебраических черт.

Но уникальная факторизация элементов — именно то свойство, которое требовалось дальнейшему выводу.

Следовательно, сходство по другим структурам не спасало доказательство.

Различие оказалось доказательно существенным.

Это и есть классический случай работы ЗНП:

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

Локальная неразличимость и глобальное различие
Другая важная ситуация возникает в локально-глобальных проблемах.

Две системы могут совпадать по огромному набору локальных характеристик.

Но если глобальное существование решения не определяется этим набором, локальная неразличимость не даёт глобального условного тождества.

Иначе говоря:

совпадение всех проверяемых локальных теней ещё не означает совпадения глобального математического объекта относительно вопроса существования.

Это особенно важно для будущих вычислительных и остаточных методов.

Плотность и пустота
Ещё один пример — асимптотическая плотность.

Две системы фильтрации могут обе иметь долю выживших, стремящуюся к нулю.

Но в одной системе число выживших объектов равно нулю, а в другой — растёт.

Относительно статистической редкости эти системы похожи.

Относительно доказательства несуществования они принципиально различны.

Следовательно:

асимптотическая эквивалентность не означает доказательной эквивалентности относительно пустоты.

Это должно стать одной из основных защит будущей Collapse Theory от ложного вывода «почти всё уничтожено, следовательно, уничтожено всё».

Класс и представитель
Особенно опасная ошибка возникает после уже совершённого отождествления.

Пусть объекты объединены в класс [a].

После этого доказательство использует свойство конкретного представителя a, которое не является постоянным на классе.

Тем самым сначала различие было объявлено несущественным, а затем оно незаметно возвращено в аргумент.

Это прямое нарушение ЗУТ и ЗНП одновременно.

Правило здесь классическое и абсолютно строгое:

если функция F должна быть определена на классе [a], она обязана быть постоянной на эквивалентных представителях.

То есть:

a ~ b ; F(a) = F(b).

Только тогда существует корректная функция на фактор-объекте.

Для MetaTypes это правило фундаментально.

Любой фильтр, работающий на уровне MetaType, обязан быть инвариантным внутри соответствующего класса.

Новое свойство может разрушить старое условное тождество
Условное тождество не обязано быть вечным.

Пусть объекты были неразличимы относительно старого семантического ядра ;;.

Позднее в теорию вводится новое доказательно необходимое свойство P_{r+1}.

Если объекты различаются по нему, старое отношение эквивалентности становится слишком грубым.

Класс должен быть расщеплён.

Именно поэтому развивающаяся теория типов должна предусматривать refinement.

Иначе ранняя удобная классификация превращается в догму.

Это особенно важно для нашей программы.

TailType может быть достаточен для хвостового фильтра.

Но после введения геометрического или p-адического инварианта прежний TailType может потребовать расщепления.

MetaType тем самым не является раз и навсегда найденной сущностью.

Он должен становиться всё более тонким по мере роста доказательно релевантного ядра.

4. Граница правомерного отождествления
Теперь можно сформулировать центральный вопрос ЗУТ.

Где проходит граница между законной абстракцией и недопустимым отождествлением?

Ответ нельзя дать через внешнее сходство.

Нельзя сказать:

«объекты достаточно похожи».

Нельзя также требовать полного изоморфизма.

Это было бы чрезмерно сильным условием и уничтожило бы значительную часть полезных абстракций.

Правильная граница должна быть целезависимой.

Пусть G — доказательная цель.

Пусть ;_G — полное семантическое ядро этой цели.

Тогда условное тождество допустимо, если все свойства из ;_G имеют одинаковое доказательное значение на обоих объектах.

Это и есть основная граница.

Но сразу возникает самый трудный вопрос главы:

откуда мы знаем, что ;_G действительно полно?

Именно здесь ЗУТ сталкивается с фундаментальной неопределённостью научного исследования.

В завершённой теории семантическое ядро может быть известно.

Тогда условное тождество может быть теоремой.

Но в развивающейся теории мы часто ещё не знаем, какие свойства станут необходимыми позднее.

Следовательно, необходимо различать два режима.

Завершённое условное тождество
Полнота ядра установлена.

Неразличимость доказана.

Можно строить строгий фактор-объект.

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

Но доказательство полноты ещё отсутствует.

Тогда типизация имеет статус гипотезы.

И этот статус нельзя молчаливо повышать до теоремы.

Это одно из наиболее важных дисциплинарных правил Метаорганона.

Сертификат условного тождества
ЗУТ, как и ЗНП, требует собственного сертификата.

Если ЗНП требует сертификата переноса свойства, то ЗУТ требует сертификата неразличимости.

Такой сертификат должен устанавливать две вещи:

объекты совпадают по выбранным инвариантам;
выбранные инварианты полны относительно цели.
Только после этого разрешается считать a и b условно тождественными.

В этом смысле ЗУТ даже строже обычного построения класса эквивалентности.

Формальная эквивалентность ещё не гарантирует доказательной достаточности класса.

Необходимо показать, что факторизация не уничтожила релевантную информацию.

Три статуса различия
Исходный текст вводил очень важную трёхчленную классификацию, которую необходимо сохранить. ТФМ — Том1 — Часть 9 и ниже

Относительно цели G различие может иметь статус:

S — существенное.

Доказано, что оно способно изменить релевантную структуру.

Тогда ЗНП запрещает его уничтожать.

N — нейтральное.

Доказано, что оно не влияет на доказательный результат.

Тогда ЗУТ разрешает его забыть.

U — неопределённое.

Пока неизвестно, влияет ли оно на цель.

Именно эта третья категория особенно важна.

Без неё теория начинает делать слишком сильные выводы.

Неизвестное либо объявляется существенным навсегда, либо молчаливо считается несущественным.

Оба хода неверны.

Поэтому действует правило:

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

Это превращает границу ЗУТ в динамическую структуру.

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

из U в S;

из U в N;

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

Следовательно, математическая абстракция — не одноразовая операция.

Она может уточняться.

Классы могут расщепляться.

Типы — дробиться.

Семантическое ядро — расширяться.

Это нормальный процесс.

5. Граница правомерного переноса
Теперь необходима симметричная постановка для ЗНП.

Если предыдущий раздел отвечал на вопрос:

когда два объекта допустимо считать одним относительно цели?

то здесь вопрос другой:

когда свойство одного объекта допустимо считать доказательно представленным свойством другого объекта?

Именно это является границей правомерного переноса.

Пусть имеется исходный объект a в области A.

Строится образ T(a) в области B.

Исходное свойство — P(a).

В целевой области используется Q(T(a)).

Самого существования T недостаточно.

Даже истинности Q(T(a)) недостаточно.

Требуется установить специальную доказательную связь.

Но после сильного ЗНП одного формального P ; Q также недостаточно для длинной межтеоретической архитектуры.

Граница правомерного переноса определяется несколькими условиями одновременно.

1. Корректность объектного отображения
T должно действительно быть определено на всём классе объектов, для которого используется.

Нельзя молчаливо менять область применимости.

2. Сертификат свойства
Необходимо доказать, каким именно образом P преобразуется в Q.

Нельзя считать, что свойство следует за объектом автоматически.

3. Сохранение доказательной функции
Q должно играть ту функцию, ради которой использовалось P.

Это и есть требование релевантности.

4. Декларация потерь
Должно быть известно, какая структура исчезает при переходе.

5. Сертификат нерелевантности потерь
Недостаточно перечислить потерянное.

Необходимо показать, что оно не требуется для конкретной цели.

6. Сохранение доказательной разрешающей способности
Если два исходных состояния различаются по признаку, способному изменить G, перенос не должен без доказательства сливать их в один образ.

7. Референциальная непрерывность
Должно оставаться понятным, каким образом текущий объект всё ещё относится к исходному доказательному предмету.

8. Композиционная совместимость
Если T является только одним звеном длинной цепочки, необходимо удостоверить, что его семантическая функция совместима с последующими переходами.

9. Доказательный возврат
Конечный результат должен иметь сертифицированный адрес относительно исходной цели.

Не обязательно существование обратной функции.

Но должен существовать достаточный возврат доказательного смысла.

Именно совокупность этих условий определяет правомерный перенос.

Таким образом, ЗНП и ЗУТ работают на разных сторонах одной операции.

ЗУТ спрашивает:

какие различия внутри объекта можно уничтожить?

ЗНП спрашивает:

какое содержание после этого уничтожения ещё разрешено переносить дальше?

Это фундаментальная симметрия.

Отождествление и перенос не независимы
Каждый серьёзный перенос почти всегда содержит акт условного тождества.

Когда бесконечный объект заменяется конечным типом, множество различий уничтожается.

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

Когда объект заменяется классом эквивалентности, индивидуальность представителей исчезает.

Следовательно, перед переносом необходимо решить вопрос ЗУТ:

что допустимо забыть?

А после переноса — вопрос ЗНП:

что из оставшегося допустимо использовать как носитель исходного доказательного смысла?

Из этого следует важный принцип:

правомерный перенос возможен только через правомерное сжатие, а правомерное сжатие получает доказательную силу только внутри правомерного переноса.

Два закона замыкаются друг на друга.

Двойной сертификат
Для сложного математического представления необходимы поэтому два сертификата.

Первый — сертификат условного тождества:

почему различия, уничтоженные при построении представления, действительно несущественны?

Второй — сертификат переноса:

почему сохранённая структура действительно несёт требуемое свойство дальше?

Это можно назвать двойной сертификацией математической абстракции.

Без первого представление может быть слишком грубым.

Без второго оно может быть корректным классификатором, но не иметь доказательной силы относительно исходной задачи.

Пример будущей теории MetaTypes
Пусть гипотетический ферматовский объект отображается в MetaType.

Сначала работает ЗУТ.

Необходимо доказать, что все объекты одного MetaType неразличимы относительно всех фильтров.

Затем работает ЗНП.

Необходимо доказать, что уничтожение каждого MetaType соответствующим фильтром действительно уничтожает все исходные объекты, представленные этим типом.

После этого требуется композиционный сертификат:

все возможные исходные объекты покрыты системой MetaTypes.

И только затем:

все MetaTypes устранены ; исходных объектов нет.

Именно так два закона должны регулировать будущую положительную теорию.

Общая граница двух законов
Теперь можно сформулировать их единую границу.

Пусть различие между объектами способно изменить доказательный результат.

Тогда оно принадлежит ЗНП и должно быть сохранено.

Пусть доказано, что различие не способно изменить доказательный результат.

Тогда оно принадлежит ЗУТ и может быть уничтожено.

Пусть это пока неизвестно.

Тогда различие остаётся в режиме U и не получает ни права на уничтожение, ни статуса фундаментальной необходимости.

Таким образом:

ЗНП охраняет семантическое ядро.

ЗУТ сжимает всё вне доказанно необходимого ядра.

Но ядро не должно определяться постфактум выбранным аппаратом.

Оно должно быть обосновано относительно исходной цели.

Именно здесь сходятся все предшествующие главы.

Гармоническая логика получает теперь два базовых регулятора:

не отождествлять раньше времени;

не различать дольше необходимого.

И ещё точнее:

не забывать то, что может изменить доказательство, и не сохранять то, что доказанно изменить его не может.

В этой точке возникает одна из центральных задач Метаорганона: построение минимально достаточного семантического представления объекта.

Оно должно быть настолько грубым, насколько возможно, чтобы обеспечить максимальное структурное сжатие.

Но настолько тонким, насколько необходимо, чтобы не потерять ни одного различия, способного изменить доказательный результат.

Это и есть точка равновесия ЗУТ и ЗНП.

Если представление тоньше необходимого, математика перегружена лишними различиями.

Если грубее необходимого, возникает семантическая потеря.

Если граница выбрана точно, абстракция достигает своей идеальной формы:

максимальное сжатие при полном сохранении доказательно релевантной семантики.

Именно эту границу должен в дальнейшем фиксировать семантический сертификат доказательства.

**********

Семантический сертификат доказательства

Законы Метаорганона не должны оставаться только общими принципами. Закон недопустимого переноса говорит, что доказательно релевантное свойство нельзя переносить через изменение математического представления без достаточного основания. Закон условного тождества разрешает забывать различия лишь после доказательства их нерелевантности. Гармоническая логика требует, чтобы преобразования объекта сохраняли необходимую доказательную функцию.

Но все эти требования останутся философскими пожеланиями, если для конкретного доказательства нельзя будет предъявить проверяемый ответ на простые вопросы:

какой объект преобразуется;

во что именно он преобразуется;

какое свойство переносится;

почему его образ достаточен;

какие гипотезы используются;

какая информация исчезает;

почему она может быть отброшена;

как сохраняется адрес исходной задачи;

какие новые обязательства возникают;

и каким образом конечный результат возвращается к исходному утверждению.

Для ответа на эти вопросы вводится семантический сертификат доказательства.

Это не новая разновидность теоремы.

Не новый способ заменить обычное доказательство.

Не декларация доверия к используемой теории.

Семантический сертификат — это структурированная запись доказательной легитимности математического преобразования.

Его задача состоит в том, чтобы сделать явным то, что в обычном математическом тексте часто распределено между определениями, леммами, ссылками, замечаниями об условиях применимости и молчаливыми предположениями автора.

Для небольшого доказательства такая запись может быть избыточной.

Для системы, проходящей через несколько предметных областей, универсальные конструкции, вычислительные модули и многоуровневые абстракции, она способна стать отдельным уровнем математической дисциплины.

1. Понятие семантического сертификата
Рассмотрим простейший случай.

Пусть имеется объект a из некоторой области A.

Строится его образ T(a) в другой области B.

На исходном объекте известно свойство P(a).

В целевой области требуется использовать свойство Q(T(a)).

Очевидно, одного существования отображения T недостаточно.

Необходимо установить математический мост:

P(a) ; Q(T(a)).

Именно эта импликация превращает простой объектный перенос в доказательный.

Но сильный ЗНП показывает, что даже этой формулы недостаточно для полного сертификата.

Во-первых, реальная теорема почти всегда действует при дополнительных гипотезах H;, …, H_r. Она имеет форму:

H; ; … ; H_r ; P(a) ; Q(T(a)).

Следовательно, сертификат должен не только сослаться на теорему, но и указать, откуда получена каждая гипотеза применимости.

Во-вторых, необходимо указать, какую доказательную функцию Q выполняет относительно конечной цели G.

Сам факт, что Q является истинным следствием P, ещё не делает его автоматически достаточным представителем P для всякой дальнейшей задачи.

В-третьих, необходимо указать, что исчезло при переходе.

В-четвёртых, следует определить, сохраняется ли референциальная связь между T(a) и исходным объектом a.

В-пятых, если переход является одним звеном длинной цепочки, требуется проверить его совместимость со следующим звеном.

Поэтому семантический сертификат следует понимать не как сертификат отдельной формулы, а как сертификат доказательной роли перехода внутри конкретной цели.

Правильнее писать не просто S(T), а S_G(T): сертификат преобразования T относительно цели G.

Это целезависимость принципиальна.

Одно и то же отображение может быть абсолютно достаточным для одной задачи и совершенно недостаточным для другой.

Редукция modulo m идеальна для некоторых вопросов делимости.

Она почти бесполезна для восстановления абсолютной величины числа.

Один и тот же математический объект не имеет «семантической достаточности вообще».

Семантическая достаточность всегда имеет адрес.

Сертификат не воспроизводит всё доказательство
Если используемая теорема уже доказана, семантический сертификат не обязан заново воспроизводить её доказательство.

Он должен установить другое:

какая именно доказанная теорема применяется, к какому объекту, при каких гипотезах и для какого дальнейшего вывода.

Поэтому сертификат ближе к карте доказательных зависимостей, чем к новому доказательству.

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

Семантический сертификат оптимизирован для другого вопроса:

почему именно этот переход имеет право занимать это место в доказательной архитектуре?

Таким образом, текст и сертификат не конкурируют.

Текст объясняет.

Сертификат локализует доказательное основание.

Паспорт и контракт
Метафора паспорта полезна, но её можно усилить.

Семантический сертификат — одновременно паспорт и контракт.

Паспорт фиксирует:

откуда;

куда;

что;

при каких условиях;

с какими потерями.

Контракт фиксирует:

что следующий модуль доказательства имеет право потребовать от результата предыдущего.

Если следующий модуль требует больше, чем предыдущий гарантировал, возникает семантический разрыв.

Поэтому сертификат должен описывать не просто объект, но его доказательный интерфейс.

2. Структура сертификата
В старой версии минимальный сертификат имел форму

(A, B, T, P, Q, H, C, L, R, ;). ТФМ — Том1 — Часть 9 и ниже

Эту структуру необходимо сохранить, но расширить с учётом сильного ЗНП.

Полный сертификат должен включать по меньшей мере следующие поля.

A — исходная область
Указывается точный класс объектов, к которым применяется переход.

Это важно потому, что свойства не существуют в пустоте. Они зависят от структуры области.

Нельзя сертифицировать теорему, не указав, к каким объектам она относится.

B — целевая область
Указывается класс образов.

Не просто название большой теории, а конкретный тип объекта, который становится носителем дальнейшего рассуждения.

T — конструкция переноса
Фиксируется сам математический переход.

Должно быть понятно, каким образом из исходного объекта получается целевой.

Существование некоторой абстрактной связи недостаточно.

Нужна определённая конструкция или строго заданное отношение.

P — исходное доказательно релевантное свойство
Необходимо явно назвать, что именно исходный объект должен передать дальше.

Это устраняет одну из самых распространённых неясностей: переход объекта часто описан подробно, а переход нужного свойства остаётся подразумеваемым.

Q — целевое свойство
Указывается, какая характеристика образа является носителем перенесённой доказательной функции.

Именно Q, а не весь объект B, участвует в следующем шаге.

H — гипотезы применимости
Все предпосылки используемой теоремы должны быть перечислены.

Для каждой должно быть известно её доказательное происхождение.

Гипотеза, которую никто в предыдущей части цепочки не установил, является непокрытым обязательством.

C — прямой доказательный сертификат
Это математическое основание перехода:

P ; H ; Q.

C может быть отдельной леммой, опубликованной теоремой, формальным доказательством или композицией нескольких результатов.

Но его статус должен быть указан.

L — информационные потери
Это поле после усиления ЗНП становится значительно важнее.

L должно фиксировать не просто «что не видно после перехода», а весь набор различий исходного объекта, которые более не контролируются текущим представлением.

J — обоснование нерелевантности потерь
Это новое обязательное поле.

Если некоторая информация потеряна, необходимо объяснить, почему её потеря допустима относительно G.

Иначе поле L превращается в простую декларацию без доказательного содержания.

Следовательно, для каждого существенного элемента потерь должен быть один из статусов:

доказанно нерелевантен;

замещён эквивалентным инвариантом;

сохранён косвенно;

пока неопределён.

Последняя категория означает открытый семантический долг.

Ref — референциальный сертификат
Он должен фиксировать, каким образом текущий объект продолжает относиться к исходному доказательному предмету.

Это особенно важно после универсализации, факторизации и нескольких последовательных переносов.

История происхождения сама по себе не должна автоматически заменять референциальный сертификат.

K — композиционный интерфейс
Необходимо указать, какие свойства выходят из текущего модуля и какие из них могут законно использоваться следующим.

Это превращает цепочку доказательства в систему совместимых интерфейсов.

R — сертификат возврата
Он фиксирует, каким образом результат, полученный в целевой области, возвращается к исходной доказательной цели.

R не является обязательным обратным отображением T;;.

Это принципиально.

Возвращаться должен не объект, а доказательный вывод.

Однако в сильной версии ЗНП R должен показывать не только логическую контрапозицию, но и сохранение адреса, к которому эта контрапозиция применяется.

D — семантический долг, порождённый переходом
Ещё одно новое поле.

Не каждый переход полностью закрывается в момент своего появления.

Он может породить обязательства, которые должны быть погашены позднее:

доказать полноту представления;

доказать нерелевантность потери;

доказать корректность универсализации;

восстановить референцию;

сертифицировать композицию.

Эти обязательства должны быть записаны, а не растворены в дальнейшем тексте.

; — статус
Необходимо строго различать:

теорему;

лемму;

условный результат;

гипотезу;

вычислительно подтверждённое утверждение;

эмпирическое наблюдение;

computer-certified результат;

непроверенную исследовательскую эвристику.

Семантическая сертификация теряет смысл, если статус результатов повышается молчаливо.

Таким образом, расширенный сертификат уже не просто описывает стрелку.

Он отвечает на четыре группы вопросов:

что построено;

что доказано;

что потеряно;

что осталось должным.

Именно четвёртая группа делает сильный сертификат существенно новым.

3. Сохранение доказательной референции
Референция — одна из наиболее трудных частей семантического сертификата.

В коротком доказательстве она почти невидима, потому что объект остаётся тем же.

В длинной цепочке он может полностью исчезнуть из рабочего языка.

Пусть доказательство начинается с объекта a;.

Затем строится a;.

Из a; — a;.

Из a; — a;.

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

Тем не менее конечный вывод должен относиться к a;.

Следовательно, сертификат должен хранить референциальную нить.

Это не означает, что каждый объект обязан буквально содержать все данные предыдущего.

Не требуется инъективность каждого перехода.

Не требуется возможность восстановить a; из a_r.

Но должно быть известно, какая доказательная роль исходного объекта сохраняется.

В простейшем случае это может быть идентификатор происхождения:

текущий объект является образом данного класса исходных объектов.

В более сильном случае — специальный инвариант, который проходит через все слои.

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

Происхождение не равно референции
Особенно важно отличать два утверждения.

Первое:

«объект B когда-то был построен из объекта A».

Второе:

«текущий результат о B сохраняет доказательную юрисдикцию над утверждением об A».

Первое является фактом происхождения.

Второе — фактом доказательной референции.

Они не тождественны.

Если между A и B произошли селективное сжатие, факторизация, универсализация и несколько последующих переходов, история происхождения может сохраняться, а доказательная различимость — уже нет.

Именно поэтому Ref должен отвечать на вопрос:

какой носитель исходной доказательной идентичности всё ещё существует на этом этапе?

Адрес доказательства
Можно говорить о доказательном адресе.

Начальное утверждение задаёт адрес G;.

Каждый новый слой должен либо сохранять этот адрес, либо передавать его следующему слою через сертифицированное соответствие.

Если на некотором этапе доказательство работает с объектом, относительно которого уже невозможно установить связь с G; иначе как фразой «он возник где-то из предыдущей конструкции», референциальный сертификат ослаблен.

Это не означает автоматической ошибки.

Но семантический долг возрастает.

Формальный и семантический возврат
Здесь вновь возникает различие, введённое при анализе Уайлса.

Формальный возврат может быть чрезвычайно коротким: из противоречия в конце цепочки логически отрицается исходное предположение.

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

Следовательно, R и Ref не являются одним и тем же полем.

Ref отвечает:

что всё ещё связано с исходным предметом?

R отвечает:

как конечный результат используется для конечного вывода об этом предмете?

Это различие следует сохранить принципиально.

4. Контроль информационных потерь
Любая мощная абстракция что-то забывает.

Без этого она часто вообще не была бы полезной.

Поэтому цель сертификата не в запрете потерь.

Цель — в их учёте.

Поле L должно рассматриваться как реестр информационной редукции.

Для каждого перехода необходимо фиксировать:

что сохраняется буквально;

что сохраняется через инвариант;

что сохраняется только односторонне;

что перестаёт быть доступным;

что добавляется уже из целевой теории.

Последний пункт особенно важен.

При переходе объект может одновременно потерять исходную структуру и приобрести огромное количество новой целевой структуры.

Новая структура может быть математически чрезвычайно богатой.

Но она не должна молчаливо компенсировать утраченную исходную информацию.

Это и есть сформулированный ранее запрет информационной компенсации чуждой структурой.

Декларация потери
Каждая потеря должна иметь статус.

Условно можно различить три класса.

N — доказанно нейтральная потеря.

Известно, что она не способна изменить достижение G.

S — доказательно существенная потеря.

Такую информацию терять нельзя без отдельного механизма сохранения или восстановления.

U — неопределённая потеря.

Её роль пока не установлена.

В сильном ЗНП именно U является опасной зоной.

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

Потерянное нельзя использовать молча
Исходная версия сертификата уже содержала важнейшее правило: если свойство было отмечено как потерянное, а позднее снова используется, должен появиться новый мост; иначе возникает нарушение ЗНП. ТФМ — Том1 — Часть 9 и ниже

Это положение следует сделать одним из автоматизируемых законов.

Если P_* принадлежит L(T_i), то никакой позднейший модуль не получает права использовать P_* без сертификата:

восстановления;

переизвлечения;

или независимого доказательства.

Это можно назвать запретом семантического самовозврата:

информация, уничтоженная абстракцией, не возвращается автоматически только потому, что она снова понадобилась.

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

Пусть после каждого перехода остаётся некоторое доказательно релевантное ядро.

Тогда сертификат должен позволять проследить:

какие различия уже уничтожены;

какие ещё доступны;

какие замещены другими инвариантами;

какие обязательства по их нерелевантности ещё открыты.

Так возникает динамическая картина доказательства как последовательного преобразования семантического ядра.

Это значительно точнее, чем бинарная маркировка «информация сохранена / потеряна».

5. Цепочки переносов
Реальное сложное доказательство состоит из многих переходов.

Поэтому основной объект сертификации — не отдельное ребро, а сертифицированный граф доказательства.

Пусть вершины представляют математические состояния, а рёбра — переходы между ними.

Каждое ребро e_i имеет собственный сертификат S_i.

Тогда возникает ориентированный граф доказательной архитектуры.

Исходный текст уже предлагал такую модель и подчёркивал необходимость проверки совпадения выходов и входов соседних модулей. ТФМ — Том1 — Часть 9 и ниже

Сильный ЗНП требует добавить к этому второй уровень — глобальную композиционную проверку.

Логическая композиция
Если доказано:

P; ; P;,

P; ; P;,

то классическая логика даёт:

P; ; P;.

Эта композиция не ставится под сомнение.

Семантическая композиция
Но если P;, P; и P; принадлежат разным представлениям и между ними происходят информационные редукции, требуется также проверить:

совместимы ли области;

совпадают ли значения предикатов;

не произошла ли смена области квантификации;

не исчез ли доказательный адрес;

не используется ли в P; то, что было потеряно при первом переходе;

не получила ли поздняя теория доказательную функцию, которой ей не передавали.

Именно поэтому локальные сертификаты необходимо дополнять композиционным сертификатом пути.

Семантические интерфейсы
Каждый модуль доказательства полезно описывать четырьмя базовыми интерфейсами:

Input — что требуется;

Output — что доказано;

Preconditions — при каких условиях;

Losses — что больше не контролируется.

В сильной версии следует добавить:

Reference — к какому исходному адресу относится модуль;

Debt — какие обязательства оставляет открытыми.

Следующий модуль может использовать только то, что предыдущий действительно выдал либо что независимо восстановлено.

Непокрытая гипотеза
Если модуль требует H, а никакой предыдущий модуль H не доказывает, цепочка разорвана.

Это один из самых простых и одновременно самых важных дефектов, которые сертификат должен выявлять автоматически.

Несогласованный интерфейс
Если первый переход выдаёт Q, а второй требует Q;, недостаточно сходства формулировок.

Нужно доказать Q ; Q; либо их точное совпадение в данном контексте.

Именно здесь могут скрываться изменения смысла при одинаковой терминологии.

Полнота ветвления
Если доказательство разбивает исходный класс на случаи A;, …, A_r и для каждого случая имеется отдельный путь, нужен сертификат покрытия:

вся исходная область действительно равна объединению рассмотренных классов.

Иначе может существовать незамеченный остаточный класс.

Для TF-Sieve это становится теоремой полноты MetaTypes.

Слабейшее необходимое звено
Исходный текст формулировал важный принцип:

статус доказательного пути определяется слабейшим необходимым сертификатом. ТФМ — Том1 — Часть 9 и ниже

Если в цепи имеется непогашенная гипотеза, итог условен.

Если необходимый шаг подтверждён только вычислительно на конечном диапазоне, итог ограничен этим диапазоном.

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

Это принцип не минимальной математической истинности, а минимальной сертифицированной достаточности.

6. Семантический долг
Теперь можно формализовать понятие, которое проходило через предыдущие главы.

Семантический долг — это совокупность доказательных обязательств, возникающих вследствие преобразования математического объекта и ещё не погашенных соответствующими сертификатами.

Долг возникает, если:

отброшено различие, нерелевантность которого ещё не доказана;

использовано селективное представление без теоремы его достаточности;

проведена универсализация и ещё не показано сохранение конкретной референции;

сменена предметная область и не замкнут возврат;

введён новый вспомогательный объект, зависимость которого от исходной цели ещё не сертифицирована;

в цепочку добавлена гипотеза;

полнота типизации ещё не установлена;

композиционная совместимость нескольких локальных мостов ещё не доказана.

Долг не равен ошибке
Это принципиально.

Наличие семантического долга означает не автоматическую ложность доказательства, а наличие открытого обязательства.

Пока оно открыто, переход может иметь исследовательский статус.

После его погашения система усиливается.

Если же долг игнорируется и система объявляется завершённой, возникает нарушение ЗНП.

Локальный и глобальный долг
Можно различать:

локальный долг — относится к одному переходу;

композиционный долг — возникает при соединении нескольких переходов;

референциальный долг — относится к сохранению адреса исходной задачи;

информационный долг — связан с потерями;

статусный долг — возникает, когда необходимый элемент ещё не имеет теоремного статуса.

Баланс долга
Каждая новая конструкция может одновременно:

погасить один долг;

и создать другой.

Именно поэтому в главе о «Тришкином кафтане» было введено требование оценивать не сам факт ремонта, а изменение совокупной задолженности.

Теперь это можно включить непосредственно в сертификат.

Пусть переход T_i получает входящий долг D_{i;1}.

Он погашает некоторую часть.

Создаёт новые обязательства ;D_i.

На выходе остаётся D_i.

Не обязательно вводить сразу числовую метрику.

Достаточно структурного реестра открытых обязательств.

Главное правило:

доказательство семантически замкнуто только тогда, когда все обязательные долги, влияющие на конечную цель, погашены.

Семантическая задолженность не должна исчезать из текста
Это, вероятно, наиболее практическая функция сертификата.

В обычном длинном доказательстве легко потерять из виду условие, сформулированное десятки страниц назад.

В сертифицированной системе такое обязательство остаётся активным до момента погашения.

Его нельзя «забыть повествовательно».

Именно в этом смысле семантический долг похож на обязательство в формальной системе типов или на незакрытую цель в proof assistant, хотя его содержание шире чисто формального вывода.

Он должен оставаться видимым.

7. Возможности автоматизированной проверки
Именно здесь Метаорганон перестаёт быть только философской схемой и начинает приобретать форму возможной технологии аудита сложных доказательств.

Исходная версия уже предлагала многоуровневую архитектуру автоматической проверки: синтаксический контроль сертификата, логическую проверку композиции, связь с формальными доказательствами и независимые вычислительные сертификаты. ТФМ — Том1 — Часть 9 и ниже

Эту идею следует сохранить, но чётко разделить то, что машина действительно может проверять, и то, что остаётся содержательной математической задачей.

Уровень 1. Структурная проверка
Автоматическая система может проверять:

заполнены ли обязательные поля сертификата;

существуют ли указанные зависимости;

нет ли ссылок на отсутствующие результаты;

совместимы ли типы входов и выходов;

уникальны ли идентификаторы;

нет ли незакрытых ветвей;

отмечены ли статусы.

Это ещё не доказательство теорем.

Но для больших систем уже такой контроль имеет ценность.

Уровень 2. Проверка гипотез и интерфейсов
Если сертификаты представлены структурированно, система может установить:

выполнены ли все H_i;

кто именно их доказывает;

соответствует ли Output одного модуля Input следующего;

не требуется ли свойство, которое никогда не было установлено;

полно ли разбиение на случаи.

Это уже аудит архитектуры.

Уровень 3. Проверка информационных потерь
Здесь сильный ЗНП даёт особенно конкретный механизм.

Если сертификат перехода указывает, что свойство P потеряно, а позднее модуль требует P без нового сертификата восстановления, система может автоматически отметить нарушение.

Это один из самых ясных случаев машинно обнаружимого семантического дефекта.

Уровень 4. Проверка ЗУТ
Если два объекта объединены в один тип, а некоторый фильтр использует свойство, которое не является постоянным внутри типа, факторизация некорректна.

Такой дефект также потенциально автоматизируем.

Для MetaTypes это означает:

каждый фильтр должен быть доказанно хорошо определён на классе.

Уровень 5. Статусный аудит
Система должна запрещать повышение статуса.

Цепочка

теорема ; гипотеза ; теорема

не даёт безусловной теоремы.

Она даёт результат, условный относительно гипотезы.

Цепочка, содержащая вычислительный сертификат на конечном диапазоне, не должна автоматически становиться универсальной.

Это особенно важно для будущей программы TF-Sieve.

Уровень 6. Формальная верификация теорем
Если используемые математические результаты представлены в proof assistant, поле C может ссылаться не просто на название теоремы, а на формально проверенное доказательство.

Тогда семантическая карта связывается с формальной библиотекой.

Но здесь необходимо подчеркнуть границу.

Формальная верификация подтверждает вывод внутри заданной системы.

Она сама по себе не решает метаорганоновский вопрос о том, почему выбранное представление считается доказательно релевантным исходной задаче, если это дополнительное требование не было формализовано.

Следовательно, proof assistant и семантический сертификат выполняют разные функции.

Первый контролирует локальную формальную корректность.

Второй организует макроархитектуру переносов, потерь, референции и доказательных ролей.

Уровень 7. Вычислительные сертификаты
Для вычислительных результатов желательно разделять генерацию и проверку.

Сложная программа может найти объект, классификацию или уничтожить огромный набор типов.

Но сильнее архитектура, в которой программа выдаёт конечный сертификат, а отдельный, более простой верификатор проверяет его.

Принцип здесь простой:

трудно найти не должно автоматически означать трудно проверить.

Это особенно перспективно для конечных типологических вычислений.

Уровень 8. Семантический граф
В пределе можно представить систему SemVerify, принимающую:

граф доказательства;

семантические сертификаты рёбер;

формальные ссылки;

вычислительные сертификаты;

реестр семантического долга.

Она могла бы автоматически проверять:

покрыты ли все гипотезы;

замкнуты ли все обязательные ветви;

нет ли повторного использования потерянной информации;

не произведено ли слишком грубое условное тождество;

совместимы ли интерфейсы;

полны ли классификации;

не скрыт ли условный результат под статусом теоремы;

сохраняется ли референциальный адрес;

какие семантические долги остаются открытыми.

Что автоматизация не решает сама
Это ограничение фундаментально.

Машина не определит самостоятельно, является ли выбранное свойство действительно всем семантическим ядром задачи, если такая полнота не формализована.

Она не создаст теорему о релевантности.

Она не решит автоматически, что некоторая потеря «действительно несущественна», если ей не предоставлен соответствующий сертификат.

Она не заменит математическое открытие.

Если неверная импликация объявлена аксиомой, структурный верификатор способен лишь проверить архитектуру относительно этой базы.

Поэтому необходимо различать:

верность самих математических модулей;

и

корректность их соединения.

Полноценный аудит требует обеих сторон.

Доказательство как три представления
Таким образом, можно различить три формы математического доказательства.

Первая — доказательство как текст.

Она оптимизирована для математического мышления и объяснения.

Вторая — доказательство как формальный вывод.

Она оптимизирована для машинной проверки локальной логической корректности.

Третья — доказательство как сертифицированный семантический граф.

Она оптимизирована для контроля того, что происходит при изменении объектов, языков, уровней абстракции и предметных областей.

Эти три формы не конкурируют.

Их сильнейшая архитектура — совместная:

локальные формальные доказательства + семантические мосты + вычислительные сертификаты + глобальный сертификат покрытия и возврата.

Именно это можно назвать аудированным доказательством.

Но термин следует использовать как понятие предлагаемого Метаорганона, а не как уже установленный общеобязательный стандарт современной математики.

Семантический сертификат в настоящей работе является проектируемым метаматематическим инструментом.

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

Именно поэтому его финальная функция значительно шире простой проверки.

Если для каждого перехода известно:

что сохраняется;

что теряется;

что считается нерелевантным и почему;

какой долг возникает;

какой инвариант проходит через цепочку;

где меняется предметная область;

где происходит максимальное сжатие;

как возвращается доказательная референция,

то сертификат начинает описывать не только корректность, но и архитектуру математического понимания.

Тогда доказательство перестаёт быть непрерывным массивом текста.

Оно становится системой контролируемых преобразований с явными входами, выходами, потерями, обязательствами и возвратами.

Именно в этом смысле семантический сертификат является естественным техническим завершением Части XI:

ЗНП запрещает несертифицированную потерю; ЗУТ разрешает сертифицированное сжатие; Гармоническая логика организует преобразования; семантический сертификат делает их проверяемыми; реестр семантического долга показывает, завершено ли доказательство действительно или лишь повествовательно.

Так Метаорганон переходит от общего закона к возможной технологии математического аудита.

************

ЗНП как фильтр паралогических доказательных систем

Закон недопустимого переноса возник в настоящей работе из конкретного вопроса: когда математический объект переводится из одной предметной области в другую, на каком основании свойства исходного объекта продолжают обладать доказательной силой в новом представлении?

Первоначальный ответ был прост: сам перенос объекта не переносит автоматически его свойства. Для каждого доказательно используемого свойства необходим отдельный мост. Именно в таком качестве ЗНП первоначально определялся как металогический принцип аудита доказательств, отделяющий корректный перенос доказательной информации от необоснованного переноса свойств между представлениями. ТФМ — Том1 — Начало — до Части…

Но последующий анализ показал, что этого недостаточно.

Математическая ошибка далеко не всегда находится в одной очевидной стрелке.

Можно построить систему, в которой:

каждый объект корректно определён;

каждая локальная теорема истинна;

каждая предметная область обладает собственной строгой математикой;

каждый отдельный шаг выглядит разумным;

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

Такой дефект нельзя описать простой формулой «теорема ложна».

Он находится не обязательно внутри теорем.

Он может находиться между ними.

Именно для выявления таких систем ЗНП получает свою наиболее сильную функцию.

Он становится фильтром паралогических доказательных систем.

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

Это определение чрезвычайно важно.

Паралогизм в данном смысле — не обязательно ложная формула.

Не обязательно неверное вычисление.

Не обязательно нарушение modus ponens.

Не обязательно сознательная подмена.

Это может быть архитектурный дефект доказательной системы.

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

1. Назначение закона
ЗНП не должен превращаться в универсальную машину подозрения.

Его назначение не в том, чтобы объявлять сомнительным всё сложное, абстрактное, междисциплинарное или непохожее на исходную формулировку.

Такое понимание уничтожило бы саму математику.

ЗНП не запрещает:

переход к другой предметной области;

абстракцию;

факторизацию;

универсальные конструкции;

доказательство от противного;

односторонние импликации;

необратимые преобразования;

сильное информационное сжатие;

длинные цепочки зависимостей.

Его функция гораздо точнее.

ЗНП проверяет, не получила ли математическая конструкция большей доказательной силы, чем та, которую реально сертифицируют её связи с исходной задачей.

Это и есть главный предмет закона.

В этом смысле ЗНП работает не против преобразования, а против инфляции доказательной юрисдикции.

Объект B может быть великолепно изучен.

Теорема о B может быть глубокой.

Связь между B и C может быть безупречной.

Но из этого ещё не следует автоматически, что любой результат о C является результатом об исходном A.

Право на такой вывод должно быть прослежено.

Именно это прослеживание осуществляет ЗНП.

Фильтр, а не запрет
Термин «фильтр» здесь выбран намеренно.

ЗНП не объявляет перенос незаконным заранее.

Он пропускает одни переходы и задерживает другие.

Для каждого перехода задаются вопросы:

что переносится;

что сохраняется;

что теряется;

что считается нерелевантным;

на каком основании;

какой адрес исходной задачи сохраняется;

как результат будет использоваться далее.

Если ответы существуют и сертифицированы, перенос проходит фильтр.

Если нет, он получает статус:

неполный;

исследовательский;

семантически задолженный;

или недопустимый.

Таким образом, ЗНП не уничтожает исследовательскую свободу.

Он разделяет:

свободу строить представления

и

право использовать эти представления как доказательные заместители исходного объекта.

Это разные вещи.

Исследователь может построить любой полезный образ.

Но доказательная сила образа не возникает автоматически вместе с его математической плодотворностью.

Что именно фильтруется
ЗНП фильтрует по меньшей мере пять классов дефектов.

Первый — предметная подмена.

Доказательство начинает с объекта A, но заканчивает теорией B, не предъявив достаточного основания, почему результат о B решает исходный вопрос об A.

Второй — семантическая потеря.

При переходе исчезает различие, которое впоследствии оказывается потенциально существенным.

Третий — референциальный разрыв.

Происхождение текущего объекта известно, но его доказательный адрес относительно исходной задачи больше не отслеживается.

Четвёртый — композиционная незамкнутость.

Отдельные мосты существуют, но нет сертификата их глобальной совместимости относительно исходной цели.

Пятый — статусная инфляция.

Гипотеза, вычислительное наблюдение, частичная классификация или асимптотический результат незаметно превращается в универсальную теорему.

Именно эти дефекты и составляют основную область действия ЗНП как фильтра.

2. Проверка одиночного переноса
Начинать необходимо с простейшего случая.

Пусть имеется переход:

A ; B.

Объект a из A получает образ T(a) в B.

Исходное свойство обозначим P.

Целевое — Q.

Минимальная проверка должна установить:

P(a) ; Q(T(a)).

Это старейшая и базовая форма ЗНП. Сам факт существования T не даёт права использовать Q. Такой мост должен быть доказан отдельно. ТФМ — Том1 — Начало — до Части…

Но сильная форма закона требует большего.

Для одиночного переноса необходимо проверить несколько независимых измерений.

Объектная корректность
T действительно применимо к рассматриваемому классу объектов.

Не произошло молчаливого расширения или сужения области.

Предикативная корректность
P действительно переводится именно в Q.

Не в похожее свойство.

Не в аналог.

Не в эвристическую тень.

Условия применимости
Все гипотезы используемой теоремы выполнены.

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

Информационная потеря
Необходимо перечислить, какие различия перестают контролироваться после перехода.

Релевантность потерь
Нужно показать, почему эти потери не способны изменить конечный доказательный вывод.

Доказательная функция
Должно быть понятно, зачем Q вообще вводится.

Каким образом оно участвует в пути к цели G?

Референция
Нужно знать, почему утверждение о T(a) всё ещё относится именно к тому исходному классу объектов, который был предметом доказательства.

Возврат
Необходимо указать, как результат в B участвует в выводе об A.

После этих проверок переход можно считать семантически сертифицированным.

Почему одна импликация уже не всегда достаточна
В старой формулировке ЗНП основной критерий был почти полностью сосредоточен на P ; Q. Более того, старый текст прямо подчёркивал, что если вся цепочка импликаций доказана, она имеет полную логическую силу. ТФМ — Том1 — Начало — до Части…

Это положение как утверждение классической логики сохраняется.

Но сильный Метаорганон добавляет новый уровень.

Он спрашивает:

на каком основании P и Q выбраны как семантически соответствующие состояния одного доказательного процесса?

Именно поэтому формальная импликация остаётся необходимой, но в сложной межтеоретической архитектуре перестаёт быть единственным предметом аудита.

ЗНП проверяет не modus ponens.

Он проверяет легитимность формирования тех пропозиций, которые затем вводятся в modus ponens.

Это одно из наиболее важных различий всей конструкции.

3. Проверка длинной цепочки переносов
Настоящая сила ЗНП проявляется не на одиночном переходе, а в длинной композиции.

Пусть доказательство имеет архитектуру:

A; ; A; ; A; ; … ; A_r.

На каждом уровне существует своё свойство:

P;, P;, P;, …, P_r.

Если доказано:

P; ; P;,

P; ; P;,

…

P_{r;1} ; P_r,

то классическая логика даёт:

P; ; P_r.

Это положение не обсуждается.

Логическая транзитивность импликации неприкосновенна.

Следовательно, ЗНП не может утверждать:

«все локальные импликации истинны, но их логическая композиция ложна».

Такое утверждение было бы ошибочным.

Но может существовать другая проблема.

Предикаты P_i могут возникать в разных математических языках и быть получены через селективные представления. Тогда необходимо проверить не только истинность импликаций, но и то, что каждая P_i действительно является корректным носителем доказательной функции P;.

То есть длинная цепочка требует двойной проверки.

Первая — логическая:

все стрелки доказаны?

Вторая — семантическая:

всё ли ещё одна и та же доказательная задача проходит через эти стрелки?

Локальный сертификат
Каждое ребро должно иметь собственный паспорт:

исходная область;

целевая область;

свойство;

теорема переноса;

гипотезы;

потери;

референция;

долг.

Глобальный сертификат
Но одного набора локальных паспортов недостаточно.

Необходимо проверить весь путь.

Сохраняется ли исходный адрес?

Совместимы ли интерфейсы?

Не используются ли позднее потерянные свойства?

Не меняется ли незаметно область квантификации?

Не сливаются ли два исходно различимых класса объектов?

Не заменяется ли исходная цель более удобной целью целевой теории?

Именно это называется композиционным семантическим аудитом.

Доказательная трасса
Можно представить доказательство как трассу.

По трассе движется не сам объект во всей полноте.

Движется определённый набор доказательно релевантных признаков.

Если на этапе i один из этих признаков уничтожается, дальнейшая трасса уже не может автоматически считаться продолжением прежней.

Необходимо либо:

доказать его нерелевантность;

заменить эквивалентным инвариантом;

восстановить;

либо признать долг.

Это и есть механизм ЗНП.

Правило накопительной прозрачности
Чем длиннее цепочка, тем важнее не только локальная корректность, но и прозрачность накопленных трансформаций.

Можно сформулировать:

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

Это сохраняет здравую часть прежней версии ЗНП и одновременно делает закон значительно сильнее.

Дальность не является обвинением.

Дальность является основанием для более строгого сертификата.

4. Накопление локально допустимых, но глобально разрушительных переходов
Это центральный раздел главы.

Может ли последовательность локально допустимых переходов породить глобально разрушительную доказательную архитектуру?

Ответ требует предельной точности.

Если под «локально допустимым» понимать полностью сертифицированный переход, сохраняющий все необходимые для глобальной цели свойства, то нет: такая композиция остаётся допустимой.

Но на практике «локально допустимым» часто считается более слабое:

каждый переход математически корректен в собственной локальной задаче.

Именно здесь возникает проблема.

Переход T; может быть совершенно корректным относительно цели G;.

T; — относительно G;.

T; — относительно G;.

Но из этого не следует автоматически, что их композиция достаточна относительно исходной G;.

То есть:

локальная достаточность относительно локальных целей не равна глобальной достаточности относительно исходной цели.

Это и есть форма накопительного паралогизма.

Последовательное обеднение
Пусть первый переход теряет различие ;;.

В локальном контексте оно не нужно.

Второй теряет ;;.

Третий — ;;.

Каждая потеря по отдельности может казаться безобидной.

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

Так возникает кумулятивное семантическое обеднение.

Проблема не в одной катастрофической потере.

Проблема в сумме небольших.

Референциальная эрозия
Аналогично референция может исчезать постепенно.

На первом этапе связь с исходным объектом очевидна.

На втором она выражается через инвариант.

На третьем — через класс.

На четвёртом — через универсальный объект.

На пятом — только через генеалогию конструкции.

Ни на одном шаге нельзя указать точку:

«здесь произошла ложь».

Но в конце доказательный предмет может существовать только как историческое воспоминание.

Это и есть референциальная эрозия.

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

Именно этот порог должен обнаруживать ЗНП.

Накопление долга
Каждый локальный перенос может создавать небольшой долг.

Если следующий этап его погашает, система укрепляется.

Если долг переносится дальше, затем к нему добавляется новый, возникает накопление.

Можно представить:

D; = 0.

После T;:

D; = ;;.

После T;:

D; = ;; + ;;.

После T;:

D; = ;; + ;; + ;;.

Пока это лишь концептуальная запись, а не числовая метрика.

Но смысл строг:

открытые обязательства должны сохраняться в реестре до их погашения.

Если доказательство заканчивается, а существенный долг остаётся, система семантически не замкнута.

Паралогизм без ложной локальной теоремы
Это наиболее важный тип системы для Метаорганона.

Паралогизм здесь не имеет формы:

P ; Q — ложно.

Он имеет форму:

P ; Q — истинно;

Q ; R — истинно;

R ; S — истинно;

но утверждение, что Q, R и S являются достаточными представителями исходной задачи на каждом этапе, не было отдельно сертифицировано.

Именно поэтому такой дефект практически невидим для обычной локальной проверки.

Он существует на уровне доказательной архитектуры.

5. Бритва Оккама как метакритерий
Бритва Оккама не является теоремой.

Она не может доказать математическое утверждение.

Она не может опровергнуть корректную сложную теорию только потому, что та содержит много объектов.

Поэтому использовать её как лозунг «простое лучше сложного» было бы методологически примитивно.

Но в Метаорганоне она получает другую функцию.

Она становится метакритерием доказательной экономии.

Вопрос формулируется не так:

почему доказательство длинное?

А так:

какую обязательную функцию выполняет каждая новая сущность?

Для каждого нового объекта следует спросить:

какой долг он погашает;

какую информацию сохраняет;

какое различие делает видимым;

почему без него нельзя обойтись;

какие новые обязательства он порождает.

Если новый слой ничего не погашает и только увеличивает инфраструктуру, он нарушает принцип экономии.

Не умножать не сущности, а обязательства
Классическая формула Оккама относится к сущностям.

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

не умножай доказательные обязательства без необходимости.

Новая сущность может быть абсолютно оправдана, если она резко сокращает общий долг.

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

Поэтому «экономия» не измеряется числом определений.

Она измеряется отношением:

доказательная функция / создаваемый долг.

Принцип доказательной необходимости
Можно сформулировать:

новый теоретический слой оправдан тогда, когда его вклад в замыкание доказательной системы превышает создаваемые им новые обязательства.

Это не готовая числовая функция.

Но как метакритерий она чрезвычайно важна.

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

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

Аппарат усложняет сам себя.

Именно здесь бритва Оккама превращается в диагностический инструмент:

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

Это ещё не приговор.

Но сильный сигнал для ЗНП-аудита.

6. «Тришкин кафтан» как симптом
Образ «Тришкиного кафтана» должен использоваться строго.

Нельзя называть им любую развивающуюся теорию.

Нельзя считать каждое исправление признаком фундаментальной дефектности.

Нельзя объявлять позднейшие усиления первоначального результата «латками», если исходное доказательство уже завершено.

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

Именно так метафора превращается в диагностический термин.

Настоящий ремонт
Настоящий ремонт:

локализует дефект;

устраняет именно его;

создаёт проверяемый сертификат;

не оставляет эквивалентного разрыва на следующем уровне;

уменьшает совокупный долг.

Компенсаторная латка
Компенсаторная латка:

закрывает видимость локального дефекта;

переносит проблему в новый объект;

создаёт новый слой;

требует следующей конструкции;

не сокращает совокупный долг.

В этом случае система начинает ремонтировать собственные ремонты.

Симптом, а не доказательство
Важно:

«Тришкин кафтан» — симптом, а не самостоятельное доказательство ошибки.

Большое количество слоёв может быть полностью оправдано.

Многоэтапный patching может быть строгим.

Развитие теории может быть здоровым.

Поэтому метафора получает доказательное значение только после аудита долга.

Если после нового слоя долг уменьшился — ремонт разрешающий.

Если просто сменил форму — компенсаторный.

Если увеличился — архитектура ухудшилась.

Конечный сертификат прекращения регресса
Главный вопрос:

где находится точка, после которой обязательный ремонт действительно прекращён?

Если такая точка предъявлена, никакого бесконечного регресса нет.

Если каждый сертификат требует следующего сертификата без конечного замыкания, возникает регрессивная структура.

Именно здесь «Тришкин кафтан» становится частным симптомом паралогической системы.

7. Уайлс как главный испытательный пример ЗНП
Доказательство Последней теоремы Ферма является для ЗНП главным испытательным примером не потому, что оно заведомо ошибочно.

Напротив.

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

Слабый критический пример ничего бы не доказал о силе ЗНП.

Если закон способен обнаруживать только элементарные ошибки, он не нужен: их умеет обнаруживать обычная математика.

ЗНП приобретает смысл лишь тогда, когда способен анализировать систему, в которой:

локальные теоремы глубоки;

формальная цепочка признана;

предметные области сильно различаются;

информационные преобразования многоступенчаты;

а вопрос касается не одной ошибки, а глобальной доказательной юрисдикции всей архитектуры.

Именно поэтому система Фрей—Серр—Рибет—Уайлс—Тейлор является предельным стресс-тестом Метаорганона.

Что ЗНП не должен утверждать
Он не должен утверждать:

что кривая Фрея некорректна;

что Рибет не доказан;

что теорема Уайлса ложна;

что R = T ошибочно;

что стандартное доказательство от противного требует буквального обратного отображения;

что из модулярной формы необходимо реконструировать X, Y, Z;

что после 1995 года доказательство ТФ постоянно оставалось незавершённым.

Такие утверждения либо ложны, либо существенно сильнее имеющихся оснований.

Что ЗНП действительно спрашивает
Он задаёт другой вопрос.

Имеется цепочка:

ферматовский контрпример;

кривая Фрея;

представление Галуа;

модулярная структура;

деформационная теория;

R и T;

теорема подъёма;

модулярность кривой;

противоречие с Рибетом;

отрицание исходного контрпримера.

Стандартная математика считает: если все необходимые импликации доказаны, контрапозиция завершает доказательство.

Сильный ЗНП добавляет:

предъявлен ли единый композиционный сертификат того, что последовательность селективных, частично необратимых и предметно удалённых представлений сохраняет доказательно релевантную референцию исходной ТФ на всём пути?

Это и есть главный вопрос.

Почему именно Уайлс — испытание закона
Если ЗНП применить к простой ошибке Ламе, закон почти совпадает с обычным требованием корректности.

Это слишком лёгкий случай.

Если применить его к Уайлсу, возникают гораздо более тяжёлые вопросы:

достаточно ли локальной импликации;

как учитывать каскадное информационное сжатие;

что такое доказательный возврат без объектного возврата;

когда универсализация сохраняет конкретную референцию;

как отличить формальный итог от семантически замкнутого;

может ли богатство целевой теории компенсировать потерю исходной структуры;

каким образом измерять композиционную достаточность.

Если ЗНП не способен дать на эти вопросы независимые критерии, он остаётся риторикой.

Если же способен, он превращается в реальный метаматематический инструмент.

Главная опасность: закон, придуманный специально против Уайлса
Здесь необходима максимальная самокритика.

Если критерии ЗНП сформулировать так, чтобы они по определению не могли быть выполнены доказательством Уайлса, закон не имеет научной ценности.

Например, если заранее потребовать буквальной обратимости каждого переноса, стандартная схема Фрея будет дисквалифицирована автоматически.

Но одновременно будут дисквалифицированы тысячи безусловно корректных математических доказательств.

Такой закон неприемлем.

Поэтому ЗНП должен быть сформулирован независимо от Уайлса.

Его критерии должны применяться одинаково к:

Ламе;

Уайлсу;

вычислительному доказательству;

локально-глобальному аргументу;

TailTypes;

MetaTypes;

TF-Sieve;

Collapse Function;

и любому будущему доказательству самого автора.

Только после этого разрешено проводить конкретный аудит.

Уайлс как фальсифицирующий тест для самого ЗНП
Можно даже развернуть направление проверки.

Не только ЗНП проверяет Уайлса.

Уайлс проверяет ЗНП.

Если закон объявит недопустимым любое удалённое доказательство от противного, закон слишком силён и должен быть отвергнут или исправлен.

Если он не способен отличить настоящий семантический дефект от простой абстракции, он бесполезен.

Если его требования невозможно удовлетворить даже в очевидно корректных редукциях, он ошибочно сконструирован.

Если же он способен:

пропустить корректные односторонние переносы;

разрешить контролируемую потерю информации;

не требовать T;;;

сохранить контрапозицию;

разрешить абстракцию;

и при этом обнаруживать реальную предметную подмену, потерю кванторов, неполную типизацию, скрытый статусный скачок или использование потерянного свойства,

тогда ЗНП проходит первый собственный тест.

Именно поэтому анализ Уайлса должен быть симметричным.

Авторская позиция может быть выражена строго:

автор настоящей работы не признаёт систему Фрей—Серр—Рибет—Уайлс—Тейлор доказательством Последней теоремы Ферма в усиленном смысле доказательства, развиваемом в рамках Закона недопустимого переноса.

Но это утверждение не должно подменяться другим:

«современная математика не имеет доказательства ТФ».

Современный математический консенсус признаёт доказательство Уайлса и Тейлора—Уайлса достаточным в рамках стандартных критериев математического доказательства.

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

Он относится к предлагаемому усилению самого стандарта межтеоретической доказательной достаточности.

И именно поэтому дальнейшая судьба критики зависит от судьбы ЗНП.

Если будет независимо установлено, что требования:

сохранения доказательно релевантной семантики;

референциальной непрерывности;

явного учёта информационных потерь;

композиционной сертификации;

контроля семантического долга;

и доказательного возврата

действительно являются обязательными общими условиями математического доказательства, тогда вся система Уайлса должна пройти новый аудит по этим критериям.

Если она этот аудит проходит, критика снимается.

Если не проходит, возникает основание пересматривать её статус уже не по риторическим, а по сформулированным метаматематическим причинам.

Если же сам ЗНП не удастся обосновать как общий закон, тогда он останется авторским методологическим предложением, а не основанием для изменения принятого статуса доказательства ТФ.

Именно эта симметрия делает закон научно уязвимым — и потому потенциально научно значимым.

Он должен быть способен проиграть.

Закон, который заранее подтверждает только желаемый вывод автора, не является фильтром.

Это идеология.

Метаорганон должен требовать другого.

Он должен фильтровать любую доказательную систему, включая собственную.

И поэтому окончательная формула настоящей главы должна быть обращена одновременно наружу и внутрь:

Закон недопустимого переноса имеет право называться фильтром паралогических доказательных систем только в той мере, в какой он сам допускает строгий, симметричный и потенциально фальсифицирующий аудит своих критериев.

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

Не в том, чтобы возвратить доказательство в исходный язык любой ценой.

Не в том, чтобы запретить абстракцию.

Не в том, чтобы требовать буквальной обратимости.

Его предназначение значительно точнее:

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

В этом смысле ЗНП становится не законом математической неподвижности, а законом доказательной меры.

Разрешай перенос настолько далеко, насколько позволяет сертификат.

Сжимай объект настолько сильно, насколько позволяет ЗУТ.

Вводи новые сущности настолько широко, насколько они погашают доказательный долг.

Комбинируй теории настолько свободно, насколько сохраняется исходная референция.

И останавливай доказательный вывод в той точке, где заканчивается сертифицированная семантика.

Именно там проходит граница между сложным доказательством и паралогической доказательной системой.

********