Том 3. Компендиум

Аннотация

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

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

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

Особое внимание уделяется трём базовым принципам третьего тома:

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

Закону условного тождества;

принципу релевантного возврата.

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

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

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

Локальная часть компендиума включает остаточные пространства, башни модулей, p-адические деревья, valuation-условия, локальные ветви и понятие p-адического горлышка.

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

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

Завершающая часть компендиума представляет трёхипостасную математику как открытую исследовательскую программу со своей предварительной аксиоматикой, типологией межипостасных мостов, формальным аппаратом условного тождества, метаиндуктивными схемами, многостепенными матрицами, p-адическими деревьями и реестром открытых НИОКР.

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

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

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

*********

© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].

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

Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol

*********

Оглавление

Предисловие

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

Часть I. Трёхипостасная математика

Глава 1. От ферматовой задачи к системе ипостасей

§1. Итоги первых двух томов
§2. Объект и его представления
§3. Геометрическая ипостась
§4. Алгебраическая ипостась
§5. Арифметическая ипостась
§6. Условный объект и его обязательные образы

Глава 2. Межипостасные мосты

§1. Мост существования
§2. Мост представления
§3. Мост сохранения
§4. Мост арифметизации
§5. Мост локализации
§6. Мост возврата
§7. Полный межипостасный цикл

Глава 3. Три базовых закона

§1. Закон недопустимого переноса
§2. Закон условного тождества
§3. Принцип релевантного возврата
§4. Совместимость обязательных представлений
§5. Критерий завершённого межипостасного доказательства

Часть II. Метаиндукция и структурная теория доказательства

Глава 4. Метаиндукция

§1. От обычной индукции к структурной
§2. Структурный профиль
§3. Метаиндуктивный закон
§4. Рост разреженности
§5. Смена структурного режима
§6. Границы метаиндуктивного вывода

Глава 5. Пространство кандидатов

§1. Исходное пространство
§2. Необходимые условия
§3. Вложенные пространства
§4. Фильтр
§5. Доказательное сжатие
§6. Структурный хвост

Глава 6. Ортогональные фильтры

§1. Зависимые и независимые ограничения
§2. Геометрический фильтр
§3. Арифметический фильтр
§4. Остаточный фильтр
§5. p-адический фильтр
§6. Многостепенной фильтр
§7. Принцип ортогонального добивания

Глава 7. От разреженности к пустоте

§1. Конечная доля
§2. Натуральная плотность
§3. Нулевая плотность
§4. Разреженность как преддоказательная структура
§5. Закрывающий закон
§6. Пустота пространства кандидатов

Часть III. Многостепенная математика

Глава 8. Степенные дефекты и спектры

§1. Степенной дефект
§2. Знаковый спектр
§3. Критическая степень
§4. Низкие степени
§5. Высокие степени
§6. Спектр как характеристика объекта

Глава 9. Перекрёстные степенные отношения

§1. Общий источник разных степеней
§2. Перекрёстная делимость
§3. Valuation-связи
§4. Остаточные связи
§5. Низкостепенные блоки
§6. Принцип выбивания высокой степени низкими

Глава 10. Многостепенные матрицы

§1. Матрица межстепенных связей
§2. Доказательный статус ячеек
§3. Независимость связей
§4. Центральные степени
§5. Закрывающий блок
§6. Минимальный закрывающий блок

Часть IV. Локальная и p-адическая архитектура

Глава 11. Остаточные пространства

§1. Степенные вычеты
§2. Эффективный модуль
§3. Структурные хвосты
§4. Совмещённые остаточные профили
§5. Реальная сила локального фильтра

Глава 12. Башни модулей

§1. Первый локальный уровень
§2. Последовательные подъёмы
§3. Дерево локальных классов
§4. Живые и мёртвые ветви
§5. Универсальный обрыв
§6. Локальная невозможность

Глава 13. p-адическое горлышко

§1. Нормальная форма
§2. Локальные параметры
§3. Valuation-законы
§4. Остаточный полином
§5. Последний живой класс
§6. Возможность p-адического спуска

Часть V. За пределами ферматовой задачи

Глава 14. Степенной индекс

§1. Определение
§2. Геометрический смысл
§3. Арифметический тип
§4. Рациональные треугольники
§5. Диофантовы вопросы

Глава 15. Смешанные степенные системы

§1. Степенной вектор
§2. Разностные формы
§3. Совершенные степени разностей
§4. Смешанный степенной дефект
§5. Критические степенные конфигурации

Глава 16. Пифагоровы структуры

§1. Классическая параметризация
§2. Альтернативные генераторы
§3. Полнота параметризаций
§4. Пифагоровы хвосты
§5. Пифагоров и ферматов режимы

Глава 17. Генеративная диофантова математика

§1. От решения к генератору
§2. Формулы высокого уровня
§3. Структурные семейства
§4. Полнота генераторов
§5. Поиск новых диофантовых объектов

Часть VI. Методология математического НИОКР

Глава 18. Математический эксперимент

§1. Роль вычислений
§2. Вычисление как разведка
§3. Вычисление и доказательство
§4. Контрпримеры
§5. Карты пространства кандидатов

Глава 19. Человек и GPT-система

§1. Генерация гипотез
§2. Проверка формул
§3. Поиск контрпримеров
§4. Риск ложной финализации
§5. Машинная дисциплина доказательства
§6. Новая организация НИОКР

Глава 20. Реестр уровней доказанности

§1. Теорема
§2. Лемма
§3. Следствие
§4. Вычислительная закономерность
§5. Гипотеза
§6. Методологический принцип
§7. Исследовательская программа

Часть VII. Архитектура математической невозможности

Глава 21. Совместная реализация

§1. Существование в отдельных ипостасях
§2. Обязательность совместимости
§3. Локальная возможность
§4. Глобальная невозможность
§5. Структурная несовместимость

Глава 22. Метатеорема совместимости

§1. От конкретной задачи к общей схеме
§2. Условный объект
§3. Обязательные образы
§4. Система необходимых условий
§5. Пустота совместной реализации
§6. Релевантный возврат

Глава 23. Границы универсальности

§1. Когда новая ипостась даёт новую информацию
§2. Тождественные представления
§3. Зависимые фильтры
§4. Ограничения локально-глобального перехода
§5. Где трёхипостасный метод неприменим

Часть VIII. Трёхипостасная математика как новая предметная область

Глава 24. Предмет, объекты и законы

§1. Предмет исследования
§2. Основные объекты
§3. Основные законы
§4. Основные методы
§5. Критерии самостоятельности

Глава 25. Предварительная аксиоматика

§1. Объект
§2. Ипостась
§3. Мост
§4. Совместная реализация
§5. Независимость
§6. Пустота
§7. Доказательный статус

Глава 26. Открытая программа

§1. Ферматовское направление
§2. Многостепенное направление
§3. p-адическое направление
§4. Степенно-геометрическое направление
§5. Диофантово-генеративное направление
§6. Формализация трёхипостасной математики

Заключение

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

Справочный блок

Свод основных определений

Свод основных законов и принципов

Типология межипостасных мостов

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

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

Схема многостепенной матрицы

Схема p-адического дерева

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

Реестр критических открытых лемм

Сводный реестр результатов трёхтомника

Краткий терминологический словарь

******

и к пустоте

Эти главы образуют основной доказательный каркас.

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

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

переход и допустимый перенос;

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

разреженность и пустоту;

локальный результат и глобальный вывод;

новую информацию и повторение уже известного ограничения.

3. Если нужно восстановить многостепенной аппарат

Используйте:

Главу 8. Степенные дефекты и спектры

Главу 9. Перекрёстные степенные отношения

Главу 10. Многостепенные матрицы

Эти разделы отвечают на вопрос:

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

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

4. Если интересует локальная и p-адическая часть

Основными являются:

Глава 11. Остаточные пространства

Глава 12. Башни модулей

Глава 13. p-адическое горлышко

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

допустимость по одному модулю не равна локальной продолжимости;

локальная продолжимость не равна существованию бесконечной ветви;

бесконечная локальная ветвь не равна автоматически глобальному целочисленному объекту.

Каждый переход требует собственного моста.

5. Если интересует выход за пределы Ферма

Читайте Часть V.

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

степенные индексы;

смешанные степенные системы;

пифагоровы структуры;

генеративную диофантову математику.

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

6. Если интересует математический НИОКР

Используйте Часть VI.

Она отвечает на практические вопросы:

как использовать вычисления;

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

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

как организовать совместную работу человека и GPT-системы;

как не допустить ложной финализации;

как вести реестр уровней доказанности.

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

7. Если нужен формальный уровень

Следует перейти к:

Главе 25. Предварительная аксиоматика

и к справочному блоку.

Там собраны:

типология межипостасных мостов;

метаиндуктивные схемы;

многостепенные матрицы;

p-адические деревья;

реестры статусов и открытых задач.

Эти материалы предназначены не столько для первого чтения, сколько для формализации и дальнейшего НИОКР.

8. Как читать обозначения доказательного статуса

В компендиуме принципиально различаются:

теорема;

лемма;

следствие;

вычислительная закономерность;

гипотеза;

методологический принцип;

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

Это различие необходимо сохранять при чтении.

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

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

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

9. Как пользоваться компендиумом при проверке доказательства

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

Первое. Что является исходным объектом?

Второе. В какой ипостаси получено утверждение?

Третье. Каким мостом осуществляется переход?

Четвёртое. Каков статус полученного результата?

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

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

10. Как пользоваться компендиумом для НИОКР

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

Сначала определить объект.

Затем перечислить его обязательные ипостаси.

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

Далее отметить, какие из них зависимы, а какие потенциально независимы.

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

После этого искать не просто новые ограничения, а закрывающее горлышко.

И наконец — фиксировать точный критерий завершения.

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

11. Как пользоваться справочным блоком

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

Он нужен, если требуется:

вспомнить определение;

проверить тип моста;

уточнить статус результата;

сравнить метаиндуктивные схемы;

восстановить структуру p-адического дерева;

найти открытый НИОКР;

увидеть место конкретного понятия во всём трёхтомнике.

12. Что компендиум не заменяет

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

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

Если требуется:

проверить конкретную лемму;

восстановить происхождение формулы;

проследить полный путь появления понятия;

понять условия конкретного перехода,

необходимо обращаться к основному тексту.

Поэтому правильное отношение между томом и компендиумом таково:

том объясняет путь;

компендиум показывает карту пути.

13. Основной маршрут чтения

Для первого знакомства рекомендуется следующий маршрут:

Трёхипостасная математика
→ Три базовых закона
→ Пространство кандидатов
→ Разреженность и пустота
→ Многостепенная математика
→ p-адическая архитектура
→ Метатеорема совместимости
→ Новая предметная область.

Этот маршрут даёт наиболее короткий путь к центральному результату третьего тома.

14. Центральная формула чтения

Весь компендиум можно читать через одну последовательность:

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

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

15. Итог

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

Для быстрого чтения — как карта основных идей.

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

Для продолжения НИОКР — как рабочий реестр методов, открытых задач и критериев финализации.

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

Его главный вопрос остаётся тем же:

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

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

*****

Часть I. Трёхипостасная математика

Глава 1. От ферматовой задачи к системе ипостасей

§1. Итоги первых двух томов

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

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

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

алгебраический;

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

координатный;

локальный;

многостепенной.

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

На втором — выделение арифметических ограничений, координат и структурных хвостов.

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

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

Именно этот вопрос приводит к трёхипостасной математике.

Главный сдвиг состоит в следующем:

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

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

§2. Объект и его представления

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

математический объект

и

его представление.

Объект — то, существование или свойства чего исследуются.

Представление — форма, в которой этот объект становится доступен определённому математическому аппарату.

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

Они могут быть связаны общим источником, но различаться:

операциями;

инвариантами;

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

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

Поэтому совпадение источника не означает тождества структур.

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

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

§3. Геометрическая ипостась

Геометрическая ипостась описывает объект через:

отношения величин;

положение;

форму;

пропорции;

высоты;

проекции;

конфигурационные ограничения.

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

Но геометрическое свойство не становится автоматически арифметическим.

Если из геометрической конструкции требуется вывести:

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

делимость;

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

остаточное условие,

необходим отдельный мост.

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

§4. Алгебраическая ипостась

Алгебраическая ипостась описывает объект через:

равенства;

тождественные преобразования;

факторизацию;

подстановки;

полиномиальные и рациональные отношения.

Она особенно важна как посредник между геометрией и арифметикой.

Именно алгебраическая форма часто позволяет:

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

ввести новую координату;

нормализовать объект;

подготовить локальный анализ.

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

