Возвращение к проблеме Ферма. Новейшие подходы

Возвращение к Ферма

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

Что останется, если убрать весь внешний аппарат

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

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

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

Причина возврата иная.

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

Пусть гипотетически существуют положительные целые числа X, Y, Z и показатель n > 2, для которых

X^n + Y^n = Z^n.

После стандартной примитивизации можно считать тройку примитивной. Благодаря симметрии двух левых слагаемых можно выбрать порядок X ; Y. Из самого равенства немедленно следует Z > X и Z > Y. Таким образом, после удаления всех внешних представлений остаётся минимальная четверка

(X, Y, Z, n),

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

С этого момента действует принцип, прямо вытекающий из Метаорганона:

всякая новая конструкция должна сначала показать, что она извлекает из (X, Y, Z, n), чего нельзя было получить непосредственно, и какую новую доказательную силу она добавляет.

Иначе аппарат снова начнёт доминировать над объектом.

1. X
В исходном уравнении X кажется лишь первым из двух симметричных слагаемых. Однако после выбора нормировки X ; Y его роль становится более определённой: X оказывается тем из двух левых чисел, которое расположено ближе к максимальному числу Z.

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

Из исходного равенства следует

X^n = Z^n ; Y^n.

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

Это уже первая форма внутренней жёсткости.

Необходимо не просто найти три числа.

Необходимо, чтобы разность Z^n ; Y^n имела строго определённую степенную форму.

X и расстояние до Z
Введём первый внутренний зазор

A = Z ; X > 0.

Тогда

X = Z ; A,

а исходное равенство принимает вид

(Z ; A)^n + Y^n = Z^n,

то есть

Y^n = Z^n ; (Z ; A)^n.

После биномиального раскрытия правая часть содержит множитель A. Поэтому расстояние между X и Z не является независимым геометрическим параметром: оно связано со всей степенной структурой Y^n. Исходный текст именно отсюда начинает рассматривать A как внутреннюю координату той же ферматовской системы, а не как внешне введённый объект. ТФМ — Том1 — Часть 9 и ниже

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

Мы не покидаем объект.

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

Мы лишь меняем координаты внутри той же четверки.

X как носитель локальной информации
Если простой q делит X, то исходное равенство даёт

Y^n ; Z^n mod q.

При q, не делящем YZ, отношение ZY^{-1} modulo q должно быть n-м корнем из единицы.

Следовательно, уже простой делитель X несёт информацию о показателе n.

Это одна из первых внутренних связей различных уровней:

факторизация X взаимодействует с режимом показателя n.

Тем самым X одновременно является:

целым числом;

степенным слагаемым;

носителем собственного набора простых делителей;

источником локальных ограничений на n;

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

Последнее особенно важно.

Если определить

D_m = X^m + Y^m ; Z^m,

то при любом положительном m < n для гипотетического решения выполняется D_m > 0, тогда как D_n = 0. Следовательно, X должен участвовать в одной и той же целочисленной конфигурации так, чтобы все меньшие степени давали положительный избыток, а именно на степени n возникало точное равенство. ТФМ — Том1 — Часть 9 и ниже

Это превращает X из одного слагаемого в участника целой степенной динамики.

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

Само исходное уравнение симметрично относительно перестановки X и Y.

Поэтому всякое утверждение об X, которое не использует условие X ; Y, должно иметь симметричный аналог для Y. Исходный текст справедливо подчёркивает, что это обстоятельство принципиально для будущей типизации: теория не должна искусственно различать то, чего не различает само исходное уравнение. ТФМ — Том1 — Часть 9 и ниже

Здесь уже начинает работать ЗУТ.

До нормировки X и Y условно тождественны относительно всех симметричных свойств уравнения.

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

2. Y
После выбора X ; Y число Y становится меньшим из двух левых слагаемых. Но слово «меньшее» здесь не означает «второстепенное».

Напротив, именно Y во многом определяет, насколько близко X должно находиться к Z.

Нормированная форма
Разделим равенство на Z^n и введём

u = X/Z,

v = Y/Z.

Тогда

0 < v ; u < 1

и

u^n + v^n = 1.

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

Абсолютный масштаб временно устраняется, но отношения между тремя числами остаются.

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

Y и режим близости X к Z
Из

u^n = 1 ; v^n

следует

u = (1 ; v^n)^{1/n}.

Если v мало, u должно быть близко к единице.

В исходных величинах это означает:

если Y мало относительно Z, то X должен быть очень близок к Z.

Если же X и Y близки друг к другу, возникает другой режим: приблизительно два одинаковых n-х степенных слагаемых должны давать Z^n.

Таким образом, уже внутри минимального объекта естественно возникают различные структурные режимы:

сильно асимметричный;

почти симметричный;

и промежуточные состояния.

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

Это правильная дисциплина статусов.

Режим существует как исследовательская координата.

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

Y и первый зазор
Связь

Y^n = Z^n ; (Z ; A)^n

показывает, что величина Y контролирует зазор A = Z ; X.

При малом относительном A/Z биномиальная структура позволяет увидеть первый приближённый масштаб связи между Y^n и A. Но здесь необходимо сохранять статус: подобная асимптотическая или приближённая картина служит ориентацией, а не целочисленным доказательством.

Её содержательный смысл состоит в другом:

малое Y/Z требует малого относительного расстояния между X и Z.

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

Второй зазор
Аналогично введём

B = Z ; Y.

Тогда

X = Z ; A,

Y = Z ; B,

причём при X ; Y имеем A ; B.

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

(Z ; A, Z ; B, Z).

Уравнение приобретает форму

(Z ; A)^n + (Z ; B)^n = Z^n. ТФМ — Том1 — Часть 9 и ниже

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

Теперь вместо трёх абсолютных длин можно работать с:

масштабом Z;

и двумя расстояниями A, B от максимального элемента.

Но это не иной объект.

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

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

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

Это один из фундаментальных внутренних конфликтов, который не требует никакого внешнего объекта:

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

3. Z
Z занимает особое положение.

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

При положительных X и Y из исходного равенства автоматически следует

Z > X,

Z > Y.

После принятой нормировки имеем

Z > X ; Y > 0.

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

Z как масштаб
Степенное равенство однородно.

Поэтому отношение между X, Y и Z естественно изучать через нормированные координаты u и v.

Именно Z позволяет отделить:

абсолютный размер;

от относительной формы конфигурации.

В этом смысле Z выполняет роль естественного масштаба.

Но здесь появляется важное ограничение.

Последняя теорема Ферма не является задачей только о вещественных или рациональных точках кривой

u^n + v^n = 1.

Она требует целочисленной тройки.

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

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

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

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

Z как эталон низших степеней
Определим

R_m = (X^m + Y^m)/Z^m.

Тогда для гипотетического ферматовского объекта:

R_m > 1 при m < n,

R_n = 1.

В нормированной форме

