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

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

********
В.К. Петросян (Вадимир). Метатеорема Ферма и ее следствия. В 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
*********


Что значит перенести математический объект

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

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

Последний случай и составляет главную опасность.

В математическом тексте подмена редко совершается грубо. Никто обычно не пишет: «объект A и объект B тождественны, хотя они различны». Подмена происходит значительно тоньше. Сначала строится корректное отображение A в B. Затем из A извлекается свойство, которое получает некоторый образ в B. Далее доказательство начинает работать преимущественно с B. После нескольких следующих переходов A исчезает из формул, затем из определений, затем из списка используемых гипотез. Наконец получается сильный результат в новой теории, и посредством цепочки формальных ссылок он возвращается к исходной задаче. Именно в этот момент необходимо задать вопрос, который обычная проверка локальных импликаций может не задавать: продолжали ли мы всё это время доказывать утверждение об A или в определённой точке доказательная система заменила A его представлением и стала доказывать уже нечто иное?

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

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

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

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

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

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

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

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

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

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

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

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

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

Именно поэтому ЗНП должен анализировать не только стрелки, но и изменение предмета доказательства.

Вводим первое принципиальное положение.

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

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

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

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

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

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

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

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

Математическое представление — тем более.

2. Свойство и его образ
Перенос объекта ещё не означает переноса его свойств. Это простое положение исторически уже проявилось в ошибке Ламе: возможность факторизации в расширенной области не означала автоматического сохранения уникальной факторизации элементов. Но для сильного ЗНП этого первоначального тезиса недостаточно. Необходимо исследовать не только факт переноса отдельного свойства, но весь механизм превращения свойства в его образ.

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

Это пять принципиально различных ситуаций, и смешивать их нельзя.

Буквальное сохранение встречается сравнительно редко. Чаще исходное свойство меняет язык. Делимость превращается в нулевой остаток. Геометрическая симметрия может превратиться в алгебраическое условие на координаты. Высокая кратность простого множителя может проявиться как условие на валюацию дискриминанта. Свойство кривой может выразиться через поведение представления Галуа.

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

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

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

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

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

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

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

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

Иными словами, недостаточно спросить: «следует ли Q из P?» Необходимо спросить: «почему отрицание Q имеет доказательную силу именно относительно P после всех произведённых преобразований?»

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

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

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

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

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

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

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

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

Эти режимы неравноценны.

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

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

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

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

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

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

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

В математике роль такого прибора выполняет отображение, инвариант, фактор-объект, класс эквивалентности или новая категория объектов.

Если инструмент не видит различия, это ещё не означает, что различия нет.

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

Это один из главных тезисов ЗНП.

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

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

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

Далее необходимо различать сохранение и появление новой структуры. Если при переходе A ; B в B возникает свойство R, которого вообще не было в языке A, R может быть чрезвычайно полезным. Но его применимость к исходному вопросу должна быть установлена через сохранённую часть структуры A, а не через собственную внутреннюю значимость R.

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

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

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

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

Но слово «намеренно» здесь принципиально.

Допустимая математическая абстракция знает, что именно она забыла.

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

Это различие должно стать одним из афористически жёстких оснований ЗНП.

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

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

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

Потеря структуры бывает по меньшей мере трёх типов.

Первый тип — заведомо нерелевантная потеря. Например, при исследовании делимости на m величина числа может быть не нужна. Такое сжатие безопасно, если это продемонстрировано характером цели.

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

Но это логически недостаточно.

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

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

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

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

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

Но именно это и должно быть продемонстрировано, а не предположено.

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

Если ничего из этого не предъявлено, долг остаётся открытым.

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

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

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

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

Это не метафизическая категория. В доказательстве референция отвечает на простой вопрос: о чём именно в данный момент мы делаем вывод?

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

Пусть исходно мы предполагаем существование целочисленной четверки определённого вида. Из неё строится геометрический объект. Из геометрического объекта — представление. Из представления — универсальная деформационная задача. Из неё — кольцо. Кольцо сравнивается с другой алгеброй. В какой точке и в каком формальном носителе сохраняется утверждение: «мы всё ещё исследуем именно тот гипотетический контрпример»?

Ответ «потому что вся цепочка началась с него» недостаточен.

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

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

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

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

Это уже разные утверждения.

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

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

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

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

Так возникает важнейший принцип:

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

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

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

Это и есть принцип композиционной семантики.

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

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