Формальное решение алгебраического отношения может не удовлетворять условиям:

целочисленности;

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

знака;

остаточной допустимости.

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

§5. Арифметическая ипостась

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

Здесь центральными становятся:

делимость;

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

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

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

valuation;

плотность;

структурная разреженность.

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

Но и здесь действует общее правило:

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

§6. Условный объект и его обязательные образы

Во многих доказательствах объект вводится не как реально существующий, а условно:

предположим, что такой объект существует.

Это условный объект.

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

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

алгебраический;

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

локальный;

многостепенной.

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

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

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

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

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

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

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

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

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

Глава 2. Межипостасные мосты

§1. Мост существования

Мост существования устанавливает:

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

Это минимальный тип межипостасной связи.

Он не требует полной эквивалентности.

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

Ключевой вопрос:

возникает ли этот образ для каждого объекта рассматриваемого класса?

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

§2. Мост представления

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

Он может быть:

формулой;

алгоритмом;

параметризацией;

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

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

Но его наличие ещё не означает обратимость.

Поэтому необходимо отдельно устанавливать:

полноту;

область применимости;

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

§3. Мост сохранения

Мост сохранения отвечает на вопрос:

какое конкретное свойство сохраняется при переходе?

Это может быть:

равенство;

порядок;

знак;

инвариант;

определённая структура.

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

Нельзя говорить, что «сохраняется всё».

Всегда должно быть ясно:

что именно переносится;

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

в каком направлении.

§4. Мост арифметизации

Мост арифметизации переводит объект или параметр в арифметическую область.

Он может устанавливать:

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

рациональность;

делимость;

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

остаточную принадлежность;

valuation-свойство.

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

Из того, что величина имеет числовое значение, ещё не следует, что она обладает требуемой арифметической природой.

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

§5. Мост локализации

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

К нему относятся переходы:

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

к степеням простого модуля;

к p-адическим представлениям.

Такой мост обычно односторонний:

глобальный объект обязан давать локальный образ;

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

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

§6. Мост возврата

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

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

Возврат может иметь форму:

нового необходимого условия;

противоречия;

пустоты класса;

нового инварианта.

Главное требование:

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

§7. Полный межипостасный цикл

Полный цикл имеет следующую структуру:

исходный объект;

обязательный переход;

новая ипостась;

получение новой информации;

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

возврат к исходному объекту.

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

Он может быть:

тождественным — если возвращает только уже известную информацию;

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

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

Главный критерий продуктивности:

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

Глава 3. Три базовых закона

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

Основная формулировка:

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

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

Этот закон запрещает типичные ошибки:

перенос арифметической делимости на геометрический объект без арифметизации;

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

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

Его краткая форма:

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

§2. Закон условного тождества

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

Они условно тождественны по происхождению.

Но это не означает тождества их внутренних структур.

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

их свойства могут различаться;

их операции могут различаться;

их условия допустимости могут различаться.

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

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

§3. Принцип релевантного возврата

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

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

Поэтому схема

исходный объект → новая ипостась → противоречие

недостаточна сама по себе.

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

каждый исходный объект порождает такой образ;

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

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

§4. Совместимость обязательных представлений

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

Каждый из них может быть допустим по отдельности.

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

Таким образом, необходимо различать:

индивидуальную допустимость;

совместную допустимость.

Это фундаментальное различие.

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

Именно такую ситуацию будем называть несовместимостью совместного существования.

§5. Критерий завершённого межипостасного доказательства

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

Первое. Исходный объект и его статус определены.

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

Третье. Каждый переход между ипостасями имеет доказанный мост.

Четвёртое. Свойства не переносятся за пределы области, в которой доказано их сохранение.

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

Шестое. Совместная несовместимость доказана для всего обязательного класса.

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

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

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

Итог Части I

Трёхипостасная математика начинается с простого наблюдения:

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

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

переходы;

сохраняемые свойства;

обязательность образов;

их совместимость;

возврат к источнику.

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

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

Эта схема является фундаментом всех последующих разделов компендиума.

********

Часть II. Метаиндукция и структурная теория доказательства

Глава 4. Метаиндукция

§1. От обычной индукции к структурной

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

Её типовая логика такова:

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

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

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

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

Вместо вопроса

«сохраняется ли свойство?»

задаётся вопрос

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

Метаиндукция может фиксировать:

усиление ограничений;

ослабление ограничений;

рост разреженности;

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

изменение локальной глубины;

смену структурного режима.

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

§2. Структурный профиль

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

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

В профиль могут входить:

пространство кандидатов;

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

набор действующих фильтров;

остаточная структура;

локальные ограничения;

valuation-профиль;

многостепенные связи;

тип геометрической конфигурации;

характер разреженности.

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

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

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

§3. Метаиндуктивный закон

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

Он может утверждать:

сохранение структуры;

монотонное усиление ограничений;

появление нового ограничения;

изменение типа локальных ветвей;

переход к другому режиму совместимости.

Ключевое слово здесь — доказанное.

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

Для него необходимо установить:

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

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

какой переход действует;

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

какие изменяются;

какова область применимости.

§4. Рост разреженности

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

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

Это важный структурный сигнал.

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

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

рост разреженности не означает наступления пустоты.

Множество может становиться чрезвычайно редким и при этом оставаться бесконечным.

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

§5. Смена структурного режима

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

Это может быть переход:

от широкого пространства решений к разреженному;

от генеративного режима к негeneratorному;

от свободного локального подъёма к жёсткому;

от совместимости к структурному горлышку.

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

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

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

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

§6. Границы метаиндуктивного вывода

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

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

Необходимо различать:

структурную тенденцию;

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

конечное замыкание.

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

пустоте;

универсальному обрыву;

несовместимости;

спуску.

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

Глава 5. Пространство кандидатов

§1. Исходное пространство

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

Обозначим его как исходное пространство кандидатов.

Оно должно быть определено достаточно точно.

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

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

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

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

§2. Необходимые условия

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

Необходимое условие означает:

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

Важно не путать необходимость с достаточностью.

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

Он только остаётся кандидатом.

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

§3. Вложенные пространства

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

Каждый следующий уровень содержит только тех кандидатов, которые пережили предыдущие проверки.

Структурно это выглядит как:

исходное множество;

первое сжатие;

второе сжатие;

последующие остаточные классы.

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

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

§4. Фильтр

Фильтр — это правило, которое оставляет только кандидатов, удовлетворяющих определённому необходимому условию.

Фильтры могут быть:

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

алгебраическими;

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

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

p-адическими;

многостепенными;

метаиндуктивными.

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

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

§5. Доказательное сжатие

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

Можно различать:

слабое сжатие;

сильное сжатие;

почти полное сжатие;

полное замыкание.

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

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

Главный вопрос всегда остаётся один:

остался ли хотя бы один логически допустимый кандидат?

§6. Структурный хвост

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

Его будем называть структурным хвостом.

Хвост особенно важен для НИОКР.

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

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

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

Структурный хвост — не дефект доказательства, а карта его следующего шага.

Глава 6. Ортогональные фильтры

§1. Зависимые и независимые ограничения

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

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

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

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

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

§2. Геометрический фильтр

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

Он может ограничивать:

конфигурацию;

отношения;

расположение;

знаки;

геометрические инварианты.

Чтобы такой фильтр имел доказательную силу, необходимо:

доказать обязательность геометрического образа;

доказать соответствующее геометрическое свойство;

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

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

§3. Арифметический фильтр

Арифметический фильтр использует:

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

делимость;

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

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

valuation;

остаточные свойства.

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

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

§4. Остаточный фильтр

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

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

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

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

остаётся очень малый хвост;

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

§5. p-адический фильтр

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

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

Его объектами становятся:

глубина делимости;

локальные ветви;

valuation;

обрывы подъёма.

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

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

§6. Многостепенной фильтр

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

Разные степени не независимы, потому что имеют общий источник.

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

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

§7. Принцип ортогонального добивания

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

Но если остаточный хвост устойчив, более эффективна другая стратегия:

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

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

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

Он задаёт направление:

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

Типовая последовательность:

арифметический фильтр;

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

p-адический фильтр;

многостепенной фильтр;

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

Глава 7. От разреженности к пустоте

§1. Конечная доля

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

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

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

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

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

§2. Натуральная плотность

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

Если существует предел такой доли, возникает натуральная плотность.

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

Но плотность отвечает на вопрос:

какую часть пространства занимает множество?

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

пусто ли оно?

§3. Нулевая плотность

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

Но множество при этом может оставаться бесконечным.

Поэтому одно из центральных правил всего компендиума:

нулевая плотность не есть пустота.

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

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

§4. Разреженность как преддоказательная структура

Разреженность всё же имеет важную роль.

Она показывает:

что фильтры работают;

что остаточная структура концентрируется;

что пространство кандидатов приобретает горлышко;

что появляется возможность точечного анализа хвоста.

Поэтому разреженность следует понимать как преддоказательную структуру.

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

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

§5. Закрывающий закон

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

Будем называть его закрывающим законом.

Он должен обладать следующими свойствами:

универсальностью;

необходимостью;

новизной относительно прежних фильтров;

применимостью ко всему остаточному хвосту;

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

Закрывающим законом может быть:

несовместимость;

локальный запрет;

valuation-противоречие;

конечная система остаточных исключений;

бесконечный спуск.

§6. Пустота пространства кандидатов

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

Она означает:

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

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

Именно поэтому архитектура имеет конечную форму:

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

необходимые условия;

последовательные фильтры;

структурный хвост;

закрывающий закон;

пустота.

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

Итог Части II

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

Метаиндукция описывает эволюцию структуры.

Пространство кандидатов задаёт область поиска.

Фильтры постепенно сжимают её.

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

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

Закрывающий закон переводит горлышко в пустоту.

Главная схема второй части:

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

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

******

Часть III. Многостепенная математика

Глава 8. Степенные дефекты и спектры

§1. Степенной дефект

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

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

Так один и тот же объект начинает описываться не одной степенью, а целой последовательностью состояний.

Степенной дефект может быть:

положительным;

нулевым;

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

Его знак показывает, какая сторона соответствующего степенного отношения доминирует.

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

§2. Знаковый спектр

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

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

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

устойчивые знаковые области;

смены знака;

нулевые точки;

пороговые режимы.

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

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

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

§3. Критическая степень

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

Именно она соответствует точному степенному равновесию.

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

Но в многостепенной математике это понятие шире.

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

существует ли критическая степень;

единственна ли она;

какова её арифметическая природа;

какие условия она накладывает на соседние степени.

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

§4. Низкие степени

Низкие степени важны по двум причинам.

Во-первых, они часто имеют более простую геометрическую и алгебраическую структуру.

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

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

Особенно ценны случаи, когда низкостепенный дефект:

имеет простую факторизацию;

обладает дополнительной делимостью;

дает жёсткий остаточный профиль;

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

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

§5. Высокие степени

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

Крупнейшая величина начинает доминировать быстрее.

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

Но это не означает автоматической невозможности.

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

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

§6. Спектр как характеристика объекта

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

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

Такая подпись может включать:

знаки;

нулевые значения;

делимость;

valuation;

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

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

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

Это и есть исходная идея многостепенной математики.

Глава 9. Перекрёстные степенные отношения

§1. Общий источник разных степеней

Все степенные режимы относятся к одному и тому же исходному объекту.

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

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

Нельзя автоматически утверждать:

делимость одной степени через другую;

valuation-связь;

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

знаковое отношение.

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

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

§2. Перекрёстная делимость

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

Это особенно интересно, если делимость не объясняется общим масштабом.

Необходимо различать:

тривиальную делимость;

структурную делимость;

передаваемую делимость;

несовместимую делимость.

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

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

§3. Valuation-связи

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

Они особенно важны в p-адической части теории.

Можно исследовать:

нижние оценки;

верхние оценки;

линейный рост;

скачки;

несовместимые требования.

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

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

§4. Остаточные связи

Разные степени могут создавать разные остаточные ограничения.

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

Это позволяет строить совместные остаточные фильтры.

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

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

§5. Низкостепенные блоки

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

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

Эффективный блок должен обладать:

содержательными индивидуальными свойствами;

доказанными межстепенными связями;

частичной независимостью;

сильным совместным фильтрующим эффектом.

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

§6. Принцип выбивания высокой степени низкими

Этот принцип формулируется так:

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

Это не готовая теорема, а схема доказательства.

Для её реализации необходимо доказать:

обязательность всех низкостепенных проекций;

точные межстепенные связи;

независимость существенных ограничений;

пустоту совместной реализации.

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

Глава 10. Многостепенные матрицы

