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

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

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


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


Критика доказательства Уайлса, если она претендует на математическую серьёзность, не может ограничиваться общими заявлениями о чрезмерной сложности, непрозрачности или удалённости современного аппарата от исходной формулировки Теоремы Ферма. Сложность сама по себе не является ошибкой. Абстракция не является ошибкой. Переход к другой предметной области не является ошибкой. Доказательство от противного не является ошибкой. Необратимость отдельного отображения также не является ошибкой. Более того, почти все эти свойства характерны для огромного числа безусловно корректных математических доказательств.

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

Именно это является центральным предметом настоящей главы.

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

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

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

Проблема глубже.

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

Система не имеет одного универсального транслятора вида:

арифметическое утверждение;

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

его репрезентационный образ;

его деформационный образ;

его модулярный образ;

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

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

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

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

Представление — в деформационную задачу третьим.

Модулярная форма появляется в четвёртой области.

R и T сравниваются уже средствами коммутативной алгебры и теории Гекке.

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

Само по себе это не является дефектом.

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

Именно это и есть проблема.

Одно дело доказать, что конкретное свойство P объекта A переходит в свойство Q объекта B.

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

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

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

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

Вторая переводит уже перевод.

Третья переводит перевод перевода.

Четвёртая работает уже с продуктом трёх предыдущих редукций.

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

Именно поэтому отсутствие общего языка релевантного перевода не означает «нет никакого моста».

Оно означает более сильную проблему:

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

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

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

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

Уайлс не исследует непосредственно свойства возможного решения этого равенства.

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

Это общеизвестный факт и само по себе не является недостатком.

Но именно здесь ЗНП задаёт вопрос:

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

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

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

Проблема не в переходе к более общей теории.

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

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

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

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

Исходные отношения между a, b, c и p больше не участвуют непосредственно.

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

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

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

Именно это является вторым основным аргументом.

3. Неэквивалентность исходного объекта и его образов
Третий аргумент касается неэквивалентности.

Гипотетическая ферматовская четверка и кривая Фрея не являются эквивалентными объектами.

Кривая и представление Галуа не являются эквивалентными объектами во всей полноте структуры.

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

R и T принадлежат уже совершенно другому уровню.

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

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

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

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

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

Сохраняется то, что нужно для перехода к следующей теории.

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

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

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

Это успех уже выбранного маршрута.

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

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

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

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

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

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

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

Отдельный необратимый перенос совершенно нормален.

Проблема начинается при каскадной необратимости.

Из ферматовской четверки строится кривая.

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

Из представления — деформационная задача.

Из деформационной задачи — универсальное кольцо.

На каждом этапе уменьшается возможность реконструировать предшествующий уровень.

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

Это и есть «билет в один конец».

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

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

Для движения от ТФ к R/T существует многоступенчатый разработанный аппарат.

Для движения от R/T к исходной арифметической семантике не существует симметричной теории реконструкции.

Возврат осуществляется логически, через контрапозицию.

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

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

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

Именно поэтому проблема необратимости не исчезает после фразы «обратный оператор не нужен».

Да, обратный оператор не нужен.

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

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

Ранний корпус называл эту архитектуру «миром теней» и «путём без возвращения». Критика доказательства Уайлса -… Строгий вариант аргумента состоит в том, что последовательная необратимость требует усиленного доказательства композиционной сохранности референции.

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

Любой перенос сопровождается потерей информации.

Это неоспоримо и само по себе безвредно.

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

Именно здесь находится уязвимость.

Кривая Фрея сохраняет те свойства гипотетического решения, которые необходимы для построения определённого арифметико-геометрического профиля.

Представление Галуа сохраняет те свойства кривой, которые необходимы для модулярной теории.

Деформационная теория сохраняет уже другую часть структуры.

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

Это уже не вопрос одной теоремы.

Это вопрос общей теории информационной достаточности.

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

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

ЗНП требует большего.

Каждая потеря должна быть классифицирована как:

заведомо нерелевантная;

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

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

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

Особенно важно то, что потеря может быть невидимой.

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

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

Это одно из ключевых положений ЗНП:

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

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

Возможно, они работают без неё именно потому, что она была удалена раньше.

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

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

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

Но отсутствие конструктивного обратного пути всё же имеет метаматематическое значение.

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

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

Именно здесь возникает вопрос:

что именно возвращается к ТФ?

Не объект.

Не его структура.

Не его параметры.

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

Но это отрицание имеет полную доказательную силу лишь тогда, когда весь путь вперёд сохранил контрпример-отражающую функцию.

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

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

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

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

объектная реконструкция не обязательна; доказательная реконструкция исходной семантики обязательна.

Это существенно сильнее и труднее опровергнуть.

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

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

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

а Q невозможно;

то P невозможно.

С этим ЗНП не спорит.

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

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

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

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

Формальная импликация отвечает:

«если P истинно, Q истинно».

Семантическая релевантность отвечает:

«почему именно Q является достаточным доказательным представителем P?»

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

Первый может быть полностью решён.

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

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

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

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

Но смысл закона состоит в обратном:

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

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

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

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

Не утверждение «Рибет неверен».

Не утверждение «R = T ложно».

А утверждение:

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

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

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

В начале доказательства присутствуют a, b, c, p и степенное равенство.

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

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

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

Это общеизвестный факт.

Сам по себе он не является обвинением.

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

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

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

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

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

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

Нельзя отвечать:

«она присутствует имплицитно».

Нужно показать — где.

Нельзя отвечать:

«вся цепочка начинается с неё».

Нужно показать — какой инвариант сохраняет её референцию.

Нельзя отвечать:

«так работает доказательство от противного».

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

Нельзя отвечать:

«все теоремы опубликованы».

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

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

Сначала исчезает объект.

Потом его переменные.

Потом его язык.

Потом его тип отношений.

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

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

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

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

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

Вопрос не в том, глубок ли этот мир.

Вопрос не в том, истинна ли теорема о модулярности.

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

Современная математика отвечает: право даёт цепочка доказанных импликаций.

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

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

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

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

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

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

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