Если первый переход сохраняет 90 процентов релевантной структуры, а второй — 90 процентов того, что осталось, нельзя просто утверждать, что каждый из них «почти полный». Важна композиция и характер именно потерянных десяти процентов. Один-единственный отброшенный инвариант может оказаться тем, относительно которого исходное утверждение вообще отличалось от более широкого класса объектов.

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

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

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

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

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

Нужен другой критерий.

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

Это требование значительно строже фразы «мы эту информацию дальше не используем».

Неиспользование — факт о доказательстве.

Избыточность — факт об исходной задаче.

Их нельзя смешивать.

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

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

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

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

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

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

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

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

Именно это мы будем называть контрпример-отражающей редукцией.

Она не требует восстановить исходный объект.

Она требует сохранить невозможность потерять исходный контрпример в процессе кодирования.

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

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

Сохранённая информация образует доказательный капитал.

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

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

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

Это ещё не доказывает ложность результата. Но это сильнейший сигнал для ЗНП-аудита.

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

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

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

Не обязательно обратное отображение.

Не обязательно алгоритм реконструкции.

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

Таким образом, уже на уровне главы 24 становится видно, почему будущий ЗНП не может ограничиться банальной формулой «нельзя переносить свойства без доказательства». Этот принцип верен, но он ловит только грубые ошибки типа Ламе. Современные доказательные системы гораздо сложнее. Их слабое место, если оно существует, находится не обязательно в одной неверной стрелке. Оно может находиться в композиции вполне корректных стрелок, каждая из которых сопровождается информационным сжатием, изменением предметной области и дальнейшей автономизацией образа.

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

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

В этом и заключается принципиальный поворот настоящей части книги.

До сих пор математика главным образом спрашивала: верна ли стрелка между двумя уровнями?

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

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

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

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

*******

Типы математического переноса

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Для признания переноса семантически достаточным требуется больше.

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

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

Особенно важен случай доказательства невозможности. Здесь полная обратимость действительно не требуется. Если всякий исходный контрпример неизбежно порождает объект запрещённого типа, а существование объекта такого типа исключено, исходный контрпример невозможен. Но даже в этой схеме требуется установить, что категория «запрещённого типа» получена именно из доказательно существенных свойств исходного контрпримера и что в ходе последующих преобразований этот тип не был незаметно ослаблен, расширен или заменён другим.

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

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

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

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

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

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

Если ответ имеет вид «мы это дальше не используем», этого недостаточно.

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

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

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

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

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

Класс вычетов — селективное представление целого числа. Спектр — селективное представление оператора. Проводник — селективный инвариант арифметического объекта. Представление Галуа — чрезвычайно богатое, но всё же селективное представление геометрической структуры. TailType в последующей программе книги также будет селективным представлением числа или числовой конфигурации.

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

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

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

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

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

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

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

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

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

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

Она не обязательно ошибочна, но её нельзя считать нейтральной.

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

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

Именно здесь будет проходить одна из линий будущего аудита конструкции Фрея—Серра—Рибета—Уайлса. Кривая Фрея сохраняет очень сильную, но селективную сигнатуру гипотетической ферматовской четверки. Представление Галуа выполняет ещё одно селективное сжатие. Деформационное кольцо организует уже класс представлений. Вопрос ЗНП заключается не в отрицании математической корректности этих объектов, а в проверке того, где и каким образом селективность каждого слоя получает сертификат достаточности для исходной задачи.

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

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

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

Неполный перенос не является ошибкой.

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

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

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

Неполный перенос обладает честным статусом: «мы дошли сюда; дальше требуется ещё один мост».

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

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

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

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

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

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

Неполный перенос — это зона, где исследовательское воображение законно опережает доказательство.

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

Гипотеза должна называться гипотезой.

Наблюдение — наблюдением.

Вычислительная закономерность — вычислительной закономерностью.

Необходимое условие — необходимым условием.

Частичный сертификат — частичным сертификатом.

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

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

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

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

Классический пример — Ламе. Циклотомическая факторизация была реальной. Перенос объекта был математически содержательным. Ошибка возникла тогда, когда свойство уникальной факторизации, привычное для целых чисел, было использовано в новой области без необходимого основания.

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

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

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

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

Первый — неустановленное сохранение: предполагается, что свойство пережило переход, хотя это не продемонстрировано.

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

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

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

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

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

Последний тип особенно важен. Именно он выводит ЗНП за пределы банального правила «не применяй недоказанную теорему».

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