§1. Матрица межстепенных связей

Многостепенная матрица — это организованная таблица отношений между выбранными степенями.

Строки и столбцы соответствуют степенным режимам.

Ячейки фиксируют отношения между ними.

Это могут быть:

делимости;

valuation-связи;

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

знаковые зависимости;

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

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

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

§2. Доказательный статус ячеек

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

Например:

теорема;

лемма;

следствие;

вычислительная закономерность;

гипотеза;

открытая связь.

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

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

§3. Независимость связей

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

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

Полезно различать:

первичные связи;

производные связи;

дублирующие связи;

структурно независимые связи.

Именно независимые связи наиболее важны для закрывающего блока.

§4. Центральные степени

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

Такие степени можно рассматривать как центральные.

Центральность может определяться:

числом связей;

силой ограничений;

ролью в передаче инвариантов;

местом в закрывающем блоке.

Критическая степень часто естественно становится центральной, но это не обязательно.

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

§5. Закрывающий блок

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

Важно отличать его от просто плотной или хорошо заполненной матрицы.

Много связей ещё не означает противоречия.

Закрывающий блок должен давать именно:

несовместимость;

пустоту;

универсальный запрет.

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

§6. Минимальный закрывающий блок

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

Его поиск особенно важен.

Он позволяет:

устранить избыточность;

увидеть ядро невозможности;

сделать доказательство прозрачным;

выделить фундаментальные связи.

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

Итог Части III

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

Её основная схема такова:

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

Главное методологическое требование остаётся тем же:

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

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

********

Часть IV. Локальная и p-адическая архитектура

Глава 11. Остаточные пространства

§1. Степенные вычеты

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

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

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

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

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

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

§2. Эффективный модуль

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

Большой модуль сам по себе не делает фильтр сильным.

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

При его выборе учитываются:

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

совместимость сумм и разностей;

связь с делимостью;

чувствительность к степени;

взаимодействие с другими фильтрами.

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

§3. Структурные хвосты

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

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

Такой хвост особенно важен.

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

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

Остаточный хвост — только локальный набор кандидатов.

Именно он должен стать объектом более глубокого анализа.

§4. Совмещённые остаточные профили

Один объект может исследоваться:

по нескольким модулям;

при разных степенях;

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

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

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

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

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

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

§5. Реальная сила локального фильтра

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

Необходимо различать:

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

реальную силу — насколько фильтр сокращает уже актуальное пространство кандидатов.

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

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

Глава 12. Башни модулей

§1. Первый локальный уровень

Проверка по одному модулю даёт только первый слой локальной информации.

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

Он остаётся кандидатом на подъём.

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

§2. Последовательные подъёмы

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

Каждый подъём уточняет локальный образ.

Можно различать:

единственный подъём;

несколько возможных подъёмов;

условный подъём;

невозможность подъёма.

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

Это создаёт естественную локальную метаиндукцию.

§3. Дерево локальных классов

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

Уровень дерева соответствует локальной глубине.

Узел — допустимый класс.

Ребро — допустимый подъём.

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

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

§4. Живые и мёртвые ветви

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

Мёртвой — ветвь, для которой дальнейший подъём невозможен.

Это различие важно по двум причинам.

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

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

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

§5. Универсальный обрыв

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

Можно различать две формы.

Сильная форма:

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

Слабая форма:

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

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

Вычислительное обнаружение обрыва на многих уровнях ещё не является теоремой.

§6. Локальная невозможность

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

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

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

Схема имеет вид:

глобальный кандидат;

обязательная локализация;

дерево подъёмов;

универсальный обрыв;

отсутствие бесконечной ветви;

релевантный возврат.

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

Глава 13. p-адическое горлышко

§1. Нормальная форма

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

Цель такой формы — отделить:

общий масштаб;

локальный параметр;

структурную остаточную часть.

Хорошая нормальная форма должна:

охватывать все оставшиеся кандидаты;

не создавать посторонних объектов;

сохранять ключевые арифметические свойства;

быть пригодной для valuation-анализа.

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

§2. Локальные параметры

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

Они могут фиксировать:

глубину делимости;

тип подъёма;

остаточный класс;

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

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

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

§3. Valuation-законы

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

Он может связывать:

глубину параметра;

глубину вспомогательного полинома;

глубину дефекта;

уровень локального подъёма.

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

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

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

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

§4. Остаточный полином

После вынесения предсказуемых p-адических факторов часто остаётся остаточная полиномиальная часть.

Она может концентрировать всю нетривиальную локальную информацию.

Именно её структура определяет:

дополнительную делимость;

возможность компенсации;

аномальные повышения valuation;

условия продолжения ветви.

Поэтому остаточный полином является одним из главных объектов p-адического горлышка.

Его анализ должен отделять:

обязательную делимость;

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

структурную невозможность.

§5. Последний живой класс

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

Это последний живой класс.

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

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

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

Дальнейшая задача — не продолжать массовый перебор, а исследовать:

его valuation;

его подъёмы;

его многостепенной профиль;

его совместимость с другими фильтрами.

§6. Возможность p-адического спуска

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

Идея состоит в том, чтобы показать:

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

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

Другой вариант:

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

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

Итог Части IV

Локальная и p-адическая архитектура строится по следующей линии:

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

Главное различие этой части:

локальная допустимость — это только начало анализа.

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

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

******

Часть V. За пределами ферматовой задачи

Глава 14. Степенной индекс

§1. Определение

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

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

Задаётся сама конфигурация, а степень рассматривается как её характеристика.

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

Тем самым степень перестаёт быть только внешним параметром.

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

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

существует ли степенной индекс;

единственен ли он;

каков его арифметический тип.

Именно эти три уровня образуют основу новой программы.

§2. Геометрический смысл

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

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

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

Критическое значение показывает момент точного баланса.

Так степенной индекс связывает:

геометрию;

степенной спектр;

структуру отношений между сторонами.

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

Степень 2 естественно связана с пифагоровой геометрией.

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

§3. Арифметический тип

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

Он может быть:

целым;

рациональным;

иррациональным;

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

Поэтому возникает новая диофантова задача:

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

Можно исследовать:

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

его зависимость от масштабирования;

устойчивость при деформации параметров;

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

локальные ограничения.

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

§4. Рациональные треугольники

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

После общего масштабирования их стороны можно привести к целочисленной тройке.

Поэтому геометрический объект получает арифметическую структуру.

Для такого треугольника можно исследовать:

наличие степенного индекса;

его положение относительно 2;

его рациональность;

многостепенной спектр.

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

§5. Диофантовы вопросы

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

Например:

какие целочисленные тройки имеют заданный индекс;

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

может ли одна конфигурация иметь несколько критических степеней;

как связаны высота объекта и величина индекса;

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

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

Неизвестной может быть сама степень.

Глава 15. Смешанные степенные системы

§1. Степенной вектор

В смешанной степенной системе различные переменные могут иметь различные показатели.

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

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

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

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

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

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

критические области;

структурные поверхности совместимости.

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

§2. Разностные формы

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

Они позволяют выделять:

малый разрыв между основаниями;

факторизационную структуру;

локальный параметр;

valuation-профиль.

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

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

§3. Совершенные степени разностей

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

Здесь взаимодействуют два разных механизма:

структура разности;

структура совершенной степени.

Левая сторона имеет собственную факторизацию.

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

Эта несовместимость может стать источником сильных valuation- и остаточных фильтров.

§4. Смешанный степенной дефект

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

В смешанном случае этого недостаточно.

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

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

В нём можно исследовать:

области знака;

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

критические линии;

особые точки;

переходы между режимами.

Это естественное расширение понятия степенного спектра.

§5. Критические степенные конфигурации

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

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

Основные вопросы здесь таковы:

существуют ли такие конфигурации;

единственны ли они;

какие арифметические ограничения на них действуют;

как они изменяются при деформации оснований.

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

Глава 16. Пифагоровы структуры

§1. Классическая параметризация

Пифагоровы тройки дают эталонный пример полной генеративной теории.

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

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

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

геометрия;

алгебра;

арифметика

полностью согласованы.

§2. Альтернативные генераторы

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

Это могут быть:

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

рекуррентные схемы;

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

деревья троек.

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

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

§3. Полнота параметризаций

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

каждый допустимый набор параметров даёт решение;

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

Первая сторона называется корректностью.

Вторая — полнотой.

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

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

§4. Пифагоровы хвосты

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

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

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

разреженность не равна пустоте.

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

§5. Пифагоров и ферматов режимы

Степень 2 можно рассматривать как режим полной структурной совместимости.

Здесь существуют:

геометрическая интерпретация;

полная параметризация;

бесконечные семейства;

генеративный механизм.

Высшие степенные режимы имеют другую структуру.

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

что именно меняется при переходе от пифагорова режима к ферматову?

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

Глава 17. Генеративная диофантова математика

§1. От решения к генератору

Классическая диофантова задача ищет решение заданного уравнения.

Генеративный подход ставит более сильный вопрос:

какой механизм порождает целое семейство решений?

Основным объектом становится генератор.

Он принимает параметры и строит диофантовы объекты.

Хороший генератор должен не только выдавать решения, но и раскрывать их внутреннюю структуру.

§2. Формулы высокого уровня

Генератор не обязан быть одной замкнутой формулой.

Он может представлять собой многоэтапную процедуру:

выбор параметров;

нормализацию;

локальный фильтр;

рекуррентный шаг;

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

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

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

§3. Структурные семейства

Решения одного уравнения могут принадлежать разным генеративным типам.

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

Структурное семейство объединяет объекты, имеющие:

общий генератор;

общий инвариант;

общую локальную структуру;

сходный многостепенной профиль.

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

§4. Полнота генераторов

Для генератора необходимо различать:

корректность;

полноту;

избыточность;

минимальность.

Корректный генератор создаёт только решения.

Полный — создаёт все решения заданного класса.

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

Минимальный стремится описать пространство без лишних параметров.

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

§5. Поиск новых диофантовых объектов

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

Обычно:

уравнение → решения.

В генеративной математике возможно:

генератор → семейство объектов → общие инварианты → новое уравнение.

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

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

Если совместная реализация отсутствует — возникает архитектура невозможности.

Если существует полный генератор — возникает архитектура существования.

Итог Части V

Выход за пределы ферматовой задачи происходит в четырёх направлениях.

Степенной индекс превращает степень в характеристику объекта.

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

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

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

Общая схема части:

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

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

Она приобретает второй полюс — теорию структурного существования.

*****

Часть VI. Методология математического НИОКР

Глава 18. Математический эксперимент

§1. Роль вычислений

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

Они позволяют:

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

выявлять закономерности;

сравнивать гипотезы;

искать аномалии;

локализовать структурные горлышки.

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

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

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

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

§2. Вычисление как разведка

Лучше всего рассматривать вычислительный эксперимент как форму математической разведки.

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

какой параметр действительно существенен;

какой модуль эффективен;

где появляется рост valuation;

какие классы выживают;

какие фильтры почти полностью дублируют друг друга.

Правильная последовательность такова:

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

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

§3. Вычисление и доказательство

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

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

Следует строго различать:

проверено до некоторой границы

и

доказано для всех случаев.

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

Тогда вычислительная проверка становится законным завершающим этапом.

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

§4. Контрпримеры

Контрпример — один из наиболее эффективных инструментов математического НИОКР.

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

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

Особенно полезны:

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

граничные случаи;

вырожденные конфигурации;

аномальные остаточные классы;

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

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

§5. Карты пространства кандидатов

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

Она может строиться по координатам:

степени;

остаточного класса;

valuation;

высоты;

локальной глубины;

многостепенного профиля.

Такая карта позволяет увидеть:

какие области исключены;

где остаются структурные хвосты;

какие фильтры реально независимы;

где сосредоточено доказательное горлышко.

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

Глава 19. Человек и GPT-система

§1. Генерация гипотез

GPT-система особенно полезна на этапе расширения пространства возможных идей.

Она может предлагать:

новые представления;

альтернативные координаты;

возможные инварианты;

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

новые формулировки лемм.

Но сгенерированная гипотеза остаётся гипотезой.

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

§2. Проверка формул

GPT-система может использоваться как дополнительный слой контроля.

Она способна выявлять:

ошибки знаков;

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

несогласованные обозначения;

некорректные сокращения;

пропущенные условия обратимости.

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

Наиболее надёжный режим сочетает:

ручную проверку;

символьную проверку;

числовой тест;

независимое повторное преобразование.

§3. Поиск контрпримеров

Особенно сильна роль GPT-системы как исследовательского оппонента.

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

найти граничный случай;

проверить малые параметры;

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

исследовать исключительный остаточный класс;