R_m = u^m + v^m.

Поскольку 0 < u, v < 1, последовательность R_m строго убывает с ростом m.

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

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

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

Z как геометрическая ось
Из D_1 > 0 следует

X + Y > Z.

Вместе с Z > X, Z > Y это означает, что X, Y, Z удовлетворяют неравенствам треугольника.

Из D_2 > 0 следует

X; + Y; > Z;.

Так как Z — наибольшая сторона, угол напротив Z острый, следовательно, весь соответствующий треугольник остроугольный.

Поэтому Z одновременно выступает как:

максимальное число;

правая сторона степенного равенства;

масштаб нормировки;

максимальная сторона ферматовского треугольника;

геометрическая ось, относительно которой естественно измерять X и Y.

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

Z, K, Q и внутреннее сжатие
Введём уже знакомые величины

K = X + Y ; Z,

Q = X; + Y; ; Z;.

При гипотетическом решении и n > 2 обе положительны.

Для зазоров

A = Z ; X,

B = Z ; Y

имеем

A + B = Z ; K,

а также

K; ; Q = 2AB.

Следовательно, A и B являются корнями квадратного уравнения, коэффициенты которого выражаются через Z, K и Q. Его дискриминант оказывается равным (X ; Y);. ТФМ — Том1 — Часть 9 и ниже

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

Вместо исходных X и Y можно частично работать через Z, K и Q, не выходя за пределы объектов, непосредственно вычисляемых из самой тройки.

Причём сжатие сохраняет существенную информацию: из этих величин восстанавливается квадрат разности X и Y.

Такой переход представляет именно тот тип абстракции, который Метаорганон должен приветствовать:

новые координаты вводятся не потому, что они доступны аппарату, а потому, что они компактно кодируют структуру исходного объекта.

4. n
Показатель n принципиально отличается от X, Y и Z.

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

n определяет сам режим этой операции.

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

Он не просто четвёртая координата.

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

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

Если изменить n, меняется само отображение

x ; x^n,

а вместе с ним:

относительные размеры степеней;

остаточное поведение;

периодичность modulo m;

форма низкостепенной траектории;

факторизационные возможности;

геометрия нормированной кривой.

Поэтому исходный текст называет n параметром режима и именно отсюда выводит естественную будущую роль ExponentTypes. ТФМ — Том1 — Часть 9 и ниже

Стандартная редукция показателей
Для доказательства ТФ достаточно рассматривать случай n = 4 и нечётные простые показатели.

Если n имеет нечётный простой делитель p и n = pm, то гипотетическое решение при n порождает решение при показателе p для X^m, Y^m, Z^m.

Если n является степенью двойки выше второй, оно редуцируется к случаю четвертой степени. ТФМ — Том1 — Часть 9 и ниже

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

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

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

n как точка степенного пересечения
Для фиксированных нормированных u и v функция

u^t + v^t

строго убывает по вещественному t > 0.

Уравнение

u^t + v^t = 1

имеет единственную точку пересечения.

Гипотетический ферматовский объект требует, чтобы эта точка одновременно:

была целым n > 2;

и возникала для рациональных u = X/Z, v = Y/Z, происходящих из примитивной целочисленной тройки. ТФМ — Том1 — Часть 9 и ниже

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

На вещественном уровне точка t существует естественно.

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

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

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

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

n ; ExponentType(n).

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

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

Разные фильтры могут видеть n по-разному:

modulo 2^k;

modulo 5^k;

modulo других простых;

через p-адические условия;

через факторизации;

через низкостепенную динамику.

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

Большой n и близость X к Z
Из

u^n + v^n = 1

при 0 < v ; u < 1 следует, что при росте n по крайней мере u должно приближаться к единице.

То есть в относительном масштабе X должен становиться близким к Z.

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

большой показатель ; малый относительный зазор (Z ; X)/Z.

Но зазор A = Z ; X остаётся положительным целым.

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

При этом

Y^n = Z^n ; (Z ; A)^n

должно снова быть точной n-й степенью.

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

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

5. Исходные отношения между ними
После раздельного рассмотрения X, Y, Z и n становится ясно, что настоящий объект исследования — не четыре компонента по отдельности, а система их взаимных отношений.

Обозначим минимальный ферматовский объект

; = (X, Y, Z, n).

Его базовая структура начинается с одного равенства:

X^n + Y^n = Z^n,

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

После примитивизации и нормировки:

Z > X ; Y > 0,

причём X, Y, Z попарно взаимно просты.

Для каждой меньшей положительной степени m < n:

X^m + Y^m > Z^m.

Следовательно, последовательность

D_m = X^m + Y^m ; Z^m

обязана удовлетворять режиму

D_1 > 0, …, D_{n;1} > 0,

D_n = 0.

Первые два элемента этой системы дают:

K = X + Y ; Z > 0,

Q = X; + Y; ; Z; > 0,

причём

K; ; Q = 2(Z ; X)(Z ; Y).

Пара X, Y может быть сжата через

S = X + Y,

P = XY,

а степенные суммы A_m = X^m + Y^m удовлетворяют рекуррентной зависимости второго порядка, определяемой S и P. В нормированных координатах:

u^n + v^n = 1,

0 < v ; u < 1. Исходный текст собирает именно эти отношения в минимальную внутреннюю архитектуру ферматовского объекта. ТФМ — Том1 — Часть 9 и ниже ТФМ — Том1 — Часть 9 и ниже

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

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

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

Порядковый слой
Z — строго максимальное число.

Между X и Y существует симметрия, частично снятая нормировкой X ; Y.

Геометрический слой
X, Y, Z образуют остроугольный треугольник.

Зазоры A = Z ; X и B = Z ; Y описывают внутреннюю геометрию этой тройки.

Низкостепенный слой
Одна и та же тройка должна оставаться выше степенной границы на всех уровнях m < n и точно попасть на неё при m = n.

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

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

Режимный слой
Показатель n одновременно управляет:

силой степенного сжатия;

локальными периодами;

остаточными классами;

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

и относительной геометрией X/Z, Y/Z.

То есть минимальный объект уже является многослойной системой.

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

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

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

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

Это и есть центральная идея возвращения к Ферма.

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

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

Принцип минимального ферматовского объекта
После предыдущих частей можно сформулировать основной принцип Части XII:

до введения нового внешнего аппарата необходимо максимально исследовать те инварианты и отношения, которые неизбежно порождаются самим объектом (X, Y, Z, n).

Это не принцип запрета абстракции.

Это принцип порядка исследования.

Сначала необходимо спросить:

что уже содержится в объекте?

Какие проекции порождаются им непосредственно?

Какие связи между ними являются тождественными?

Какие ограничения независимы?

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

И только после этого:

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

Исходный текст формулирует для любой новой конструкции три естественных вопроса:

что она сохраняет;

что она добавляет;

какое новое ограничение создаёт. ТФМ — Том1 — Часть 9 и ниже

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

