Почему доказательство Великой теоремы Ферма не нуждается в улучшениях

[@skirpichenko]

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

[@user_man]

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

[@user_man]

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

Факт №2: Ни одно из предложений не поддержано хоть сколько-нибудь массово.

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

[@user_man]

>> Андре Вейл

По русски фамилия звучит как «Вейль».

[@YuriM1983]

Интересно, есть ли более обощённая гипотеза, что уравнение:
a^n + b^n +… = z^n
для любого натурального n > (количество членов в правой части)
не имеет решений в целых ненулевых числах a, b,… z
?

[@vak0]

Помню, в детстве тоже приходило такое в голову. Потом где-то встретил контрпример такой гипотезы.
Вот, нашел в Википедии: для n=4 это называется «Гипотеза Эйлера», один из контрпримеров: 95800^4 + 217519^4 + 414560^4 = 422481^4

[@YuriM1983]

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

[@apapacy]

Математик потративший столько времени на доказательство БТФ человек весьма самоотверженный. Не знаю как там у них на Западе, но у нас в советское время эта тема была на одной планке с изобретением вечного двигателя. У математиков был даже своеобразный юмор. Писалась липовая статья в которой в завуалированном виде «доказывалась» БТФ и давалась на рецензию в дружественный университет. И если рецензент этого не смог улвоить, то естественно потом все над ним дружно смеялись. Такая вот (не)веселая история.

[@mistergrim]

Ну это не математики, а скам какой-то.
Хотя да, лучшее в мире образование же.

[@BakinSergey]

Владимир из великаГо русскАго рода Строгановых, на пальцах, мне "как маленькому" все доказал
https://sibac.info/files/2023_11_22_technics/11(60).pdf

и как пишет сам пенсионер Володя Строганов:
"Как это можно было не увидеть
за четыреста лет исследований совершенно необъяснимо"