Отсюда следует жёсткое правило:

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

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

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

Это чрезвычайно важно.

ЗНП не объявляет эллиптические кривые, модулярные формы, представления Галуа или деформационные кольца «неправильными объектами». Он спрашивает только: какое право имеет конкретный результат в этих областях выступать доказательством исходного утверждения?

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

6. Паралогический перенос
Шестой тип является наиболее важным нововведением по сравнению с прежней классификацией.

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

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

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

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

Именно поэтому она способна выглядеть особенно убедительно.

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

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

Сначала исходный объект переводится в более удобное представление.

Затем сохраняется лишь часть его свойств.

Затем выбранная часть объявляется достаточной.

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

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

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

Затем возникает новый аппарат для управления уже новым аппаратом.

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

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

Именно здесь ЗНП задаёт вопрос: где находится непрерывный доказательный носитель исходной референции?

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

Паралогический перенос имеет несколько характерных симптомов.

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

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

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

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

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

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

Шестой симптом — компенсаторное разрастание. Проблема одного уровня решается введением следующего уровня; следующий требует нового посредника; посредник — дополнительной теории. Если число вспомогательных сущностей растёт быстрее, чем погашается семантический долг, появляется структура «Тришкиного кафтана».

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

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

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

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

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

Два — тоже.

Десять — тоже.

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

Это один из наиболее важных тезисов всей книги.

Допустимость не всегда композиционна.

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

ЗНП не отрицает этот закон.

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

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

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

Это и есть тот класс доказательных архитектур, для распознавания которого создаётся сильный ЗНП.

В наиболее краткой форме шесть типов можно расположить следующим образом.

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

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

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

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

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

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

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

Она проходит не между элементарной и современной математикой.

Не между арифметикой и геометрией.

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

Не между коротким и длинным рассуждением.

Не между «понятным» и «сложным».

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

Именно второе ЗНП отказывается принимать на веру.

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

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

Именно паралогический перенос является главным противником ЗНП.

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

*********

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

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

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

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

1. Сильная формулировка закона
В предварительной форме Закон недопустимого переноса можно выразить следующим образом:

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

Эта формулировка сознательно сильнее старой. Она не ограничивается требованием «не переносить свойства без доказательства». Такое требование ловит только грубые ошибки вроде переноса уникальной факторизации Ламе. Современные паралогические системы могут быть значительно тоньше: каждое локальное свойство в них действительно установлено, однако вся цепочка постепенно теряет исходную семантику. Поэтому сильный ЗНП контролирует не только отдельное свойство, но и архитектуру переноса в целом.

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

Во-первых, само существование корректной конструкции из A в B не даёт объекту B доказательной власти над A.

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

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

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

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

В-шестых, локальная корректность всех стрелок не отменяет необходимости глобального семантического сертификата.

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

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

Её можно сформулировать ещё жёстче:

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

И наконец, в предельно концентрированном виде:

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

Именно это положение отличает ЗНП от обычной проверки логической непротиворечивости цепочки.

2. Доказательно релевантная семантика
Главное понятие закона — доказательно релевантная семантика. Без него ЗНП либо превращается в запрет любого сжатия информации, либо, наоборот, становится тривиальным правилом «не применяй недоказанное».

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

Это определение требует осторожности. Релевантность нельзя определять через то, чем фактически пользуется уже выбранное доказательство. Если доказательство отбросило некоторую характеристику и поэтому больше её не использует, отсюда нельзя заключать, что характеристика была нерелевантна изначально. Иначе любая потеря информации будет автоматически оправдана самим фактом потери.

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

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

Исходная задача задаёт критерий.

Представление должно ему соответствовать.

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

Именно поэтому вводится принцип приоритета исходной семантики: при оценке переноса первичной является структура первоначального утверждения, а не структура теории, в которую оно переводится.

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

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

Первый — предметный: о каких объектах исходно говорится?

Второй — предикативный: какое свойство этих объектов утверждается или отрицается?

Третий — кванторный: относительно какого класса объектов и в каком логическом объёме сформулировано утверждение?

Четвёртый — различительный: какие различия между объектами могут изменить истинность целевого утверждения?

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

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

Отсюда следует:

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

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

3. Требования к сохранению информации
ЗНП не требует полного сохранения информации. Это было бы несовместимо с самой природой абстракции. Но он требует контролируемого сохранения.

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

Третий вопрос является решающим.

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