проверить слабое место межипостасного моста.

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

§4. Риск ложной финализации

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

Именно поэтому возникает особый риск:

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

Ложная финализация часто возникает из-за:

недоказанного переноса;

необратимого перехода;

подмены разреженности пустотой;

вычислительной экстраполяции;

скрытой зависимости фильтров;

неявной гипотезы.

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

§5. Машинная дисциплина доказательства

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

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

статус;

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

область применимости;

зависимости;

ипостась;

направление моста;

наличие возврата.

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

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

§6. Новая организация НИОКР

Совместная работа человека и GPT-системы может быть организована циклически.

Первый контур — генерация гипотез.

Второй — поиск контрпримеров.

Третий — вычислительная проверка.

Четвёртый — структурный анализ.

Пятый — формализация.

Шестой — доказательный аудит.

Человек определяет математический смысл и критерий завершения.

GPT-система ускоряет перебор, проверку и структурирование.

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

Глава 20. Реестр уровней доказанности

§1. Теорема

Теорема — строго доказанное универсальное утверждение в явно заданной области.

Для неё должны быть определены:

условия;

объекты;

область применимости;

полная доказательная цепочка.

Теорема не может содержать скрытых предпосылок.

§2. Лемма

Лемма — доказанное вспомогательное утверждение.

По строгости она не слабее теоремы.

Различие состоит в функции.

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

§3. Следствие

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

Если для вывода требуется новый независимый аргумент, это уже не следствие, а новая лемма или теорема.

Особенно важно помнить это при межипостасных переходах.

§4. Вычислительная закономерность

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

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

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

Например:

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

Это точнее, чем формулировка «верно всегда».

§5. Гипотеза

Гипотеза — универсальное утверждение без полного доказательства.

Она может поддерживаться:

вычислениями;

аналогиями;

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

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

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

Именно это предотвращает незаметное повышение доказанности.

§6. Методологический принцип

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

Примеры:

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

принцип релевантного возврата;

различие плотности и пустоты;

принцип ортогонального добивания.

Такой принцип не заменяет конкретной математической леммы.

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

§7. Исследовательская программа

Исследовательская программа объединяет:

открытые вопросы;

гипотезы;

методы;

промежуточные цели;

критерии финализации.

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

Главное требование — ясность статусов.

В хорошо организованной программе всегда должно быть понятно:

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

что вычислено;

что предполагается;

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

Итог Части VI

Методология математического НИОКР строится на трёх дисциплинах.

Первая — экспериментальная.

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

Вторая — машинно-исследовательская.

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

Третья — статусная.

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

Общая схема части:

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

Именно эта дисциплина позволяет вести сложное математическое НИОКР без смешения наблюдения, гипотезы и теоремы.

*******

Часть VII. Архитектура математической невозможности

Глава 21. Совместная реализация

§1. Существование в отдельных ипостасях

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

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

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

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

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

Но это ещё не означает существования исходного объекта.

Причина проста:

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

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

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

и

глобальное существование объекта.

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

§2. Обязательность совместимости

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

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

Это означает:

одни и те же исходные параметры;

согласованные инварианты;

непротиворечивые локальные данные;

совместимые межстепенные профили.

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

§3. Локальная возможность

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

Такой уровень может быть:

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

остаточным;

p-адическим;

многостепенным;

координатным.

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

Но обычно не является достаточным.

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

§4. Глобальная невозможность

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

Такой результат может быть получен через:

прямое противоречие;

пустоту пересечения фильтров;

универсальный локальный обрыв;

несовместимый valuation-профиль;

бесконечный спуск.

Главное требование:

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

§5. Структурная несовместимость

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

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

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

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

Глава 22. Метатеорема совместимости

§1. От конкретной задачи к общей схеме

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

Он применим везде, где:

есть условный объект;

существуют обязательные представления;

каждое даёт необходимые условия;

можно проверить их совместную реализуемость.

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

§2. Условный объект

Условный объект вводится через предположение существования.

Он не считается реально существующим.

Его роль — логическая.

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

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

§3. Обязательные образы

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

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

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

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

§4. Система необходимых условий

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

Вместе они образуют систему.

Такая система может включать:

геометрические ограничения;

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

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

valuation-условия;

многостепенные связи;

локальные требования.

Главный вопрос:

может ли один объект удовлетворять всей системе одновременно?

§5. Пустота совместной реализации

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

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

В сжатом виде Метатеорема совместимости формулируется так:

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

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

§6. Релевантный возврат

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

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

каждый исходный объект обязан порождать один из этих образов;

рассмотрен полный обязательный класс;

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

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

Глава 23. Границы универсальности

§1. Когда новая ипостась даёт новую информацию

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

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

Поэтому нужно различать:

формальное преобразование;

структурно продуктивный переход.

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

§2. Тождественные представления

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

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

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

алгебраических переписываниях;

заменах координат;

разных формах одной делимости.

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

§3. Зависимые фильтры

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

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

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

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

логическую зависимость;

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

структурную зависимость.

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

§4. Ограничения локально-глобального перехода

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

Но для глобального вывода требуется мост.

Нельзя автоматически утверждать:

из отсутствия локального подъёма в одном факультативном представлении — отсутствие глобального объекта;

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

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

§5. Где трёхипостасный метод неприменим

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

Он малоэффективен, если:

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

все представления полностью эквивалентны;

нет доказанных мостов;

новые ипостаси не создают новых ограничений;

совместную реализуемость невозможно формализовать.

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

Итог Части VII

Архитектура математической невозможности строится по следующей схеме:

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

Главный результат части:

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

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

*****

Часть VIII. Трёхипостасная математика как новая предметная область

Глава 24. Предмет, объекты и законы

§1. Предмет исследования

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

Её основной вопрос:

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

Такой подход переносит центр внимания:

с объекта — на систему его представлений;

с одного доказательного языка — на переходы между языками;

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

Предметом исследования становятся:

множественность представлений;

межипостасные мосты;

сохраняемые инварианты;

необходимые условия;

совместимость;

структурная невозможность;

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

Таким образом, теория относится одновременно к архитектуре существования и архитектуре невозможности.

§2. Основные объекты

Минимальная система объектов включает несколько уровней.

Исходный объект — то, существование или свойства чего исследуются.

Ипостась — структурное представление объекта.

Образ — конкретная реализация объекта в выбранной ипостаси.

Межипостасный мост — доказанный механизм перехода.

Инвариант — свойство, сохраняемое или контролируемо преобразуемое между представлениями.

Пространство кандидатов — класс ещё не исключённых объектов.

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

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

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

§3. Основные законы

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

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

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

Необходим доказанный мост сохранения.

Закон условного тождества

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

Принцип релевантного возврата

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

Вместе эти законы регулируют весь межипостасный процесс:

что можно переносить;

почему разные образы относятся к одному объекту;

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

§4. Основные методы

К основным методам трёхипостасной математики относятся:

межипостасный анализ — исследование одного объекта в нескольких представлениях;

поиск инвариантов — выделение свойств, связывающих разные ипостаси;

структурная фильтрация — последовательное сжатие пространства кандидатов;

анализ независимости — отделение новой информации от повторения уже известного;

полный межипостасный цикл — обязательный возврат результата;

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

структурная несовместимость — доказательство отсутствия общей реализации;

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

Эти методы образуют единый аппарат.

§5. Критерии самостоятельности

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

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

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

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

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

Переносимость.
Аппарат должен работать за пределами одной ферматовой задачи.

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

Именно последний критерий особенно важен.

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

Глава 25. Предварительная аксиоматика

§1. Объект

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

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

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

Им может быть:

число;

набор чисел;

уравнение;

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

функция;

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

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

§2. Ипостась

Ипостась определяется как структурное представление объекта, имеющее:

собственную систему отношений;

набор операций;

инварианты;

условия допустимости.

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

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

§3. Мост

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

Он должен иметь:

исходную область;

целевую область;

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

направление;

перечень сохраняемых свойств;

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

Односторонний мост не может автоматически обращаться.

Частичный мост не может считаться полной эквивалентностью.

§4. Совместная реализация

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

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

Формально центральный вопрос теории:

существует ли объект, одновременно удовлетворяющий всей обязательной системе условий?

§5. Независимость

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

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

повторную формулировку;

логическое следствие;

частичную зависимость;

структурную независимость.

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

§6. Пустота

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

Следует строго отличать её от:

малого количества кандидатов;

нулевой плотности;

единичного класса;

редкой локальной ветви.

Пустота — качественный результат.

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

§7. Доказательный статус

Каждое утверждение новой теории должно иметь фиксированный статус.

Минимально различаются:

теорема;

лемма;

следствие;

вычислительная закономерность;

гипотеза;

методологический принцип;

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

Статус не может повышаться автоматически.

Именно этот принцип связывает аксиоматику с методологией математического НИОКР.

Глава 26. Открытая программа

§1. Ферматовское направление

Ферматова задача остаётся основной исходной лабораторией.

Ключевые открытые вопросы:

можно ли построить конечную закрывающую систему;

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

существует ли универсальный локальный обрыв;

возможен ли новый спуск;

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

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

архитектуру предполагаемого доказательства;

и реально доказанную закрывающую лемму.

§2. Многостепенное направление

Основные задачи:

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

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

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

построение valuation-связей;

поиск минимальных закрывающих блоков;

изучение эволюции многостепенных матриц.

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

§3. p-адическое направление

Здесь главными остаются:

классификация локальных ветвей;

условия подъёма;

универсальные механизмы обрыва;

valuation-законы;

p-адические горлышки;

локальный спуск.

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

§4. Степенно-геометрическое направление

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

Её возможные объекты:

степенные индексы;

рациональные треугольники;

критические показатели;

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

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

Главный вопрос:

как геометрическая форма кодируется степенным поведением?

§5. Диофантово-генеративное направление

Это положительный полюс программы.

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

Основные задачи:

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

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

классификация структурных семейств;

построение рекуррентных деревьев;

поиск новых диофантовых объектов через генераторы.

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

§6. Формализация трёхипостасной математики

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

Необходимо определить:

что такое ипостась в общем виде;

каков формальный объект моста;

как задаётся композиция мостов;

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

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

как записать Метатеорему совместимости;

каков минимальный набор аксиом.

Возможные математические языки формализации могут включать:

теорию моделей;

теорию категорий;

логику;

теорию отображений и инвариантов.

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

Заключение

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

Третий том завершает переход, начатый в первых двух томах.

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

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

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

И наконец главным объектом исследования стала их совместимость.

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

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

Именно эта схема является главным результатом третьего тома.

Ферматова задача оказалась не только объектом исследования.

Она стала лабораторией, в которой были сформированы:

язык ипостасей;

теория мостов;

метаиндуктивный аппарат;

структурная теория фильтрации;

многостепенная математика;

p-адическая архитектура;

генеративная диофантова программа.

Центральное различие всей работы можно сформулировать так:

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

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

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

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

Но существует и симметричный вывод.

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

Таким образом, трёхипостасная математика естественным образом соединяет два полюса:

структурную невозможность

и

структурное существование.

В этом состоит главный переход всей программы:

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

Теорема ставит конкретный вопрос.

Ипостаси раскрывают его различные стороны.

Мосты связывают эти стороны.

Фильтры сужают пространство допустимости.

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

Многостепенной и p-адический анализ локализуют горлышки.

Метатеорема совместимости формулирует общий принцип.

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

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

Оно фиксирует точку, в которой частная задача становится общим методом.

Главный вопрос, остающийся после Ферма, звучит уже шире:

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

Именно этот вопрос открывает следующую область математического НИОКР.

****

Справочный блок

Свод основных определений

1. Математический объект

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

Объект может быть:

числом;

набором чисел;

уравнением;

геометрической конфигурацией;

параметрическим семейством;

диофантовой структурой.

2. Представление

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

Представление может быть:

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

алгебраическим;

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

локальным;

p-адическим;

многостепенным.

3. Математическая ипостась

Математическая ипостась — структурное представление объекта, обладающее собственной системой:

отношений;

операций;

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

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

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

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

4. Образ объекта

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

Один объект может иметь несколько образов.

5. Условный объект

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

Его существование не утверждается.

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

6. Обязательный образ

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

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

7. Межипостасный мост

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

Для моста должны быть указаны:

исходная ипостась;

целевая ипостась;

условия;

направление;

сохраняемая информация;

возможная потеря информации.

8. Межипостасный инвариант

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

9. Полный межипостасный цикл

Полный межипостасный цикл — последовательность:

исходный объект;

обязательный переход;

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

получение новой информации;

релевантный возврат.

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

10. Пространство кандидатов

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