TailType должен оправдать своё появление.

GeometricType — тоже.

MetaType — тоже.

TF-Sieve — тоже.

Collapse Function — тоже.

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

Каждая должна сохранять референцию к ; и уменьшать пространство допустимых состояний.

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

X,

Y,

Z,

n.

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

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

После удаления всего внешнего аппарата перед нами остаётся не пустая элементарная формула, ожидающая очередной хитрости.

Остаётся структурно богатый объект:

; = (X, Y, Z, n),

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

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

где ещё представить ферматовский контрпример?

А так:

какими одновременно должны быть X, Y, Z и n, чтобы одна и та же примитивная целочисленная система удовлетворила всем ограничениям, которые порождает собственное равенство X^n + Y^n = Z^n на разных уровнях?

Это и есть настоящее возвращение к Ферма.

Не возвращение к математике XVII века.

Не отказ от четырёх столетий развития.

Не требование элементарного доказательства.

А возвращение к минимальному объекту, который существовал под всеми последующими представлениями и который теперь должен быть исследован как самостоятельная система:

X, Y, Z, n.

***************

Новая постановка задачи

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

Классическая формулировка Последней теоремы Ферма спрашивает, существуют ли положительные целые числа X, Y, Z и показатель n > 2, удовлетворяющие степенному равенству. Современная математика считает ответ установленным: таких нетривиальных решений нет. Поэтому простое повторение старого вопроса уже не создаёт новой исследовательской программы.

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

Не:

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

А:

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

И затем — более сильный вопрос:

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

Именно второе изменение является решающим.

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

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

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

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

Геометрическая — тоже.

Остаточная — тоже.

p-адическая — тоже.

Низкостепенная — тоже.

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

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

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

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

исходное уравнение;

новый объект;

новая теория;

новое ограничение.

Так в историю проблемы вошли циклотомические поля, идеалы, эллиптические кривые, представления Галуа, модулярные формы, деформационные кольца и другие конструкции. Эта траектория дала огромные математические результаты и в конечном счёте привела к принятому доказательству ТФ. ТФМ — Том1 — Часть 9 и ниже

Поэтому вопрос теперь состоит не в отрицании этой стратегии.

Он состоит в том, нужно ли снова повторять её как единственную естественную модель исследования.

Если теперь спросить:

какой ещё более мощный внешний объект можно построить из гипотетической ферматовской тройки?

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

Но исследовательская траектория снова будет иметь форму:

ферматовский объект ; новое представление ; автономная теория.

То есть исходный объект опять начнёт исчезать из рабочего аппарата.

Настоящая программа предлагает сознательно изменить направление.

Не отказ от внешней математики, а отказ от её приоритета
Это принципиальное различие.

Новая программа не запрещает:

алгебраическую геометрию;

теорию чисел;

p-адические методы;

теорию групп;

конечные поля;

вычислительные методы;

комбинаторику;

машинную проверку.

Все они могут использоваться.

Но их роль меняется.

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

Центром остаётся

; = (X, Y, Z, n).

Каждая новая конструкция должна отвечать на вопрос:

какое свойство самого ; она делает видимым?

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

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

Можно построить объект B из ; и затем практически забыть о ;, исследуя B как самостоятельную математическую сущность.

Но можно действовать иначе.

Построить несколько отображений:

T;(;),

T;(;),

…

T_r(;),

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

Тогда исходная четверка не исчезает.

Она остаётся общим источником всех представлений.

Это создаёт совершенно иную архитектуру исследования.

Вместо линейного движения

; ; B ; C ; D ; …

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

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

Можно выразить принцип словами:

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

Не реконструкция, а совместимость
При таком подходе не требуется восстанавливать X, Y, Z, n из каждой проекции.

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

Требуется другое.

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

Пусть:

; — множество арифметически допустимых состояний;

; — множество геометрически допустимых состояний;

; — множество метаструктурно допустимых состояний.

Тогда гипотетический объект обязан находиться в их совместимой части.

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

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

Это и есть главная исследовательская гипотеза настоящей части:

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

Пока это программа, а не теорема.

И именно таков должен быть её статус.

2. Исследовать внутренние представления
Что в таком случае следует называть внутренним представлением?

Пусть

; = (X, Y, Z, n).

Представление T(;) будем считать внутренним, если оно строится непосредственно из компонентов ; и предназначено для выявления их собственных отношений, а не для передачи задачи автономной внешней теории.

Это определение не абсолютно онтологическое.

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

Критерий здесь функциональный:

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

Арифметическое представление
Первый слой — сама арифметика X, Y, Z, n.

Сюда входят:

степенное равенство;

взаимная простота;

делимости;

простые делители;

разности;

остатки modulo m;

p-адические валюации;

отношения между X, Y, Z и показателем.

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

;(;).

Это наиболее локальная проекция.

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

Низкостепенное представление
Определим степенные дефекты

D_m = X^m + Y^m ; Z^m.

Для гипотетического решения:

D_m > 0 при m < n,

а

D_n = 0.

Особенно выделяются

K = D; = X + Y ; Z,

Q = D; = X; + Y; ; Z;.

Получается целый степенной профиль

(D;, D;, …, D_n).

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

Именно здесь появляется одна из центральных идей внутреннего подхода:

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

Симметрическое представление
Пара X, Y может быть сжата через элементарные симметрические параметры

S = X + Y,

P = XY.

Тогда степенные суммы

A_m = X^m + Y^m

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

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

Так появляется внутреннее представление

(S, P, Z, n).

Это хороший пример допустимой абстракции в духе ЗУТ.

Конкретные X и Y частично заменяются симметрическими инвариантами.

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

Разностное представление
Введём

A = Z ; X,

B = Z ; Y.

Тогда

X = Z ; A,

Y = Z ; B.

Из ранее полученных соотношений следуют связи между A, B, K, Q и Z.

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

Разностное представление особенно важно для больших показателей, потому что рост n заставляет нормированное отношение X/Z приближаться к единице, а следовательно, относительный зазор A/Z становится малым.

Но A остаётся положительным целым числом.

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

Геометрическое представление
Поскольку K > 0, числа X, Y, Z удовлетворяют неравенствам треугольника.

Поскольку Q > 0, соответствующий треугольник остроугольный.

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

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

;(;),

в котором та же самая тройка X, Y, Z рассматривается как евклидова конфигурация.

Важно, что это не произвольная геометризация.

Не вводится самостоятельный геометрический объект, независимый от X, Y, Z.

Все его стороны — исходные числа.

Все геометрические параметры вычисляются из них.

Поэтому референциальная дистанция здесь минимальна.

Цифровые и остаточные представления
Для каждого k можно рассматривать X, Y, Z и действие n modulo 10^k, либо, более структурно, modulo 2^k и 5^k.

Можно также использовать вспомогательные простые q.

Так возникает семейство конечных проекций