Иначе доказательство оказывается судьёй собственной полноты.

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

Это бремя возрастает особенно быстро при последовательных переносах. Первый переход может забыть одно множество характеристик. Второй работает уже с редуцированным образом и забывает ещё часть. Третий забывает часть второго. Совокупная потеря не равна простой сумме: некоторые свойства становятся вообще невосстановимыми уже после первого слияния состояний.

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

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

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

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

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

Новая информация не тождественна утраченной.

Это особенно важно для доказательств, где после сильного сжатия возникает чрезвычайно развитая внешняя теория. Богатство новых объектов может психологически создавать ощущение, что доказательство стало «ещё более содержательным». Но с точки зрения исходной задачи возможно противоположное: новое содержание относится уже к новой области, тогда как исходная сигнатура продолжает уменьшаться.

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

Именно здесь ЗНП становится мечом, а не этикеткой.

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

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

Таким образом, семантический сертификат значительно шире обычной теоремы вида P ; Q.

Он отвечает не только на вопрос «верна ли стрелка?», но и на вопрос «что означает эта стрелка внутри всей доказательной архитектуры?»

Полный сертификат можно рассматривать как состоящий из семи основных блоков.

Первый — сертификат объекта: что именно переносится и каким образом идентифицируется его образ.

Второй — сертификат свойства: какое исходное свойство преобразуется и в какую целевую форму.

Третий — сертификат сохранения: почему соответствующая связь действительно установлена.

Четвёртый — сертификат потерь: что исчезает и почему исчезновение допустимо.

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

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

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

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

Особенно важно, что сертификат не должен заполняться постфактум общими словами. Формулы «очевидно соответствует», «естественно кодирует», «известно, что связано», «можно рассматривать как» не являются сертификатами. Они могут быть хорошими эвристическими указателями, но ЗНП требует точного математического содержания.

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

5. Требование возврата к исходной задаче
Наиболее спорный и наиболее важный элемент сильного ЗНП — требование возврата.

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

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

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

Сильный ЗНП вводит промежуточное понятие: доказательный возврат.

Доказательный возврат не означает реконструировать исходный объект.

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

В простом случае контрапозиция действительно является достаточным механизмом возврата. Если связь P ; Q непосредственно установлена и никаких существенных сжатий между ними нет, из невозможности Q следует невозможность P.

Но при длинной цепочке A ; B ; C ; D простая запись контрапозиции всей композиции скрывает вопрос: сохранён ли один и тот же доказательный смысл на переходах A ; B, B ; C и C ; D?

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

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

Иначе логика возвращается, но уже от другого предиката.

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

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

Широта целевой теории сама по себе не проблема.

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

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

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

Это одна из центральных формулировок сильного ЗНП.

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

Именно здесь ЗНП вводит своё наиболее нетривиальное требование: семантическая допустимость не является автоматически композиционной.

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

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

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

Поэтому для длинной цепочки необходима двойная проверка.

Первая — локальная: каждый переход должен иметь собственный сертификат.

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

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

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

Нет.

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

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

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

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

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

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

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

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

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

Он возникает, когда новая сущность должна быть связана с исходной.

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

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

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

Такой долг может быть погашен.

Теорема сохранения погашает один долг.

Теорема отражения — другой.

Полнота классификации — третий.

Композиционный сертификат — четвёртый.

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

Именно здесь возникает строгая версия образа «Тришкиного кафтана».

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

Это не значит, что сложность запрещена.

Это значит, что сложность должна платить за себя.

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

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

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

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

Не потому, что простое всегда истиннее сложного.

А потому, что каждая новая сущность должна иметь доказательную необходимость.

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

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

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

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

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

8. Запрет предметной подмены
Все предыдущие положения сходятся в последнем и наиболее жёстком запрете ЗНП — запрете предметной подмены.

Предметная подмена происходит тогда, когда доказательная система начинает с утверждения об объекте A, затем последовательно переходит к объектам B, C, D, а в финале результат об D объявляется решением задачи об A без достаточного доказательства того, что предмет A сохранялся на уровне доказательной референции.

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

Именно поэтому она паралогична, а не просто ошибочна.

Каждый новый объект может быть корректно построен.

Каждая теорема может быть истинна.

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

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

Здесь следует сформулировать один из главных тезисов Метаорганона:

Нельзя считать доказанным утверждение об объекте A только потому, что из A удалось породить объект B, затем C, затем D и получить глубокую теорему о D. Требуется отдельно установить, что доказательная функция A пережила всю цепочку преобразований.