11. Необходимое условие

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

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

12. Фильтр

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

13. Ортогональный фильтр

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

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

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

14. Доказательное сжатие

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

15. Структурный хвост

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

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

16. Доказательное горлышко

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

17. Совместная реализация

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

18. Структурная совместимость

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

19. Структурная несовместимость

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

20. Пустота пространства совместной реализации

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

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

21. Разреженность

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

Разреженность не означает пустоты.

22. Структурный профиль

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

Он может включать:

пространство кандидатов;

фильтры;

локальные ограничения;

valuation;

плотность;

многостепенные связи.

23. Метаиндукция

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

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

24. Метаиндуктивный закон

Метаиндуктивный закон — доказанное правило изменения структурного профиля.

25. Степенной дефект

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

26. Знаковый спектр

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

27. Критическая степень

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

28. Степенной индекс

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

29. Низкостепенной блок

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

30. Многостепенная матрица

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

Ячейки матрицы могут фиксировать:

делимость;

valuation;

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

знаковые отношения;

факторизационные связи.

31. Закрывающий блок

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

32. Минимальный закрывающий блок

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

33. Остаточное пространство

Остаточное пространство — конечное локальное пространство классов по выбранному модулю.

34. Башня модулей

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

35. p-адическое дерево

p-адическое дерево — многоуровневая структура, в которой:

узлы — допустимые локальные классы;

рёбра — допустимые подъёмы;

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

36. Живая ветвь

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

37. Мёртвая ветвь

Мёртвая ветвь — ветвь, для которой дальнейший подъём невозможен.

38. p-адическое горлышко

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

39. Локальная невозможность

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

Для глобального вывода требуется релевантный возврат.

40. Генератор решений

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

41. Полнота генератора

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

42. Структурное семейство

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

43. Формула высокого уровня

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

44. Закрывающий закон

Закрывающий закон — универсальный доказательный механизм, переводящий остаточную допустимость или разреженность в:

пустоту;

универсальный обрыв;

противоречие;

спуск.

45. Метатеорема совместимости

Метатеорема совместимости — общий метатеоретический шаблон:

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

Свод основных законов и принципов

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

Формулировка:

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

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

Назначение:

предотвращает скрытый перенос:

делимости;

знака;

целочисленности;

уникальности;

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

2. Закон условного тождества

Формулировка:

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

Следствие:

все их необходимые условия должны быть совместимы одновременно.

3. Принцип релевантного возврата

Формулировка:

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

Назначение:

замыкает межипостасный цикл.

4. Принцип обязательности образа

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

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

5. Принцип направленности мостов

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

Каждый обратный переход требует отдельного доказательства.

6. Принцип локальности свойства

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

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

7. Принцип совместной реализуемости

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

8. Принцип независимости усиления

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

9. Принцип ортогонального добивания

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

10. Принцип различия разреженности и пустоты

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

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

11. Принцип структурного хвоста

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

12. Принцип приоритета горлышка

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

13. Принцип полного межипостасного цикла

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

исходного объекта;

обязательного перехода;

новой информации;

релевантного возврата.

14. Принцип доказательного прироста

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

15. Принцип метаиндуктивной осторожности

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

16. Принцип конечного замыкания

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

17. Принцип локально-глобальной осторожности

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

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

18. Принцип низкостепенной диагностики

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

19. Принцип минимального закрывающего блока

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

20. Принцип генеративной полноты

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

21. Принцип статуса утверждения

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

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

Гипотеза не становится леммой.

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

22. Принцип антифинализации

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

Финализация требует закрытия всех критических звеньев.

Типология межипостасных мостов

1. Мост существования

Функция: устанавливает обязательное существование производного образа.

Схема:

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

Сила: минимальная, но фундаментальная.

2. Мост представления

Функция: задаёт конкретный способ построения образа.

Может иметь форму:

формулы;

алгоритма;

параметризации;

рекурсии.

Главный вопрос: является ли представление полным и обратимым?

3. Мост эквивалентности

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

Следует различать:

эквивалентность объектов;

эквивалентность информации;

эквивалентность свойств.

Полная эквивалентность встречается реже, чем частичная.

4. Мост сохранения

Функция: переносит конкретное свойство между ипостасями.

Может сохранять:

равенство;

знак;

инвариант;

отношение;

определённую структуру.

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

5. Мост арифметизации

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

Может устанавливать:

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

рациональность;

делимость;

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

valuation;

остаточный класс.

6. Мост геометризации

Функция: строит геометрический образ алгебраического или арифметического объекта.

Позволяет выявлять:

форму;

положение;

отношения;

симметрию;

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

Сам по себе не даёт арифметического вывода без возврата.

7. Локализующий мост

Функция: переводит глобальный объект в локальное пространство.

Примеры:

переход к остаточным классам;

к простому модулю;

к p-адическому уровню.

Обычно направлен от глобального к локальному.

8. Мост подъёма

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

Возможны:

единственный подъём;

множественный подъём;

условный подъём;

обрыв.

9. Мост редукции

Функция: переводит глубокий локальный объект на более грубый уровень.

Обычно проще, чем подъём.

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

10. Многостепенной мост

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

Может переносить:

делимость;

valuation;

остаточный профиль;

знак;

факторизационную структуру.

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

11. Метаиндуктивный мост

Функция: связывает структурные профили при разных значениях параметра.

Может описывать:

усиление;

ослабление;

стабилизацию;

смену режима.

12. Генеративный мост

Функция: переводит параметры в допустимый объект.

Используется в:

параметризациях;

деревьях решений;

рекуррентных генераторах.

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

13. Мост нормализации

Функция: приводит объект к стандартной форме.

Может:

удалять общий масштаб;

выделять примитивную часть;

фиксировать порядок;

концентрировать параметры.

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

14. Мост факторизации

Функция: переводит выражение в систему множителей.

Открывает доступ к:

делимости;

простым факторам;

valuation;

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

15. Мост инварианта

Функция: переносит через несколько ипостасей специально выбранное устойчивое свойство.

Может служить осью длинного межипостасного доказательства.

16. Мост нового инварианта

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

Это один из основных продуктивных типов цикла.

17. Мост противоречия

Функция: возвращает невозможность обязательного образа к исходному объекту.

Схема:

исходный объект обязан породить образ;

такой образ невозможен;

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

18. Мост возврата

Функция: общий механизм завершения межипостасного цикла.

Может возвращать:

свойство;

ограничение;

инвариант;

противоречие;

пустоту;

генеративную полноту.

Классификация мостов по направлению

Односторонние

Доказан только один переход.

Двусторонние

Доказаны прямой и обратный переходы.

Условно двусторонние

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

Классификация мостов по объёму информации

Полные

Сохраняют всю существенную для задачи структуру.

Частичные

Сохраняют только часть информации.

Проекционные

Сознательно теряют часть информации ради упрощения анализа.

Локализация часто имеет проекционный характер.

Классификация мостов по логической роли

Обязательные

Возникают для каждого объекта рассматриваемого класса.

Факультативные

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

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

Классификация мостов по доказательному эффекту

Тождественные

Переписывают уже известную информацию.

Продуктивные

Создают после возврата новое ограничение.

Закрывающие

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

Минимальный паспорт межипостасного моста

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

Название.

Исходная ипостась.

Целевая ипостась.

Область объектов.

Условия применимости.

Направление.

Сохраняемая информация.

Теряемая информация.

Обратимость.

Доказательный статус.

Роль в полном цикле.

Итог справочного блока

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

Что является объектом?

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

Допускают ли эти представления единую совместную реализацию?

Определения задают язык.

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

Типология мостов задаёт архитектуру переходов.

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

*******

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

1. Схема сохранения

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

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

инварианта;

типа локальной структуры;

формы фильтра;

класса допустимых объектов.

2. Схема усиления

При изменении параметра ограничения становятся жёстче.

Возможны два варианта.

Количественное усиление — сокращается число допустимых кандидатов.

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

Второй вариант обычно доказательно сильнее.

3. Схема ослабления

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

Может проявляться как:

рост числа кандидатов;

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

увеличение числа подъёмов;

ослабление valuation-условия.

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

4. Схема структурного появления

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

Это может быть:

новая факторизация;

новый остаточный запрет;

новый инвариант;

новый тип локальной ветви;

новый межипостасный мост.

5. Схема структурного исчезновения

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

Например:

исчезает класс решений;

обрывается тип локального подъёма;

теряется параметризация;

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

6. Пороговая схема

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

До порога действует одна архитектура.

После порога — другая.

Порог особенно важен при сравнении:

генеративного и негeneratorного режима;

квадратичного и высокостепенного режима;

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

7. Схема роста разреженности

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

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

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

8. Схема стабилизации хвоста

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

Это признак того, что текущий механизм исчерпан.

Необходим новый независимый фильтр.

9. Схема локального углубления

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

Исследуется:

число живых ветвей;

тип подъёма;

изменение valuation;

появление локальных запретов.

Эта схема естественна для p-адических деревьев.

10. Схема обязательного обрыва

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

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

11. Схема накопления valuation

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

Особенно важен случай несовместимости:

одна часть структуры требует роста;

другая ограничивает его сверху.

12. Многостепенная схема

Параметром является степень.

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

Исследуются:

дефекты;

знаки;

делимости;

остаточные свойства;

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

Цель — доказать закон изменения этих характеристик по степенной оси.

13. Многопараметрическая схема

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

Типична для смешанных степенных систем.

Можно исследовать:

движение вдоль одной координаты;

по диагонали;

по критической поверхности;

по специальной параметрической траектории.

14. Схема смены режима

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

Например:

параметризуемый режим становится разреженным;

разреженный — локально несовместимым;

симметричный — смешанным.

15. Схема метаиндуктивного инварианта

Некоторая характеристика сохраняется при изменении структурного профиля.

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

16. Схема метаиндуктивного фильтра

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

Нарушение этой траектории исключает кандидата.

17. Схема конечного замыкания

После конечного числа структурных переходов система приходит к:

пустоте;

универсальному обрыву;

несовместимости;

спуску.

Это наиболее сильная метаиндуктивная схема.

18. Схема асимптотического режима

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

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

Минимальный паспорт метаиндуктивной схемы

Для каждой схемы рекомендуется фиксировать:

Параметр.

Исходный структурный профиль.

Целевой профиль.

Тип изменения.

Сохраняемые инварианты.

Новые ограничения.

Теряемые свойства.

Доказательный статус.

Область применимости.

Роль в возможном замыкании.

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

1. Алгебраический фильтр

Основан на:

тождественных преобразованиях;

факторизации;

полиномиальных связях;

нормальных формах.

Его задача — выделить обязательные алгебраические ограничения.

2. Геометрический фильтр

Использует:

форму;

положение;

отношения;

проекции;

симметрии;

конфигурационные запреты.

Требует доказанного возврата в исходную задачу.

3. Арифметический фильтр

Основан на:

целочисленности;

делимости;

взаимной простоте;

простых множителях;

паритетных и других числовых свойствах.

4. Остаточный фильтр

Исключает кандидатов по конечному набору классов по выбранному модулю.

Особенно силён как первый локальный слой.

5. p-адический фильтр

Исследует не только остаток, но и глубину локального продолжения.

Использует:

valuation;

башни модулей;

локальные ветви;

условия подъёма.

6. Многостепенной фильтр

Применяет обязательные связи одного объекта в разных степенных режимах.

Может использовать:

низкостепенные дефекты;

межстепенные делимости;

знаковые ограничения;

valuation-связи.

7. Метаиндуктивный фильтр

Исключает кандидата, если он не вписывается в доказанный закон структурной эволюции по параметру.

8. Нормализационный фильтр

Приводит объект к стандартной форме и устраняет избыточные масштабы или симметрии.

Он не всегда исключает кандидатов напрямую, но резко упрощает последующую фильтрацию.

9. Факторизационный фильтр

Использует структуру множителей.

Особенно полезен для перехода от алгебры к арифметике.

10. Valuation-фильтр

Отбирает кандидатов по глубине простых делителей.

Может работать как часть p-адического анализа или самостоятельно.

11. Знаковый фильтр

Использует знак дефекта, выражения или геометрического отношения.

Сам по себе часто слаб, но может быть полезен в комбинации.

12. Генеративный фильтр

Проверяет принадлежность объекта допустимому генеративному семейству.

В положительной теории он служит не исключению, а классификации существующих объектов.

13. Межипостасный фильтр

Возникает, когда новое ограничение появляется только после перехода в другую ипостась и релевантного возврата.

Это общий класс для многих продуктивных доказательных циклов.

14. Закрывающий фильтр