;_k(;).

Их преимущество — конечность пространства состояний.

Их опасность — неполнота.

Любая фиксированная глубина уничтожает огромный объём информации.

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

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

p-адическое представление
При простом показателе p естественно изучать p-адические валюации выражений, непосредственно построенных из X, Y, Z.

Это даёт представление

;_p(;).

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

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

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

Так возникает

MetaType(;).

Это уже представление второго порядка.

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

Именно здесь ЗУТ становится центральным механизмом.

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

Иначе типизация слишком груба.

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

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

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

какие состояния она исключает после того, как предыдущие ограничения уже наложены?

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

«Независимость» фильтров
Здесь требуется строгая терминология.

Если два фильтра называются независимыми, это не означает автоматически вероятностическую независимость.

В данной программе независимость означает лишь:

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

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

Нельзя превращать структурную различность в вероятностную независимость.

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

собственные конструкции книги не освобождаются от ЗНП.

Для каждого T_i(;) требуется семантический сертификат:

что сохраняется;

что теряется;

какое новое необходимое условие получается;

почему оно относится ко всякому гипотетическому контрпримеру;

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

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

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

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

Три наиболее крупных слоя можно условно назвать:

арифметическим;

геометрическим;

метаструктурным.

Это и есть основа трёхипостасной модели.

Арифметическая ипостась
Арифметический слой содержит:

исходное степенное равенство;

делимости;

простые множители;

взаимную простоту;

остаточные условия;

p-адические валюации;

низкостепенные дефекты;

разностные параметры.

Обозначим пространство арифметически допустимых состояний для показателя n через

;_n.

Любой гипотетический контрпример обязан породить состояние в ;_n.

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

K и Q приобретают одновременно арифметический и геометрический смысл.

Зазоры A и B связываются с длинами сторон и угловой структурой.

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

;_n.

Метаструктурная ипостась
После типизации объект представляется уже не конкретными значениями X, Y, Z, а набором структурных характеристик:

TailType;

ExponentType;

RelationType;

GeometricType;

ArithmeticType;

и другими компонентами будущего MetaType.

Обозначим соответствующее пространство через

;_n.

Это не ещё одна арифметическая величина.

Это класс поведения объекта относительно системы фильтров.

Трёхипостасная модель
Таким образом, один объект ; порождает три крупные формы представления:

;(;),

;(;),

;(;).

Нельзя отождествлять эти три языка.

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

Арифметика видит делимость и остатки.

Геометрия видит форму и отношения сторон.

Метаструктура видит повторяющиеся режимы поведения.

Каждый язык теряет что-то, что видят другие.

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

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

Не всякая произвольная тройка состояний

(a, g, m)

может происходить от одного и того же ;.

Поэтому необходимо ввести общий принцип совместимости:

Harm(;, ;, ;).

Смысл его прост:

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

Если общего прообраза нет, состояние исключается.

Именно здесь возникает новая доказательная сила.

Внутри арифметики a может быть допустимо.

Внутри геометрии g может быть допустимо.

Внутри метаструктуры m может быть допустимо.

Но их комбинация может оказаться невозможной.

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

Два класса фильтров
Будущая система поэтому должна содержать не один, а два принципиально разных вида фильтров.

Первый класс — внутренние фильтры отдельных ипостасей:

F_A(;),

F_G(;),

F_M(;).

Они исключают состояния внутри одной проекции.

Второй класс — согласующие фильтры:

F_AG(;,;),

F_AM(;,;),

F_GM(;,;),

и, возможно,

F_AGM(;,;,;).

Именно последние потенциально наиболее интересны.

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

K и Q как пример межипостасных инвариантов
Уже известные величины K и Q показывают, каким может быть такой мост.

K = X + Y ; Z является целым арифметическим дефектом первой степени.

Q = X; + Y; ; Z; — дефектом второй степени.

Но Q одновременно связан с углом соответствующего треугольника.

А комбинация K; ; Q выражается через произведение зазоров Z ; X и Z ; Y.

Следовательно, K и Q связывают одновременно:

арифметику;

геометрию;

разностную структуру.

Именно такого типа инварианты особенно ценны.

Они не принадлежат одной ипостаси полностью.

Они являются мостами между представлениями.

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

Возможна другая архитектура.

Пусть имеется система необходимых условий

C;, C;, …, C_r.

Каждое само по себе слабо.

Каждое исключает только часть состояний.

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

Именно это является философией TF-Sieve.

Не один великий удар.

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

Сила фильтра измеряется не процентом
Некоторый остаточный фильтр может исключать 90% состояний.

Геометрический — 60%.

p-адический — 80%.

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

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

Нельзя заключить, что остаток мал настолько, что им можно пренебречь.

Задача не вероятностная.

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

Поэтому основной единицей прогресса становится не процент отсева, а уменьшение пространства совместимых состояний.

Пусть:

;; — исходное пространство структурных состояний;

после первого фильтра остаётся ;;;

после второго — ;;;

…

после r-го — ;_r.

Тогда истинная цель:

;_r = ;.

От чисел к состояниям
Это и есть главный переход новой программы:

числа ; состояния ; типы ; совместимые MetaTypes.

Конкретные X, Y, Z неограниченны.

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

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

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

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

Полноту.

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

Инвариантность.

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

Согласованность.

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

Замыкание.

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

Без любого из этих четырёх условий типологическая программа остаётся эвристикой. ТФМ — Том1 — Часть 9 и ниже

ЗНП против собственной теории
Здесь особенно важен итог всей Части XI.

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

Миллион вычислительных примеров не доказывает полноты TailType.

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

Сильное сжатие нескольких фильтров не означает пустоты.

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

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

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

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

Без него невозможно перейти от бесконечного множества конкретных четверок к конечному множеству структурных классов.

Поэтому будущая TF-Sieve строится на двойном принципе:

ЗУТ сжимает; ЗНП контролирует сжатие.

Новая постановка в окончательной форме
После стандартной редукции можно сосредоточиться на простом показателе p > 2 и гипотетическом примитивном ферматовском объекте

; = (X, Y, Z, p).

Из него строится система внутренних представлений:

T;(;), …, T_r(;).

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

На основании всей системы этих условий вводится отношение условного тождества и строится множество допустимых MetaTypes.

Затем к нему последовательно применяются арифметические, геометрические, локальные, хвостовые, p-адические и межпредставительные фильтры.

Получается пространство выживших структурных типов.

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

для каждого допустимого простого показателя пространство выживших MetaTypes пусто.

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

Не просто:

существуют ли числа X, Y, Z?

А:

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

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

Именно поэтому окончательную формулировку новой задачи можно дать так:

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

В наиболее сжатой форме:

арифметика ; геометрия ; метаструктура = ;.

Но эта формула является не результатом, а целью программы.

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

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

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

Исходным остаётся один объект:

; = (X, Y, Z, n).

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