Предметная подмена особенно вероятна при трёх условиях.

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

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

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

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

Такое доказательство может быть великой математикой.

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

Это различие ЗНП будет отстаивать предельно жёстко.

Отсюда окончательная сильная формулировка Закона недопустимого переноса:

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

И положительная форма того же закона:

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

В этом виде ЗНП перестаёт быть предостережением против аналогий.

Он становится критерием закрытия доказательной системы.

Он не спрашивает, насколько красив переход.

Не спрашивает, насколько он общепринят.

Не спрашивает, насколько глубока целевая теория.

Не спрашивает, сколько специалистов признают её результаты.

Он задаёт один вопрос:

сохранила ли доказательная система право говорить от имени исходного утверждения после всех произведённых ею переносов?

Если да — перенос допустим.

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

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

***********

Дополнительные принципы ЗНП

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

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

Именно здесь появляются принцип доказательной экономии, доказательная форма бритвы Оккама и запрет компенсаторного разрастания.

1. Бритва Оккама и принцип доказательной экономии
Классическая бритва Оккама в наиболее общем виде предостерегает от умножения сущностей без необходимости. В математике этот принцип обычно имеет эвристический характер. Более короткое доказательство не обязательно лучше длинного, а более простая теория не обязательно истиннее сложной. История математики многократно показывала, что реальная структура объекта может требовать чрезвычайно сложного аппарата.

Поэтому ЗНП не превращает бритву Оккама в примитивный лозунг «простое доказательство лучше сложного».

Речь идёт о другом.

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

Из этого возникает принцип доказательной экономии:

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

Это не критерий истинности. Это критерий архитектурной ответственности.

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

Она должна выполнять определённую доказательную функцию.

Необходимо уметь ответить: какую именно проблему она решает? Почему существующего языка недостаточно? Какую релевантную информацию она сохраняет или делает доступной? Какой семантический долг погашает? Какие новые обязательства создаёт?

Если на эти вопросы нет ясного ответа, сущность начинает функционировать как теоретический балласт.

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

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

В этом смысле ЗНП вводит запрет на аппаратную экспансию ради самой аппаратной экспансии.

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

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

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

Новая сущность допустима, если она служит мостом.

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

2. Запрет умножения сущностей без необходимости
Принцип доказательной экономии требует конкретизации. Что именно означает «без необходимости»?

Необходимость может быть по меньшей мере четырёх видов.

Первая — логическая. Без новой конструкции невозможно завершить доказательный вывод.

Вторая — структурная. Новая сущность восстанавливает свойство, потерянное в предыдущем представлении.

Третья — компрессионная. Она позволяет заменить бесконечное или практически неуправляемое пространство объектов конечной или структурно обозримой системой.

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

Во всех этих случаях новая сущность может быть полностью оправдана.

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

Так возникает онтологический каскад доказательства.

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

Для каждой новой сущности ЗНП требует установить:

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

Именно это и составляет нарушение принципа экономии.

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

Он направлен против скрытого механизма паралогии.

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

Отсюда следует принцип доказательной пропорциональности:

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

Иначе сложность становится самоцелью.

3. Принцип недопустимой компенсаторной латки
История математики знает множество случаев, когда обнаруженный пробел действительно устранялся новой идеей. Это нормальный научный процесс. Поэтому всякая «заплатка» не является пороком.

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

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

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

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

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

Это положение чрезвычайно важно.

Локальное закрытие разрыва ещё не означает глобального уменьшения доказательного долга.

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

Такое улучшение будет компенсаторным, а не разрешающим.

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

Компенсаторный ремонт меняет форму обязательств.

Эти два режима нельзя смешивать.

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

Какой долг существовал до ремонта?

Какой долг погашен?

Какие новые долги появились?

Как изменилась суммарная зависимость системы от внешних теорий?

Стала ли референциальная нить короче, прозрачнее или хотя бы лучше сертифицированной?

Если нет, ремонт не может считаться окончательным с точки зрения ЗНП.

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

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

Формально такой режим можно охарактеризовать следующим образом:

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

Это определение принципиально лучше простого лозунга «слишком много заплаток».

Много слоёв само по себе ничего не доказывает.

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

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

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

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

Чем больше теорем, тем сильнее впечатление фундаментальности.

Чем больше специалистов, тем сильнее социальная устойчивость.

