Верификация доказательсва Великой теоремы Ферма международной системой Coq

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

https://github.com/Gendalf71/FLT-Coq

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

https://disk.yandex.ru/i/uJ4fT4xokn77pg

Сверхсветовой звездолёт
www.researchgate.net/publication/397886903_Adelic_Gravity_and_Topological_Stabilization_of_the_Warp_Bubble_From_the_Global_Normalization_Equation_2n-1n_to_a_Working_Phenomenological_Model

Машина времени
https://www.researchgate.net/publication/398500299_Time_Machines_From_Theory_to_Practice_A_Critical_Review_Energy_Constraints_and_Adelic_Perspectives



Редактировалось 1 раз(а). Последний 16.12.2025 17:03.

https://i.postimg.cc/BQF9HTsH/Whats-App-Image-2025-12-16-at-23-23-12.jpg



Редактировалось 1 раз(а). Последний 17.12.2025 09:10.

Надеюсь, специалисты разберутся.

Цитата
r-aax

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

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

Спасибо за Ваш вдумчивый вопрос.
Объясняю по частям

1. Мы получили тождество 2n=2n, выхода нет и замкнутый круг
2. Стандартная мат. гипотеза, предположить существование некоего числа о, метод анзаца и о^n=2n (исходя из общей формы левой части до свертки ее в переменную о и общего вида элементов уравнения Ферма x^n,y^n,z^n,m^n,p^n)
3. Для уравнения с данным о необходимо найти сразу все множество корней, не какой-то один из корней, а одновременно все корни
4. По методу максимального покрытия (глобальной нормализации находим что данное условие выполняется при о=2)
5. получившееся уравнение 2^n=2n преобразуем в 2^(n-1)=n
6. Последнее имеет только два корня 1,2


выводы из этого уравнения с точки зрения теоретической физики, то есть из уравнения n=2^(n-1)
даны по ссылке
https://disk.yandex.ru/d/kp-Qi_gcb0njjA

Большое спасибо!



----------

Пошаговое объяснение идеи глобальной нормализации

1. Начинаем с уравнения Ферма $x^n + y^n = z^n$, которое, если бы имело решение при $n > 2$, должно было бы подчиняться некоторому внутреннему соотношению между своими компонентами.

2. Вводится гипотеза существования одного универсального множителя $o > 1$, такого, что для любого возможного «контрпримера» выполняется равенство $o^n = 2n$. Это выражает идею глобальной нормализации — все показатели $n$ должны подчиняться одной и той же зависимости через одно и то же число $o$.

3. Для данного $o$ рассматривается множество всех $n$, для которых выполняется равенство $o^n = 2n$. Нужно не одно частное значение, а вся совокупность таких $n$ — это и есть принцип максимального покрытия.

4. При сравнении различных $o$ видно, что максимальное число таких $n$ достигается при $o = 2$: только для этого значения равенство возможно более чем для одного показателя.

5. Подставляя $o = 2$, получаем уравнение $2^n = 2n$, или в эквивалентной форме $2^{n-1} = n$.

6. Это уравнение имеет лишь два натуральных решения: $n = 1$ и $n = 2$. Следовательно, для всех $n > 2$ равенство невозможно, а значит, и исходное уравнение Ферма не имеет решений в натуральных числах.



Редактировалось 7 раз(а). Последний 19.12.2025 21:59.

Цитата
greg71
1. Мы получили тождество 2n=2n, выхода нет и замкнутый круг

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

Цитата
greg71
2. Стандартная мат. гипотеза, предположить существование некоего числа о, метод анзаца и о^n=2n (исходя из общей формы левой части до свертки ее в переменную о и общего вида элементов уравнения Ферма x^n,y^n,z^n,m^n,p^n)

Сделав предположение о существовании некоторого натурального $o$, такого что $о^n=2n$, Вы можете попытаться найти какие-то частные решения.
Но с помощью такого предположения, Вы не можете доказать, что не существует других решений.
А бездоказательно заявлять, что Ваше утверждение верно, вы не можете.
Точнее, заявить-то можете, но доказать это не получится.
И аксиомой такое утверждение не является.

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

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

Ну лезу я на правах каждого проверять, а оказывается - вранье.
Оказывается, Вы придумали гипотезу, которая искусственно отсекает все неудобные $n$:

Цитата
greg71
Да, гипотеза $o^n = 2n$ изначально вводится как формальная — именно как предпосылка, а не доказанное утверждение.

Ну так если поверить в гипотезу, то никакого Coq городить не нужно.
А если честно доказывать, то... нужно доказывать.

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

Никакого спора и нет.
Есть только несоответствие Вашего заявления действительности - система Coq не говорила о верности Вашего доказательства ВТФ, так как никакого доказательства по приведенной Вами ссылке нет, не обманывайте посетителей форума.

Цитата
greg71
Извините, но я вам все объяснил, и разжевал, а отвечать более фейкам в вашем лице,
которые непойми кто, и непойми откуда, я более не намерен...
Будет если от вас официальный запрос с вашим ФИО со штемпселем Вашей организации,
продолжилм разговор, а пока всего хорошего, честь имею!

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

p.s. еще пара примеров таких же сливов:

http://www.mathforum.ru/forum/read/1/102598/113349/#113349

Цитата
greg71
На этом все, я закрыл дискуссию с Вами...
Я не знаю, ни кто Вы, ни кого Вы представляете, а спросить с троллем, ну тут надо быть идиотом,
поэтому всего хорошего!

https://vk.com/wall-186208863_28188?ysclid=mjg277qtag413486396

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

Я я не понимаю до конца. Надо разбираться.