Ни одно представление заранее не объявляется главным.

Ни один фильтр не получает привилегии.

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

Вся теория сводится к одному вопросу:

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

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

************
Пролог Метатеоремы Ферма

Мы подошли к границе между двумя режимами исследования.

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

Теперь направление меняется.

Исходным объектом снова становится гипотетическая примитивная ферматовская четверка

; = (X, Y, Z, n),

удовлетворяющая условию

X^n + Y^n = Z^n,

n > 2.

Это предположение принимается временно и исключительно как исследовательский приём.

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

Не для того, чтобы снова отправить его в чужую теорию.

Не для того, чтобы повторить уже известную архитектуру Фрея—Рибета—Уайлса.

Цель теперь другая:

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

Такой объект должен одновременно обладать:

геометрией;

низкостепенной динамикой;

остаточной и хвостовой структурой;

типологией поведения;

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

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

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

На данном этапе Метатеорема Ферма не является новой доказанной теоремой.

Это проект доказательной архитектуры.

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

полнота внутренних представлений;

корректность перехода к типам;

инвариантность фильтров;

полнота покрытия всех структурных случаев;

достаточность хранимой типами информации;

и окончательное схлопывание пространства всех допустимых MetaTypes.

До этого момента Метатеорема Ферма остаётся исследовательской программой.

Но теперь её каркас уже можно сформулировать.

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

X^n + Y^n = Z^n,

n > 2,

и выбрана нормировка

Z > X ; Y > 0.

Для любого положительного m < n выполняется

X^m + Y^m > Z^m.

Это следует непосредственно из нормировки на Z: числа X/Z и Y/Z лежат между нулём и единицей, а уменьшение показателя увеличивает их степени.

В частности, при m = 1:

X + Y > Z.

Следовательно, X, Y, Z могут быть сторонами невырожденного евклидова треугольника.

Назовём его ферматовским треугольником. ТФМ — Том1 — Часть 9 и ниже

Это первая внутренняя проекция гипотетического ферматовского объекта.

Она важна не потому, что превращает арифметику в картинку.

А потому, что исходное высокостепенное равенство автоматически порождает геометрическую структуру.

Остроугольность
При m = 2 имеем

X; + Y; > Z;.

Поскольку Z — наибольшая сторона, угол ; напротив неё удовлетворяет закону косинусов:

Z; = X; + Y; ; 2XY cos ;.

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

X; + Y; ; Z; = 2XY cos ; > 0,

откуда

cos ; > 0,

то есть ; < 90°.

Так как ; — наибольший угол треугольника, весь ферматовский треугольник должен быть остроугольным. ТФМ — Том1 — Часть 9 и ниже

Получается первый принцип внутренней трансляции:

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

Но здесь необходимо сразу провести границу.

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

Существует бесконечно много остроугольных треугольников.

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

Q как геометрический мост
Определим

Q = X; + Y; ; Z;.

Тогда:

Q > 0,

и одновременно

Q = 2XY cos ;.

Значит, Q является одной и той же величиной сразу в двух языках:

арифметическом;

геометрическом.

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

Они являются не внешними сущностями, а межпредставительными инвариантами.

Высота и проекции
Пусть из вершины, противоположной стороне Z, опущена высота H.

Пусть основание делит Z на два отрезка C и Z ; C.

Тогда возникают два прямоугольных треугольника, связанные с X, Y и Z.

Из соответствующих квадратных соотношений выводятся выражения для C через X, Y, Z и Q. Тем самым геометрические параметры оказываются жёстко связанными с арифметикой исходной тройки. ТФМ — Том1 — Часть 9 и ниже

Но именно здесь ЗНП должен работать особенно строго.

H и C не обязаны быть целыми.

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

Это был бы незаконный перенос свойства.

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

Его главный вопрос:

может ли существовать целочисленная тройка X, Y, Z, геометрическая конфигурация которой одновременно совместима со всеми степенными, локальными, остаточными и p-адическими требованиями исходного равенства?

2. Низкостепенные проекции
Вторая линия возникает из семейства величин

D_m = X^m + Y^m ; Z^m.

Для гипотетического решения:

D_n = 0.

Но при каждом положительном m < n:

D_m > 0.

Следовательно, объект должен реализовать траекторию

D; > 0,

D; > 0,

…

D_{n;1} > 0,

D_n = 0. ТФМ — Том1 — Часть 9 и ниже

Это принципиально больше, чем одно равенство на верхней степени.

Гипотетическое решение обязано обладать целой низкостепенной предысторией.

Первая проекция
Определим

K = D; = X + Y ; Z.

Так как X + Y > Z:

K > 0.

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

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

Вторая проекция
Определим

Q = D; = X; + Y; ; Z;.

Тогда Q > 0.

Но Q уже связано с углом ферматовского треугольника.

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

Связь K и Q
Введём

A = Z ; X,

B = Z ; Y.

Тогда прямое вычисление даёт

K; ; Q = 2AB.

Кроме того,

A + B = Z ; K.

Значит, A и B являются корнями квадратного уравнения, коэффициенты которого выражаются через Z, K и Q.

Его дискриминант равен

(A ; B); = (X ; Y);.

Следовательно, комбинация Z, K и Q должна удовлетворять дополнительному условию: соответствующий дискриминант обязан быть точным квадратом. ТФМ — Том1 — Часть 9 и ниже

Это уже пример настоящего внутреннего фильтра.

Не потому, что он автоматически запрещает решение.

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

Рекуррентная динамика
Введём

S = X + Y,

P = XY,

а также

A_m = X^m + Y^m.

Тогда последовательность A_m удовлетворяет рекурсии второго порядка:

A_m = S A_{m;1} ; P A_{m;2}.

Следовательно, вся бесконечная последовательность степенных сумм пары X, Y управляется двумя параметрами S и P.

А ферматовские дефекты имеют форму

D_m = A_m ; Z^m. ТФМ — Том1 — Часть 9 и ниже

Это один из наиболее важных переходов будущей программы.

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

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

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

Она лишь создаёт более компактный объект исследования.

Главный вопрос теперь таков:

может ли одна рекуррентная траектория, порождённая целыми S, P и Z, оставаться выше нуля на всех уровнях до n;1 и прийти точно в ноль при n?

Если удастся доказать структурную невозможность такого режима, возникнет внутренний механизм ТФ.

3. Хвостовая математика
Третья линия начинается с очевидного факта.

Если

X^n + Y^n = Z^n,

то для любого модуля M выполняется

X^n + Y^n ; Z^n mod M.

Особенно естественны модули вида

10^k = 2^k 5^k.

Поэтому последние k десятичных цифр фактически кодируют конечную информацию сразу двух локальных направлений: 2-адического и 5-адического. ТФМ — Том1 — Часть 9 и ниже

Но простого анализа последних цифр недостаточно.