Последний фильтр, после которого пространство кандидатов становится пустым.

Он может иметь:

локальную;

арифметическую;

многостепенную;

комбинированную природу.

Классификация фильтров по доказательной роли

Первичные

Отсекают очевидно недопустимые объекты.

Усиливающие

Сужают уже отфильтрованное пространство.

Ортогональные

Добавляют новый независимый механизм.

Локализующие

Не обязательно сильно уменьшают пространство, но концентрируют его в структурном горлышке.

Закрывающие

Дают пустоту или эквивалентный финальный механизм.

Классификация по независимости

Зависимые

Полностью следуют из предыдущих условий.

Частично независимые

Дают некоторое новое сокращение, но используют общий механизм.

Структурно независимые

Работают по другому математическому механизму и исключают новых кандидатов.

Критерий силы фильтра

Сильный фильтр — не тот, который исключает большой процент исходного пространства, а тот, который эффективно действует на текущий остаточный хвост.

Именно поэтому после сильного сжатия особенно важна не массовость, а новизна механизма.

Схема многостепенной матрицы

1. Назначение

Многостепенная матрица систематизирует отношения между несколькими степенными режимами одного условного объекта.

Она нужна для ответа на вопросы:

какие степени связаны;

какие связи доказаны;

какие независимы;

какой конечный блок может быть закрывающим.

2. Структура

Строки и столбцы соответствуют выбранным степеням.

На диагонали фиксируются свойства каждой степени самой по себе.

Во внедиагональных ячейках фиксируются межстепенные отношения.

3. Диагональные элементы

Могут содержать:

знак дефекта;

нулевой или ненулевой статус;

остаточный профиль;

valuation;

факторизационную характеристику;

локальную допустимость.

4. Внедиагональные элементы

Могут содержать:

делимость;

valuation-связь;

остаточную совместимость;

знаковую зависимость;

факторизационный переход;

геометрическую связь;

параметрическую связь.

5. Направленность

Не всякая связь симметрична.

Поэтому ячейка должна показывать:

направление вывода;

условия обратимости;

возможную потерю информации.

6. Доказательный статус ячейки

Для каждой связи необходимо отдельно фиксировать статус.

Удобная классификация:

Т — теорема;

Л — лемма;

С — следствие;

В — вычислительная закономерность;

Г — гипотеза;

О — открытая связь.

Матрица без статусов может создавать ложное впечатление завершённости.

7. Зависимость ячеек

Следует отмечать, является ли связь:

первичной;

производной;

дублирующей;

структурно независимой.

Это необходимо для поиска действительно сильных блоков.

8. Центральная степень

Центральной можно считать степень, через которую проходит значительное число сильных межстепенных связей.

Она может быть:

критической;

низкой диагностической;

локально значимой.

Центральность определяется не только количеством, но и силой связей.

9. Низкостепенной блок

Конечная группа низких степеней, используемых для совместного анализа высокостепенного объекта.

Цель:

получить несколько обязательных и частично независимых проекций.

10. Закрывающий блок

Закрывающий блок — конечный набор строк, столбцов и ячеек, для которого доказана невозможность совместной реализации.

Он должен давать не просто много ограничений, а именно пустоту.

11. Минимальный закрывающий блок

Минимальный закрывающий блок — такой закрывающий набор, из которого нельзя удалить существенную степень или связь без потери противоречия.

Именно он наиболее точно показывает ядро многостепенной невозможности.

12. Специальные типы матриц

Матрица делимости

Фиксирует перекрёстные условия делимости.

Valuation-матрица

Сравнивает глубины простых делителей.

Остаточная матрица

Фиксирует совместимость по модулям.

Знаковая матрица

Показывает структуру знаков дефектов.

Смешанная матрица

Объединяет несколько типов связей.

13. Минимальный паспорт матрицы

Рекомендуется фиксировать:

Объект исследования.

Набор степеней.

Тип каждой ячейки.

Доказательный статус.

Зависимости между связями.

Центральные степени.

Потенциальный закрывающий блок.

Открытые ячейки.

Критерий финализации.

14. Рабочая последовательность

Практическое построение матрицы:

1. выбрать конечный набор степеней;
2. заполнить диагональные свойства;
3. исследовать попарные связи;
4. присвоить каждой ячейке статус;
5. отметить зависимые связи;
6. выделить центральные степени;
7. сформировать потенциальный закрывающий блок;
8. проверить совместную реализуемость;
9. искать минимальный блок;
10. выполнить релевантный возврат.

Итог

Три справочных аппарата работают совместно.

Метаиндуктивная схема показывает, как меняется структура по параметру.

Структурный фильтр показывает, как сжимается пространство кандидатов.

Многостепенная матрица показывает, как связаны несколько степенных проекций одного объекта.

Их совместная архитектура:

структурный профиль
→ закон изменения
→ система фильтров
→ многостепенная сеть
→ независимый блок
→ возможное замыкание.

*****

Схема p-адического дерева

1. Назначение

p-адическое дерево предназначено для анализа того, может ли локально допустимый объект последовательно продолжаться на всё более глубокие уровни.

Оно переводит вопрос

«существует ли допустимый остаточный класс?»

в более сильный вопрос:

«существует ли бесконечная совместимая цепочка локальных подъёмов?»

2. Уровень дерева

Каждый уровень соответствует определённой глубине локального рассмотрения.

Чем выше глубина, тем точнее локальный образ объекта.

Первый уровень показывает грубую остаточную допустимость.

Последующие уровни уточняют её.

3. Узел

Узел — локально допустимый класс на фиксированной глубине.

Для узла желательно фиксировать:

остаточный класс;

локальные параметры;

valuation;

условия допустимости;

доказательный статус;

число возможных подъёмов.

4. Ребро

Ребро связывает узел с допустимым продолжением на следующем уровне.

Оно означает:

данный локальный класс может быть поднят до более глубокого локального класса.

Ребро должно соответствовать доказанному или явно вычисленно проверенному правилу подъёма.

5. Корень

Корень дерева соответствует исходному локальному классу до углубления.

Если исходных локальных классов несколько, дерево может иметь несколько корневых компонентов.

6. Ветвь

Ветвь — согласованная последовательность локальных классов.

Она показывает один возможный путь продолжения кандидата.

Следует различать:

конечную ветвь;

ветвь произвольной конечной глубины;

доказанно бесконечную ветвь.

Это разные утверждения.

7. Живая ветвь

Живая ветвь продолжается до рассматриваемого уровня и пока не исключена локальными условиями.

Живость означает только отсутствие найденного обрыва.

Она не доказывает существование глобального объекта.

8. Мёртвая ветвь

Мёртвая ветвь — ветвь, для которой дальнейший допустимый подъём невозможен.

Причинами смерти могут быть:

остаточное противоречие;

несовместимый valuation;

нарушение взаимной простоты;

потеря обязательного параметра;

факторизационный запрет;

межстепенная несовместимость.

9. Ветвление

Число допустимых продолжений узла характеризует локальную свободу.

Можно различать:

нулевое ветвление — обрыв;

единичное ветвление — жёсткая локальная траектория;

множественное ветвление — локальная неопределённость.

Особенно важны переходы от широкого ветвления к единичной ветви.

10. Последний живой класс

Если после серии локальных фильтров остаётся один устойчивый тип ветви, возникает последний живой класс.

Это локальное доказательное горлышко.

Он должен исследоваться глубже по:

valuation;

остаточному полиному;

межстепенным связям;

возможности спуска.

11. Универсальный обрыв

Универсальный обрыв означает, что каждая ветвь обязательного типа в конечном счёте прекращается.

Сильная форма:

существует единая конечная глубина, после которой живых ветвей нет.

Слабая форма:

каждая конкретная ветвь конечна, но общей верхней границы глубины может не быть.

12. Бесконечная совместимая ветвь

Бесконечная ветвь требует согласованности всех локальных уровней.

Наличие допустимых узлов на сколь угодно больших уровнях ещё не должно автоматически интерпретироваться как наличие одной и той же бесконечной совместимой ветви без дополнительного аргумента.

Это различие критично.

13. Локальный объект

Бесконечная совместимая ветвь может соответствовать локальному p-адическому объекту.

Но локальный объект ещё не обязательно соответствует требуемому глобальному целочисленному объекту.

Для этого нужен отдельный локально-глобальный мост.

14. Valuation-профиль ветви

Каждая ветвь может снабжаться последовательностью valuation-характеристик.

Это позволяет исследовать:

рост;

стабилизацию;

скачки;

несовместимые требования.

Именно valuation-профиль часто выявляет скрытый механизм обрыва.

15. Многостепенное p-адическое дерево

Можно анализировать локальные ветви одновременно для нескольких степенных режимов.

Тогда узел должен удовлетворять не одному, а системе межстепенных локальных условий.

Так p-адическое дерево связывается с многостепенной матрицей.

16. Дерево по нескольким простым

Ещё более сильная конструкция возникает при одновременном анализе локальных деревьев для нескольких простых.

Глобальный объект обязан быть совместим со всеми такими локальными проекциями.

Это создаёт естественный ортогональный фильтр.

17. Конечный сертификат локальной невозможности

Наиболее удобный тип доказательства возникает, когда удаётся показать:

после некоторой конечной глубины живых обязательных ветвей нет.

Тогда локальная невозможность получает конечный сертификат.

18. Асимптотический сертификат

Более сложный случай:

обрыв доказывается не на едином конечном уровне, а через универсальный закон, исключающий бесконечную ветвь.

Такое доказательство может быть полноценным, но требует более тонкой теории.

19. Паспорт p-адического дерева

Рекомендуется фиксировать:

Простое.

Исходный класс.

Нормальная форма.

Локальные параметры.

Правило подъёма.

Valuation-закон.

Типы узлов.

Типы обрывов.

Максимальная исследованная глубина.

Доказанные универсальные свойства.

Открытый последний класс.

Наличие или отсутствие возврата к глобальной задаче.

Доказательный статус.

Реестр доказательных статусов

1. Теорема

Статус: доказано.

Требования:

точная формулировка;

явные условия;

полная доказательная цепочка;

отсутствие скрытых гипотез.

Обозначение для реестра:

Т

2. Лемма

Статус: доказано.

Лемма отличается от теоремы не строгостью, а вспомогательной ролью.

Обозначение:

Л

3. Следствие

Статус: доказано как непосредственный вывод.

Не должно содержать нового независимого доказательного шага.

Обозначение:

С

4. Конструкция

Статус: объект или аппарат явно построен и определён.

Конструкция сама по себе не означает доказательства всех приписываемых ей свойств.

Обозначение:

К

5. Вычислительная закономерность

Статус: подтверждено на конечном вычислительном диапазоне.

Не является универсальной теоремой.

Обозначение:

ВЗ

6. Гипотеза

Статус: сформулировано, но не доказано.

Может иметь сильную вычислительную или структурную поддержку.

Обозначение:

Г

7. Методологический принцип

Статус: правило организации корректного доказательного процесса.

Не заменяет предметной теоремы.

Обозначение:

МП

8. Метатеоретическая схема

Статус: общий логический шаблон, применимый к классу доказательств при выполнении заданных условий.

Пример:

Метатеорема совместимости в общей форме.

Обозначение:

МС

9. Исследовательская программа

Статус: система задач, методов и направлений, ещё не сведённая к завершённой теории.

Обозначение:

ИП

10. Открытая проблема

Статус: ключевой вопрос без окончательного решения в рамках текущей программы.

Обозначение:

О

11. Частично доказанный результат

Статус: доказаны некоторые случаи или отдельные компоненты, но универсальная формулировка остаётся открытой.

Обозначение:

ЧД

12. Условный результат

Статус: доказательство корректно при условии истинности другой гипотезы или открытой леммы.

Обозначение:

УР

Паспорт доказательного утверждения

Для каждого существенного результата рекомендуется фиксировать:

Название.

Точная формулировка.

Статус.

Предпосылки.

Ипостась.

Используемые мосты.

Область применимости.

Зависимости.

Вычислительная поддержка.

Наличие контрпримеров.

Что необходимо для повышения статуса.

Правило повышения статуса

Переход между статусами должен происходить только после нового доказательного события.

Например:

вычислительная закономерность → гипотеза;

гипотеза → лемма;

лемма → часть теоремы;

метатеоретическая схема → формальная теорема в заданной аксиоматике.

Ни один переход не должен происходить автоматически.

Реестр критических открытых лемм

Ниже перечислены типы результатов, которые являются потенциальными точками замыкания всей исследовательской программы.

Лемма 1. Последний k-класс

Направление: ферматовское.