Чем длиннее цепочка, тем труднее её оспаривать локально.

Но ни один из этих факторов не заменяет вопроса о семантическом долге.

«Тришкин кафтан» может быть собран из математически истинных кусков.

Проблема не в качестве ткани.

Проблема в архитектуре ремонта.

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

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

Первое: дефект локализован. Известно, какое именно утверждение, переход, условие применимости или структурное свойство отсутствовало.

Второе: новый механизм адресует именно этот дефект, а не просто обходит его путём перехода к другой задаче.

Третье: после исправления появляется формальный сертификат ранее отсутствовавшей связи.

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

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

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

Это важно.

Настоящий ремонт не скрывает дефект.

Он признаёт его.

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

Не обходит риторически.

Не объявляет несущественным постфактум.

Он строит новый сертифицированный механизм именно там, где старый механизм разрушился.

Поэтому можно сформулировать критерий разрешающего ремонта:

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

Только такой ремонт действительно погашает долг.

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

Это один из наиболее опасных механизмов.

Дефект может быть не устранён, а экранирован новой теорией.

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

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

Его характерные признаки следующие.

Первый — исходный вопрос не получает прямого ответа.

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

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

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

Пятый — для обоснования нового слоя требуется следующая вспомогательная теория.

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

Такой режим особенно легко маскируется под «углубление».

Но углубление и разрешение — разные вещи.

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

Отсюда следует принцип запрета регрессивного ремонта:

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

Это и есть строгая версия идеи бесконечного ряда заплаток.

Не количество исторических работ важно.

Не число поколений математиков.

Не хронология расширения теории.

Важно, существует ли конечная точка доказательной замкнутости.

Если такая точка есть, система может быть сколь угодно сложной.

Если её нет, мы имеем открытый регресс.

7. Что Закон недопустимого переноса не запрещает
После всего сказанного особенно важно предотвратить противоположное искажение. Сильный ЗНП не должен быть понят как закон математического изоляционизма. Такая трактовка уничтожила бы огромную часть современной математики и одновременно сделала бы невозможной собственную программу этой книги.

ЗНП не запрещает междисциплинарность. Теория чисел вправе пользоваться геометрией, анализом, теорией представлений, коммутативной алгеброй, топологией и вычислительными методами. Сам переход между областями не является дефектом. ТФМ — Том1 — Начало — до Части…

ЗНП не запрещает абстракцию. Можно заменять индивидуальные объекты классами, фактор-структурами, инвариантами, типами и универсальными конструкциями. Более того, именно такая абстракция может превращать бесконечную задачу в конечную структурную. Это принципиально важно для TailTypes, ExponentTypes, MetaTypes и TF-Sieve. ТФМ — Том1 — Начало — до Части…

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

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

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

ЗНП не требует буквального обратного отображения.

Он требует доказательного возврата.

ЗНП не запрещает удалённые объекты.

Он запрещает потерю доказательного адреса.

ЗНП не запрещает сложность.

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

ЗНП не запрещает новые сущности.

Он запрещает их неконтролируемое размножение.

ЗНП не запрещает исправление доказательства.

Он запрещает выдавать перенос дефекта за его устранение.

ЗНП не запрещает развитие теории после доказательства.

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

И наконец, ЗНП не является оружием только против чужих теорий.

Это особенно важно.

Если закон применяется к Уайлсу, он должен с той же жёсткостью применяться к «Метатеореме Ферма».

TailType не получает доказательную силу только потому, что введён в нашей книге.

MetaType не становится полным представлением потому, что он удобен.

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

Collapse Function не превращается в теорему о бесконечности без сертификата замыкания.

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

Именно поэтому симметричность применения ЗНП является условием его научной состоятельности. В исходном тексте эта мысль уже присутствовала: для каждого критического перехода нашей собственной теории должны быть указаны объект, представление, сохраняемое свойство, теорема переноса, структурные потери и сертификат возвращения к ТФ; если одна из этих строк остаётся пустой, доказательная архитектура ещё не замкнута. ТФМ — Том1 — Начало — до Части…

Это положение необходимо сохранить и усилить.

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

Он является риторическим инструментом.

ЗНП претендует на иной статус.

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

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

Только тогда бритва Оккама превращается из стилистического пожелания в принцип доказательной экономии.

Только тогда «Тришкин кафтан» становится не насмешкой над сложностью, а проверяемым режимом накопления долга.

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

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

*******