Почему обычная таблица хвостов слаба
Для фиксированного k сравнение modulo 10^k является только необходимым условием.

Как правило, оно имеет множество решений.

Поэтому никакое большое число проверенных хвостов само по себе не превращается в доказательство ТФ.

Нужна не таблица.

Нужна структура хвостовой динамики.

Не только X^n, Y^n, Z^n
Хвостовая система должна включать не только исходные степени, но и внутренние связанные величины:

K;

Q;

D_m;

S;

P;

Z ; X;

Z ; Y;

и другие выражения, которые непосредственно происходят из ;.

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

Она становится конечной сетью взаимно зависимых состояний одного объекта. ТФМ — Том1 — Часть 9 и ниже

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

Если известны остатки X^n и Y^n, остаток их суммы определяется автоматически.

Содержательное ограничение появляется лишь тогда, когда эта сумма должна одновременно принадлежать специальному классу:

она должна быть остатком чистой n-й степени.

То есть мы рассматриваем не просто:

«какие суммы возможны?»

а:

какие суммы допустимых степенных хвостов снова являются допустимыми степенными хвостами?

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

Конечная динамика рекурсии
После редукции modulo 10^k рекурсия для A_m становится конечной динамической системой.

Число возможных состояний конечно.

Поэтому становятся доступны:

циклы;

периоды;

классы показателей;

запрещённые переходы;

совместимость с условием D_n = 0.

Это принципиально отличает обобщённую хвостовую математику от перебора последних цифр.

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

Обобщённый хвостовой метод
Поэтому под хвостовой математикой в будущей теории следует понимать систему:

локальные проекции;

рекуррентная динамика;

внутренние связи;

условия чистых степеней;

согласование разных глубин.

Только такая конструкция имеет шанс стать самостоятельным доказательным каналом.

4. Теория типов
После перехода к конечным проекциям возникает следующая идея.

Конкретные числа X, Y, Z могут быть сколь угодно велики.

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

Следовательно, естественный объект исследования может быть изменён:

не отдельное число;

а тип поведения.

Именно здесь начинается структурная типизация. ТФМ — Том1 — Часть 9 и ниже

TailType
Если несколько объектов имеют одинаковое релевантное хвостовое поведение, их можно объединить в TailType.

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

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

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

Так возникает ExponentType.

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

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

RelationType
Отношения между

K,

Q,

D_m,

A,

B,

S,

P

также образуют устойчивые режимы.

Их можно классифицировать отдельно.

Так возникает RelationType.

GeometricType
Ферматовские треугольники могут различаться по:

отношениям сторон;

угловым диапазонам;

проекциям;

дискриминантным условиям;

связям с K и Q.

Такие режимы образуют GeometricTypes.

ArithmeticType
Отдельный класс должен описывать:

делимость;

локальные условия;

p-адические валюации;

классические первый и второй случаи;

обязательные делители;

резонансные простые.

Так возникает ArithmeticType.

MetaType
Совокупность всех этих структурных характеристик образует MetaType.

Схематически:

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

где:

T — TailType;

E — ExponentType;

R — RelationType;

G — GeometricType;

A — ArithmeticType. ТФМ — Том1 — Часть 9 и ниже

Именно здесь происходит принципиальная смена масштаба:

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

Главная надежда состоит в том, что это пространство окажется:

конечным;

или эффективно параметризуемым;

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

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

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

Инвариантность
Все фильтры должны быть хорошо определены на типах.

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

Без этих трёх результатов MetaType остаётся полезной эвристикой.

С ними он становится законным доказательным фактор-объектом.

Именно поэтому теория типов является точкой встречи ЗУТ и ЗНП.

ЗУТ разрешает забывать различия.

ЗНП запрещает забывать слишком много.

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

Пусть для простого показателя p построено множество всех структурно допустимых MetaTypes:

;;(p).

Применим первый доказанный фильтр:

;;(p) ; ;;(p).

Затем второй:

;;(p) ; ;;(p).

И так далее:

;;(p) ; ;;(p) ; … ; ;_r(p).

Цель состоит не в том, чтобы сделать последнее множество очень маленьким.

Цель:

;_r(p) = ;. ТФМ — Том1 — Часть 9 и ниже

Collapse Function
Определим число выживших структурных типов:

C(p) = |;_r(p)|.

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

Если удастся доказать строгую верхнюю оценку

C(p) < 1,

то немедленно следует

C(p) = 0.

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

Почему плотности недостаточно
Пусть исходно имеется порядка p; типов.

После фильтрации остаётся порядка p.

Доля выживших стремится к нулю.

Но абсолютное число выживших растёт.

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

плотность ; 0

не означает:

число состояний = 0. ТФМ — Том1 — Часть 9 и ниже

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

Именно поэтому будущая Collapse Function должна контролировать целое число выживших структурных режимов, а не только их относительную долю.

Два возможных механизма
Первый путь:

доказать, что общее число типов ограничено абсолютной константой, а дополнительный фильтр даёт подавление порядка 1/p.

Тогда для больших p число выживших может стать строго меньше единицы.

Второй путь:

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

Но здесь возникает критическое ограничение:

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

Это прямое применение ЗНП к самой Collapse Theory.

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

Во втором случае возникают более жёсткие p-адические условия.

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

Но здесь нельзя опережать доказательство.

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

Resonant Filters
Перспективным механизмом могут стать вспомогательные простые q, удовлетворяющие определённым сравнениям относительно p.

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

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

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

Что именно схлопывается
Это принципиальная формулировка.

Схлопываются не сами числа.

Не X, Y, Z.

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

Схлопывается:

пространство структурно допустимых способов существования решения.

То есть:

;;(p) ; ;;(p) ; … ; ;.

В этом и состоит основной смысл Collapse Theory.

От Теоремы Ферма к Метатеореме Ферма
Последняя теорема Ферма утверждает числовую невозможность.

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

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

Тогда числовая невозможность становится следствием структурной невозможности. ТФМ — Том1 — Часть 9 и ниже

Именно это оправдывает приставку «мета».

Не потому, что будущая теорема будет «выше» Последней теоремы Ферма по престижу или логическому статусу.

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

Что уже есть и чего ещё нет
К этому моменту необходимо провести жёсткую границу.

Уже установлены точные внутренние факты:

D_m > 0 при m < n;

K; ; Q = 2(Z ; X)(Z ; Y);

Q имеет геометрическую интерпретацию через угол;

степенные суммы удовлетворяют рекурсии через S и P;

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

Но пока не установлено:

что существует конечная полная система MetaTypes;

что типизация сохраняет всю необходимую информацию;

что все фильтры вместе покрывают все случаи;

что все MetaTypes уничтожаются;

что C(p) = 0 новым методом.

Следовательно, Метатеорема Ферма пока остаётся названием исследовательской цели, а не доказанного результата. ТФМ — Том1 — Часть 9 и ниже

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

Она не завершает доказательство.

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