Цель: доказать невозможность или строгую структуру последнего остаточного класса, пережившего предыдущие фильтры.

Критическая роль: закрытие основного арифметического хвоста.

Статус: открыто.

Лемма 2. Конечная закрывающая система

Направление: ферматовское / структурное.

Цель: построить конечный набор независимых обязательных условий, совместная реализация которых невозможна.

Критическая роль: перевод архитектуры фильтрации в конечное доказательство пустоты.

Статус: открыто.

Лемма 3. Универсальный межстепенной закон

Направление: многостепенное.

Цель: доказать универсальную связь между выбранными степенными режимами одного условного объекта.

Возможные формы:

делимость;

valuation;

остаточная зависимость;

знаковое ограничение.

Критическая роль: заполнение ключевых ячеек многостепенной матрицы.

Статус: открыто или частично доказано в зависимости от конкретной связи.

Лемма 4. Минимальный многостепенной закрывающий блок

Направление: многостепенное.

Цель: найти конечный минимальный набор степеней и связей, совместная реализация которых невозможна.

Критическая роль: реализация принципа выбивания высокой степени низкими.

Статус: открыто.

Лемма 5. Универсальный p-адический обрыв

Направление: p-адическое.

Цель: доказать, что каждая обязательная локальная ветвь конечна.

Сильная версия:

существует единая конечная глубина обрыва.

Критическая роль: переход от локальной разреженности к локальной невозможности.

Статус: открыто.

Лемма 6. Точный valuation-закон

Направление: p-адическое.

Цель: установить универсальную зависимость между локальными параметрами и глубиной делимости остаточного выражения.

Критическая роль: исключение аномальных компенсаций и контроль последнего живого класса.

Статус: открыто или гипотеза до полного доказательства.

Лемма 7. Остаточный полином последнего класса

Направление: p-адическое.

Цель: доказать структуру остаточного полинома, достаточную для универсального ограничения valuation или подъёма.

Критическая роль: локализация последнего p-адического горлышка.

Статус: открыто.

Лемма 8. p-адический спуск

Направление: p-адическое / ферматовское.

Цель: показать, что из минимального условного объекта возникает объект того же типа с меньшей локальной сложностью.

Критическая роль: возможный самостоятельный механизм замыкания.

Статус: открыто.

Лемма 9. Совместимость по нескольким простым

Направление: локально-глобальное.

Цель: доказать несовместимость обязательных локальных профилей по нескольким различным простым.

Критическая роль: создание ортогонального локального закрывающего фильтра.

Статус: открыто.

Лемма 10. Мост низких степеней

Направление: многостепенное.

Цель: доказать, что критический высокостепенной объект обязательно порождает конкретный конечный набор низкостепенных условий.

Критическая роль: превращение низких степеней из диагностического инструмента в обязательный фильтр.

Статус: открыто.

Лемма 11. Независимость ключевых фильтров

Направление: структурная теория доказательства.

Цель: доказать, что выбранные фильтры действительно дают независимую информацию и не являются скрытыми следствиями одного механизма.

Критическая роль: обоснование ортогонального добивания.

Статус: требует формализации.

Лемма 12. Критерий структурного замыкания

Направление: метатеоретическое.

Цель: сформулировать достаточный формальный критерий, при котором система обязательных ипостасей и фильтров гарантирует пустоту пространства совместной реализации.

Критическая роль: строгая форма Метатеоремы совместимости.

Статус: открытая формализация.

Лемма 13. Теорема существования степенного индекса

Направление: степенно-геометрическое.

Цель: установить условия, при которых заданная конфигурация имеет критический степенной индекс.

Критическая роль: основание самостоятельной теории степенного индекса.

Статус: открыто в общем виде.

Лемма 14. Теорема единственности степенного индекса

Направление: степенно-геометрическое.

Цель: определить условия, при которых критический показатель единственен.

Критическая роль: превращение степенного индекса в хорошо определённую характеристику объекта.

Статус: открыто в общем виде.

Лемма 15. Арифметический тип степенного индекса

Направление: степенно-геометрическое / диофантово.

Цель: связать арифметику исходной конфигурации с рациональностью или иной арифметической природой индекса.

Критическая роль: создание арифметики степенного индекса.

Статус: исследовательская программа.

Лемма 16. Полнота генераторов нового класса

Направление: диофантово-генеративное.

Цель: доказать, что предложенный генератор охватывает весь рассматриваемый класс объектов.

Критическая роль: переход от примеров к классификации.

Статус: зависит от конкретного генератора.

Лемма 17. Обратная генеративная лемма

Направление: диофантово-генеративное.

Цель: по структурному семейству восстановить уравнение или класс уравнений, для которых оно является естественным множеством решений.

Критическая роль: развитие обратного направления генеративной математики.

Статус: открытая программа.

Лемма 18. Формальная лемма композиции мостов

Направление: формализация.

Цель: установить условия, при которых композиция нескольких межипостасных мостов сохраняет корректность и нужную информацию.

Критическая роль: построение алгебры межипостасных переходов.

Статус: открыто.

Лемма 19. Формальный критерий независимости

Направление: формализация.

Цель: дать строгую меру или отношение независимости структурных фильтров.

Критическая роль: устранение эвристического характера понятия ортогональности.

Статус: открыто.

Лемма 20. Формальная теорема совместимости

Направление: основания трёхипостасной математики.

Цель: сформулировать и доказать Метатеорему совместимости внутри точной аксиоматической системы.

Критическая роль: перевод методологической схемы в формальную теорию.

Статус: ключевая открытая задача.

Приоритеты открытых лемм

Критический уровень

Непосредственно способны закрыть основной доказательный контур:

последний k-класс;

конечная закрывающая система;

универсальный p-адический обрыв;

точный valuation-закон;

минимальный многостепенной закрывающий блок;

p-адический спуск.

Структурный уровень

Укрепляют архитектуру и могут породить новые закрывающие механизмы:

универсальный межстепенной закон;

мост низких степеней;

совместимость по нескольким простым;

независимость ключевых фильтров.

Фундаментальный уровень

Создают самостоятельную теорию:

критерий структурного замыкания;

формальная композиция мостов;

формальный критерий независимости;

формальная Метатеорема совместимости.

Расширяющий уровень

Выводят программу за пределы Ферма:

теория степенного индекса;

смешанные степенные конфигурации;

полные генераторы;

обратная генеративная задача.

Итог

Три реестра выполняют разные функции.

p-адическое дерево показывает, где локально живёт или умирает кандидат.

Реестр доказательных статусов показывает, что в исследовании действительно доказано, а что ещё нет.

Реестр критических открытых лемм показывает, какие именно результаты способны перевести программу из состояния структурной разработанности в состояние доказательного замыкания.

Их совместная функция — не допустить подмены исследовательского прогресса доказательной завершённостью и одновременно точно указать, где находятся реальные точки следующего шага.

********

Сводный реестр результатов трёхтомника

1. Назначение реестра

Сводный реестр фиксирует основные результаты, конструкции, методологические принципы и открытые направления всего трёхтомника.

Его задача — отделить:

доказанные утверждения;

введённые конструкции;

методологические принципы;

вычислительные закономерности;

гипотезы;

открытые исследовательские программы.

Реестр не заменяет исходных доказательств. Для окончательного установления статуса конкретного утверждения необходимо обращаться к тому месту трёхтомника, где оно сформулировано и обосновано.

Используются следующие обозначения:

Т — теорема;

Л — лемма;

С — следствие;

К — конструкция;

ВЗ — вычислительная закономерность;

Г — гипотеза;

МП — методологический принцип;

МС — метатеоретическая схема;

ИП — исследовательская программа;

О — открытая проблема.

2. Том первый. Геометрическая и структурная постановка

2.1. Ферматов объект

Из исходной диофантовой постановки выделяется специальный условный объект, предназначенный для последующего структурного анализа.

Статус: К.

2.2. Степенная геометрия

Вводится геометрический язык для исследования степенных отношений и связанных с ними конфигураций.

Статус: К / ИП.

2.3. Геометрические координаты

Формируются дополнительные параметры геометрического представления объекта.

Статус: К.

2.4. Переход между геометрическим и алгебраическим представлениями

Показывается возможность рассматривать один объект в нескольких математических языках.

Это становится ранним прототипом межипостасного подхода.

Статус: К / МП.

2.5. Структурная постановка ферматовой задачи

Центр исследования переносится с непосредственного поиска решений на изучение необходимых свойств гипотетического решения.

Статус: МП.

3. Том второй. Арифметизация и структурные хвосты

3.1. Координата k

Вводится арифметическая координата, связывающая структурное представление с числовыми условиями.

Статус: К.

3.2. Высотные и R-координаты

Вводятся дополнительные координатные характеристики объекта.

Статус: К.

3.3. Необходимые арифметические условия

Исследуются условия:

делимости;

целочисленности;

взаимной простоты;

арифметической совместимости.

Статус: Л / С — применительно к конкретным утверждениям.

3.4. Структурные хвосты

После последовательного наложения необходимых условий выделяются остаточные классы кандидатов.

Статус: К.

3.5. Рост разреженности

Исследуется уменьшение относительной доли допустимых кандидатов при изменении степенного параметра.

Статус: от Л / С до ВЗ / Г — в зависимости от силы конкретной формулировки.

3.6. Разреженность не равна невозможности

Фиксируется принципиальное различие между малой или нулевой плотностью и пустотой множества.

Статус: МП.

3.7. Многостепенной переход

Один объект начинает исследоваться одновременно в различных степенных режимах.

Статус: К / ИП.

4. Том третий. Трёхипостасная математика

4.1. Математическая ипостась

Вводится понятие структурно самостоятельного представления одного объекта.

Статус: К.

4.2. Объект и его представление

Формулируется различие между математическим объектом и способом его структурного описания.

Статус: МП.

4.3. Обязательный образ

Выделяется представление, которое необходимо возникает из предполагаемого существования исходного объекта.

Статус: К.

4.4. Межипостасный мост

Вводится понятие доказанного перехода между различными ипостасями.

Статус: К.

4.5. Типология межипостасных мостов

Выделяются мосты:

существования;

представления;

эквивалентности;

сохранения;

арифметизации;

геометризации;

локализации;

подъёма;

редукции;

многостепенного перехода;

метаиндукции;

генерации;

возврата.

Статус: К / МП.

5. Базовые законы трёхипостасной математики

5.1. Закон недопустимого переноса

Свойство, доказанное в одной ипостаси, не переносится автоматически в другую.

Статус: МП.

5.2. Закон условного тождества

Обязательные образы одного условного объекта имеют общий источник, но могут обладать различной структурой.

Статус: МС / МП.

5.3. Принцип релевантного возврата

Результат производной ипостаси становится результатом об исходном объекте только после доказанного возврата.

Статус: МП.

5.4. Полный межипостасный цикл

Формируется схема:

исходный объект → новая ипостась → новая информация → возврат.

Статус: МС.

6. Метаиндукция

6.1. Структурный профиль

Вводится совокупность характеристик задачи при фиксированном значении параметра.

Статус: К.

6.2. Метаиндуктивная схема

Переход между значениями параметра рассматривается как изменение целой структуры, а не одного утверждения.

Статус: МС.

6.3. Типология метаиндуктивных режимов

Выделены:

сохранение;

усиление;

ослабление;

структурное появление;

структурное исчезновение;

смена режима;

рост разреженности;

стабилизация хвоста;

локальное углубление;

обязательный обрыв;

накопление valuation.

Статус: К / МП.

6.4. Структурная монотонность

Идея упорядоченного усиления структурных ограничений рассматривается как перспективное направление.

Статус: ИП / О в общем виде.

7. Структурная теория доказательства

7.1. Пространство кандидатов

Вводится множество всех объектов, ещё не исключённых необходимыми условиями.

Статус: К.

7.2. Структурный фильтр

Формализуется необходимое условие как механизм сжатия пространства кандидатов.

Статус: К.

7.3. Доказательное сжатие

Последовательная фильтрация интерпретируется как структурное уменьшение пространства допустимости.

Статус: К / МП.

7.4. Ортогональный фильтр

Выделяется фильтр, добавляющий новый независимый механизм исключения.

Статус: К / МП.

7.5. Принцип ортогонального добивания

После исчерпания одного механизма следует искать независимый способ исключения остаточного хвоста.

Статус: МП.

7.6. Закрывающий закон

Вводится понятие механизма, переводящего остаточную допустимость в:

пустоту;

противоречие;

универсальный обрыв;

спуск.

Статус: К / ИП.

8. Многостепенная математика

8.1. Степенной дефект

Вводится характеристика отклонения объекта от степенного равновесия.