Пять ступеней теперь образуют единый путь:

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

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

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

Третья создаёт конечные локальные проекции.

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

Пятая должна доказать, что это пространство пусто.

Если эта программа будет завершена, ТФ окажется частным следствием более общего утверждения:

структурно совместимого ферматовского объекта не существует.

Именно это — а не повторение уже известного внешнего противоречия — является предполагаемым содержанием будущей Метатеоремы Ферма.

**************


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

Эта книга начиналась с Последней теоремы Ферма как с исторической математической загадки. Мы прошли путь от самого Ферма и бесконечного спуска к Эйлеру и Софи Жермен, от Ламе и кризиса факторизации к Куммеру и идеальным числам, от циклотомических полей и идеалов к эллиптическим кривым, от идеи Фрея к Серру и Рибету, от представлений Галуа к модулярным формам, деформационным кольцам и архитектуре R = T, от объявления Уайлса 1993 года к перестройке центрального участка доказательства и окончательной конструкции Уайлса—Тейлора 1994–1995 годов.

Но по мере движения предмет исследования изменился.

Вопрос «как была доказана Последняя теорема Ферма?» постепенно уступил место другому:

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

Именно этот вопрос вывел исследование далеко за рамки одной теоремы.

Из истории Ферма возникла теория математического переноса.

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

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

Из взаимодействия этих двух законов — Гармоническая логика и идея Метаорганона.

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

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

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

1. Что показала история ТФ
История Последней теоремы Ферма необычна не только своей продолжительностью. Её особенность состоит в том, что почти каждая большая попытка решения расширяла сам язык математики, на котором задача могла быть поставлена.

Сначала исследовались отдельные показатели.

Затем появились систематические сравнения и вспомогательные простые.

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

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

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

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

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

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

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

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

Такой вывод не выдерживает анализа.

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

Абстракция не является ошибкой.

Необратимость не является ошибкой.

Смена языка не является ошибкой.

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

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

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

Поэтому нельзя строить содержательную критику доказательства на фразах:

«объект слишком далёк от исходного»;

«обратного отображения нет»;

«из модулярной формы невозможно восстановить ферматовскую тройку».

Ни одно из этих обстоятельств само по себе не является формальной ошибкой.

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

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

Она увеличивает объём того, что должно быть сертифицировано.

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

перенос математического объекта не переносит автоматически его свойства.

Если объект a из области A заменяется представлением T(a) в области B, из самого существования T не следует, что свойство P(a) законно превращается в Q(T(a)).

Для этого требуется отдельный доказательный мост.

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

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

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

селективные сжатия;

смену областей квантификации;

универсализацию;

рассеяние референции;

последовательное уничтожение различий;

накопление вспомогательных сущностей;

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

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

Её центральный принцип теперь можно выразить так:

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

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

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

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

4. Что ЗНП не запрещает
ЗНП не является законом математической неподвижности.

Он не запрещает переходить из арифметики в геометрию.

Не запрещает переходить из геометрии в алгебру.

Не запрещает факторизации, фактор-объекты и классы эквивалентности.

Не запрещает информационные потери.

Не требует полного сохранения объекта.

Не требует инъективности.

Не требует обратимости.

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

Не запрещает универсальные конструкции.

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

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

Его требование другое:

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

Поэтому абстракция не является врагом ЗНП.

Необоснованная абстракция — является.

Сжатие не является врагом.

Необоснованное уничтожение различий — является.

Дальняя теория не является врагом.

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

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

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

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

Долг возникает, если:

потеряна информация, нерелевантность которой ещё не установлена;

введён тип без доказательства его полноты;

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

несколько локальных переносов соединены без глобальной композиционной проверки;

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

Сам факт долга ещё не означает ошибки.

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

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

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

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

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

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

По линии Фрей—Серр—Рибет такая кривая должна обладать свойством, несовместимым с модулярностью.

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

Возникает противоречие.

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

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

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

Но сильный ЗНП ставит более широкий вопрос:

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

Именно на этом уровне располагается позиция настоящей работы.

Автор настоящей работы не признаёт систему Фрей—Серр—Рибет—Уайлс—Тейлор доказательством Последней теоремы Ферма в усиленном смысле доказательства, развиваемом в рамках Закона недопустимого переноса.

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

Признаёт.

Следовательно, спор переносится на более фундаментальный уровень:

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

Это уже спор не только о Ферма.

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

7. Четыре уровня критики
За время исследования стало необходимо строго разделить несколько видов критики.

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

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

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

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

Эти критики неравноправны.

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

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

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

Но и обратное неверно.

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

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

установлением невозможности

и

объяснением внутреннего механизма невозможности.

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

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

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

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

Настоящая программа ставит другой вопрос:

есть ли внутри самой четверки (X, Y, Z, n) система обязательных свойств, которая уже не может быть реализована совместно?

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

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

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

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

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

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

Идеальные числа вышли далеко за пределы Ферма.

Теория идеалов стала универсальной.

Циклотомическая арифметика превратилась в часть общей алгебраической теории чисел.

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

В XX веке произошла почти замкнутая петля:

задача стимулирует математику;

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

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

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

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

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

Тогда ТФ снова исполнит свою историческую роль:

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

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

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

Поэтому потребовался второй регулятор — Закон условного тождества.

Его содержание можно выразить так:

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

Мы не утверждаем буквальное равенство объектов.

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

ЗНП запрещает забывать раньше времени.

ЗУТ разрешает забывать после доказательства нерелевантности.

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

Другой защищает его от чрезмерного различения.

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

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

Именно этот баланс должен лежать в основе будущих типов.

11. Гармоническая логика и Метаорганон
Взаимодействие ЗНП и ЗУТ привело к более широкому понятию Гармонической логики.

Она не заменяет классическую логику.

Она задаёт другой класс вопросов.

Классическая логика исследует вывод:

P;

P ; Q;

следовательно Q.

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

какое право мы имели сформировать именно Q как доказательно релевантное представление P после преобразования объекта?

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

В этом смысле Метаорганон должен исследовать:

перенос;

сжатие;

композицию;

референцию;

возврат;

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

Его центральная дисциплина проста:

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

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

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

исходную область;

целевую область;

конструкцию;

исходное свойство;

целевое свойство;

гипотезы применимости;

доказательный мост;

информационные потери;

обоснование их нерелевантности;

референциальный адрес;

композиционный интерфейс;

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

открытый семантический долг;

статус результата.

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

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

выявлять непокрытые гипотезы;

обнаруживать повторное использование уже потерянной информации;

различать теорему, гипотезу и вычислительный результат;

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

проверять корректность типизации;

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

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

Он сможет стать инструментом его инженерии.

13. Возвращение к исходному объекту
После всех исторических и метаматематических переходов книга вернулась к той же четверке:

(X, Y, Z, n).

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

Гипотетический ферматовский объект уже сам содержит богатую систему отношений.

Для m < n:

X^m + Y^m > Z^m.

Поэтому возникают степенные дефекты D_m с режимом:

D; > 0, …, D_{n;1} > 0,

D_n = 0.

Первые две проекции дают:

K = X + Y ; Z,

Q = X; + Y; ; Z;.

Они связаны с внутренними расстояниями Z ; X и Z ; Y.

Пара X, Y сжимается до симметрических параметров S и P.

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

Сами X, Y, Z образуют остроугольный ферматовский треугольник.

Таким образом, минимальный ферматовский объект имеет по крайней мере:

арифметический;

геометрический;

динамический;

локальный;

структурный

слои.

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

14. Новая постановка задачи
После всего предыдущего недостаточно снова спросить:

«существует ли решение?»

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

Новая постановка такова:

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

Вместо одного внешнего пути строится система проекций:

арифметическая;

геометрическая;

низкостепенная;

хвостовая;

p-адическая;

структурно-типологическая.

Каждая сама по себе может оставлять огромное множество состояний.

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

Следовательно, объектом исследования становится их совместное пространство.

В условной форме:

арифметика ; геометрия ; метаструктура.

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

Это принципиально другой механизм.

15. От чисел к структурным состояниям
Бесконечность величин X, Y, Z делает прямой универсальный перебор невозможным.

Но конкретная величина числа не всегда доказательно существенна.

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

Отсюда возникает переход:

числа ; состояния ; типы.

Появляются:

TailTypes;

ExponentTypes;

RelationTypes;

GeometricTypes;

ArithmeticTypes.

И затем — их совокупный MetaType.

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

Типизация должна доказать:

полноту — каждый возможный контрпример имеет тип;

инвариантность — фильтры постоянны на каждом типе;

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

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

С ними она может стать доказательным фактор-объектом.

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

Пусть при показателе p существует исходное множество MetaTypes.

Каждый доказанный фильтр уменьшает его.

Возникает цепочка вложенных пространств.

Цель состоит не в том, чтобы сделать последнее пространство очень малым.

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

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

Цель одна:

пустота.

Для числа выживших типов вводится Collapse Function C(p).

Поскольку C(p) — неотрицательное целое число, достаточно доказать строгую верхнюю границу меньше единицы, чтобы получить C(p) = 0.

Именно это отличает схлопывание от разрежения.

«Почти ничего» не равно «ничего».

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

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

Эта строгость должна сопровождать Collapse Theory на каждом этапе.

17. Предполагаемый смысл Метатеоремы Ферма
Теперь становится понятен термин «Метатеорема Ферма».

Последняя теорема Ферма утверждает числовую невозможность определённого равенства.

Метатеорема Ферма в проектируемом смысле должна утверждать более сильную структурную невозможность:

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

Тогда невозможность числового решения становится следствием невозможности самого режима его существования.

То есть:

не просто «чисел нет»,

а:

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

Именно этот переход от числового утверждения к структурному и оправдывает приставку «мета».

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

Последняя теорема Ферма имеет общепринятое доказательство.

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

Но сама Метатеорема Ферма в определённом выше смысле не доказана.

Необходимо ещё установить:

полноту структурной типизации;

универсальность используемых хвостовых режимов;

достаточность RelationTypes;

реальную независимую силу геометрических фильтров;

полную обработку классических ветвей по показателю;

строгий статус резонансных фильтров;

полноту системы MetaTypes;

верхнюю оценку Collapse Function;

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

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

Эту границу нельзя размывать.

19. От критики к конструкции
Главное изменение всей книги произошло именно в этой точке.

Исследование начиналось с подозрения.

Может ли длинная система переносов скрывать доказательный дефект?

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

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

«объект далеко ушёл от исходного».

Недостаточно требовать обратного отображения.

Недостаточно ссылаться на сложность.

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

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

А затем возник наиболее важный поворот:

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

Теперь нельзя сказать:

«наш метод лучше, потому что он ближе к X, Y, Z».

Близость не является доказательством.

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

«вычисления уничтожают почти всё».

Почти всё — не всё.

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

«фильтры очевидно независимы».

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

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

«новых типов, вероятно, уже нет».

Полнота классификации требует теоремы.

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

«MetaType содержит всё необходимое».

Это должно быть доказано.

Так критика перестаёт быть направленной наружу.

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

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

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

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

Каждое такое преобразование обладает:

объектной стороной;

информационной стороной;

семантической стороной;

референциальной стороной;

композиционной стороной.

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

ЗУТ контролирует то, что уже можно законно забыть.

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

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

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

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

В этом и состоит движение от Метаорганона к Метатеореме Ферма.

21. Переход к позитивной программе
Первый том отвечал преимущественно на вопросы:

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

что происходит при математическом переносе;

какие свойства должны сохраняться;

что можно законно забывать;

где появляется семантический долг;

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

какая внутренняя структура ферматовского объекта остаётся доступной после удаления внешнего аппарата.

После этого центральный вопрос меняется.

Не:

как человечество пришло к доказательству Ферма?

А:

какую математику можно построить непосредственно из самого гипотетического ферматовского объекта?

Поэтому далее история должна уступить место конструкции.

Критика — теоремам.

Методология — вычислению и классификации.

Семантический анализ — построению инвариантов.

В центр снова выходят:

X;

Y;

Z;

n.

Ферматовский треугольник.

Низкостепенные дефекты.

Рекуррентная динамика.

Хвостовые структуры.

p-адические профили.

RelationTypes.

GeometricTypes.

MetaTypes.

TF-Sieve.

Collapse Function.

Но теперь все эти сущности получают одно обязательное ограничение:

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

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

Каждый тип должен иметь сертификат полноты.

Каждый фильтр — теорему необходимости.

Каждое сжатие — основание ЗУТ.

Каждый перенос — основание ЗНП.

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

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

Первый:

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

Да.

Удалённость сама по себе не разрушает доказательство.

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

Второй:

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

Нет.

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

Третий:

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

Ответ первого тома пока не является теоремой.

Это программа.

Но теперь программа имеет ясную архитектуру.

Гипотетический ферматовский объект

(X, Y, Z, n)

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

Представления дают необходимые ограничения.

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

Классы объединяются в MetaTypes.

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

Пространство выживших типов измеряется Collapse Function.

Предельная цель:

C(p) = 0.

В этой точке заканчивается движение от Ферма к внешним теориям.

И начинается противоположное движение — от всей накопленной математической мощи обратно к самому объекту.

Не для отрицания современной математики.

Не для возвращения к элементарности как догме.

Не для замены одного аппарата другим.

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

какая математика скрыта внутри самого ферматовского объекта?

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

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

Именно к этому должна вести Метатеорема Ферма.

На этом заканчивается первый том.

История доказательства завершена.

Критический аппарат построен.

Исходный объект возвращён в центр.

Дальше начинается собственная математика.

*********