Статус: К.

8.2. Знаковый спектр

Формируется профиль знаков степенного дефекта по различным степеням.

Статус: К.

8.3. Критическая степень

Выделяется степень, соответствующая нулевому дефекту.

Статус: К.

8.4. Перекрёстные степенные отношения

Исследуются:

делимости;

valuation-связи;

остаточные связи;

знаковые зависимости.

Статус: Л / Г — в зависимости от конкретного утверждения.

8.5. Низкостепенной блок

Вводится конечный набор низких степеней как инструмент исследования высокостепенного объекта.

Статус: К.

8.6. Многостепенная матрица

Создаётся аппарат систематизации межстепенных связей.

Статус: К.

8.7. Принцип выбивания высокой степени низкими

Высокостепенной объект предполагается исключать посредством несовместимости его обязательных низкостепенных проекций.

Статус: МС / ИП.

8.8. Минимальный закрывающий блок

Вводится понятие минимальной конечной системы межстепенных связей, достаточной для структурного замыкания.

Статус: К; построение универсального блока — О.

9. Локальная и p-адическая архитектура

9.1. Остаточные пространства

Вводится систематический анализ допустимых классов по модулям.

Статус: К.

9.2. Башни модулей

Локальная допустимость исследуется последовательно на возрастающей глубине.

Статус: К.

9.3. p-адическое дерево

Вводится дерево совместимых локальных подъёмов.

Статус: К.

9.4. Живые и мёртвые ветви

Формализуется различие между продолжающимися и обрывающимися локальными классами.

Статус: К.

9.5. p-адическое горлышко

Выделяется последний устойчивый локальный класс или тип ветви.

Статус: К / ИП.

9.6. Универсальный p-адический обрыв

Рассматривается возможность доказать конечность всех обязательных локальных ветвей.

Статус: О в общей программе.

9.7. Valuation-законы

Исследуются зависимости глубины делимости от локальных параметров.

Статус: от ВЗ / Г до Л в зависимости от конкретного утверждения.

9.8. p-адический спуск

Рассматривается как возможный самостоятельный механизм замыкания.

Статус: ИП / О.

10. Архитектура математической невозможности

10.1. Совместная реализация

Вводится понятие объекта, одновременно удовлетворяющего всем обязательным условиям нескольких ипостасей.

Статус: К / МС.

10.2. Структурная несовместимость

Формализуется ситуация, когда отдельные представления допустимы, а их общая реализация невозможна.

Статус: К / МС.

10.3. Пустота пространства совместной реализации

Пустота определяется как точное доказательное выражение невозможности условного объекта.

Статус: МС; в конкретной задаче требует предметного доказательства.

10.4. Метатеорема совместимости

Общая схема:

если условный объект необходимо порождает систему обязательных представлений, а их необходимые условия не имеют совместной реализации, исходный объект не существует.

Статус: МС.

11. Степенной индекс

11.1. Понятие степенного индекса

Степень рассматривается как характеристика самого объекта.

Статус: К.

11.2. Геометрическая интерпретация

Степенной индекс связывается с геометрическим равновесием конфигурации.

Статус: МП / ИП.

11.3. Арифметический тип индекса

Поставлен вопрос о рациональности, целочисленности и иной арифметической природе индекса.

Статус: ИП.

11.4. Рациональные треугольники

Степенной индекс применяется как возможная новая характеристика рациональных треугольников.

Статус: ИП / О.

12. Смешанные степенные системы

12.1. Степенной вектор

Вместо одного показателя рассматривается набор степенных параметров.

Статус: К.

12.2. Разностные формы

Разность степенных величин используется как самостоятельное структурное представление.

Статус: К / ИП.

12.3. Совершенные степени разностей

Выделяется новый класс диофантовых задач.

Статус: ИП.

12.4. Смешанный степенной дефект

Вводится многопараметрический аналог обычного степенного дефекта.

Статус: К / ИП.

12.5. Критические степенные конфигурации

Формулируется задача классификации критических комбинаций показателей.

Статус: ИП / О.

13. Пифагоровы структуры

13.1. Классическая параметризация

Используется как эталон полного генеративного режима.

Статус: классический доказанный результат.

13.2. Альтернативные генераторы

Рассматриваются различные способы порождения пифагоровых структур.

Статус: К.

13.3. Полнота параметризаций

Фиксируется различие между генерацией отдельных решений и полной классификацией.

Статус: МП.

13.4. Пифагоров режим

Степень 2 рассматривается как модель структурной совместимости и генеративности.

Статус: МС / ИП.

14. Генеративная диофантова математика

14.1. Генератор

Основным объектом становится механизм построения целых семейств решений.

Статус: К.

14.2. Полнота генератора

Формируется критерий перехода от генерации примеров к классификации.

Статус: МП.

14.3. Формула высокого уровня

Вводится многоэтапный структурный генеративный механизм.

Статус: К / ИП.

14.4. Структурное семейство

Решения объединяются по общему механизму происхождения.

Статус: К.

14.5. Обратная генеративная задача

Ставится задача перехода:

генератор → семейство → инварианты → новое уравнение.

Статус: ИП.

15. Методология математического НИОКР

15.1. Вычисление как разведка

Вычислительный эксперимент рассматривается как инструмент поиска закономерностей, а не замена доказательства.

Статус: МП.

15.2. Контрпример как инструмент развития

Поиск контрпримеров включается в стандартный цикл математического НИОКР.

Статус: МП.

15.3. Карта пространства кандидатов

Разрабатывается аппарат визуализации и структурного анализа остаточного множества.

Статус: К / ИП.

15.4. Человек и GPT-система

Формируется модель совместного исследования:

генерация гипотез;

проверка;

поиск контрпримеров;

структурный аудит;

контроль доказательных статусов.

Статус: МП.

15.5. Принцип антифинализации

Связность, убедительность и вычислительная устойчивость рассуждения не заменяют строгого доказательства.

Статус: МП.

16. Реестр доказательных статусов

Формируется единая система различения:

теорем;

лемм;

следствий;

конструкций;

вычислительных закономерностей;

гипотез;

методологических принципов;

метатеоретических схем;

исследовательских программ;

открытых проблем.

Статус: К / МП.

17. Предварительная аксиоматика

В предварительном виде выделены базовые понятия:

объект;

ипостась;

образ;

мост;

совместная реализация;

независимость;

пустота;

доказательный статус.

Статус: ИП / предварительная формализация.

18. Концептуально сформированные элементы

К концу трёхтомника можно считать концептуально сформированными:

язык ипостасей;

типологию мостов;

законы допустимого переноса и возврата;

пространства кандидатов;

структурную фильтрацию;

различие разреженности и пустоты;

метаиндуктивный язык;

многостепенные матрицы;

p-адические деревья;

архитектуру совместной реализации;

Метатеорему совместимости как общую схему;

реестр доказательных статусов.

19. Результаты, не являющиеся автоматически завершёнными

Общая архитектура сама по себе не доказывает:

новое независимое доказательство Великой теоремы Ферма;

универсальный valuation-закон;

универсальный p-адический обрыв;

существование конечного многостепенного закрывающего блока;

полную теорию степенного индекса;

универсальность трёхипостасного подхода для всех областей математики.

Эти вопросы сохраняют статус открытых до появления соответствующих предметных доказательств.

20. Итоговая схема трёхтомника

Вся линия исследования может быть сведена к следующей последовательности:

исходное уравнение
→ условный объект
→ геометрическая структура
→ алгебраическая структура
→ арифметизация
→ необходимые условия
→ пространство кандидатов
→ структурные хвосты
→ система ипостасей
→ межипостасные мосты
→ метаиндукция
→ ортогональные фильтры
→ многостепенные отношения
→ локальная и p-адическая архитектура
→ пространство совместной реализации
→ структурная совместимость или невозможность
→ генеративное существование или доказательная пустота.

Краткий терминологический словарь

Алгебраическая ипостась

Представление объекта через равенства, факторизации, подстановки, полиномиальные и рациональные отношения.

Арифметическая ипостась

Представление объекта через делимость, взаимную простоту, простые множители, остаточные классы и valuation.

Башня модулей

Последовательность локальных уровней возрастающей глубины.

Valuation

Числовая характеристика глубины делимости выражения на выбранный простой множитель.

Valuation-фильтр

Структурный фильтр, основанный на глубине делимости.

Геометрическая ипостась

Представление объекта через форму, конфигурацию, отношения величин и геометрические инварианты.

Генератор

Механизм, который по параметрам строит объекты заданного класса.

Доказательное горлышко

Узкая остаточная структура, где сосредоточена нерешённая часть доказательства.

Доказательное сжатие

Последовательное уменьшение пространства кандидатов системой необходимых условий.

Закрывающий блок

Конечная система условий, для которой доказана невозможность совместной реализации.

Закрывающий закон

Универсальный механизм, переводящий остаточную допустимость в пустоту, противоречие, обрыв или спуск.

Знаковый спектр

Совокупность знаков степенного дефекта при различных показателях степени.

Ипостась

Структурно самостоятельное представление одного математического объекта.

Критическая степень

Степень, при которой соответствующий степенной дефект обращается в нуль.

Локализация

Переход от глобального объекта к остаточному или p-адическому представлению.

Метаиндукция

Исследование изменения целого структурного профиля при изменении параметра.

Метаиндуктивный закон

Доказанное правило эволюции структурного профиля.

Метатеорема совместимости

Общая схема, согласно которой отсутствие совместной реализации всех обязательных образов исключает исходный объект.

Межипостасный инвариант

Свойство, доказанно сохраняемое или контролируемо преобразуемое между ипостасями.

Межипостасный мост

Доказанный механизм перехода из одной ипостаси в другую.

Межипостасный цикл

Переход в новую ипостась, получение новой информации и её доказанный возврат.

Минимальный закрывающий блок

Минимальная по существенным элементам система условий, уже создающая структурное противоречие.

Многостепенная матрица

Табличная структура отношений между несколькими степенными режимами одного объекта.

Многостепенной фильтр

Фильтр, использующий совместные ограничения нескольких степенных проекций.

Необходимое условие

Свойство, которым обязан обладать любой объект искомого класса.

Низкостепенной блок

Конечный набор низких степеней, используемый для диагностики высокостепенного объекта.

Нулевая плотность

Ситуация, при которой относительная доля множества стремится к нулю; не означает пустоты.

Образ

Конкретная реализация объекта в определённой ипостаси.

Обязательный образ

Образ, который необходимо возникает из существования исходного объекта.

Ортогональный фильтр

Структурно независимый механизм исключения кандидатов.

Остаточный полином

Полиномиальная часть локальной нормальной формы после выделения предсказуемых факторов.

Остаточное пространство

Множество допустимых классов по выбранному модулю.

p-адическое дерево

Дерево последовательных совместимых локальных подъёмов.

p-адическое горлышко

Последняя узкая локальная структура, пережившая предшествующую фильтрацию.

Полнота генератора

Свойство генератора охватывать весь рассматриваемый класс объектов.

Пространство кандидатов

Множество объектов, ещё не исключённых известными необходимыми условиями.

Пространство совместной реализации

Множество объектов, одновременно удовлетворяющих всем обязательным условиям нескольких ипостасей.

Разреженность

Малая относительная доля допустимых объектов в более широком пространстве.

Релевантный возврат

Доказанный перенос результата из производной ипостаси обратно к исходному объекту.

Совместная реализация

Единый объект, согласующий все обязательные представления и условия.

Степенной вектор

Набор показателей в смешанной степенной системе.

Степенной дефект

Характеристика отклонения объекта от точного степенного равновесия.

Степенной индекс

Степень, рассматриваемая как внутренняя характеристика заданной конфигурации.

Структурная несовместимость

Доказанная невозможность одновременного выполнения системы обязательных условий.

Структурный профиль

Совокупность существенных характеристик задачи при фиксированном параметре.

Структурный хвост

Остаточное множество кандидатов после сильной фильтрации.

Трёхипостасная математика

Исследовательская программа, изучающая математический объект через систему структурно различных представлений, мосты между ними и условия их совместной реализации.

Условный объект

Объект, существование которого временно предполагается для структурного анализа или доказательства от противного.

Фильтр

Необходимое условие, ограничивающее пространство кандидатов.

Формула высокого уровня

Многоэтапный структурный механизм построения или преобразования математических объектов.

Финальная схема понятий

В наиболее краткой форме понятийный каркас трёхтомника выглядит так:

объект
→ ипостаси
→ мосты
→ необходимые условия
→ фильтры
→ структурный хвост
→ совместная реализация
→ совместимость или несовместимость
→ существование или невозможность.

*******