Доказана ли теорема Ферма?

[Smb]

Я решил поближе познакомиться с теоремой Ферма... но меня смущают взаимоисключающие данные о ее доказательстве. С одной стороны, вроде как в 1995 Уайлс, исправив свою собственную ошибку, допущенную в 1993 году, доказал теорему. С другой, я нахожу заметки от 2005-го года, что Омский ученый доказал теорему.
Отсюда вопрос: "Доказана ли теорема Ферма? Если доказана, то кем и когда."

[juna]

Эндрю Уайлс доказал гипотезу Таниямы. Теорема Ферма - ее следствие.
Об омском ученом слышу первый раз.

[Smb]

Цитата:

Эндрю Уайлс доказал гипотезу Таниямы. Теорема Ферма - ее следствие.

Т. е. теорема Ферма доказана?

Цитата:

Об омском ученом слышу первый раз.

http://www.fraza.com.ua/news/16.08.05/7350.html

[Wowone]

Скажу Вам как бывший студент студент матфака ОмГУ следующее.
Учёный, "доказавший" теорему Ферма, является сотрудником (уж не знаю его звание) Омского Аграрного Университета. Когда он заявил, что доказал теорему, его доказательство отправили на рассмотрение местной комиссии. Одному нашему профессору, весьма уважаемому человеку, предложили принять участие в проверке. Когда же он узнал, кто автор доказательства, то махнул рукой и сказал, что лучше на дачу поедет. Такая байка...

[juna]

Smb писал(а):

Т. е. теорема Ферма доказана?

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

[maxal]

Про "доказательство" Ильина см: http://elementy.ru/news/164753

[Smb]

Цитата:

Для удовлетворения любознательности можно почитать это.

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

Цитата:

Про "доказательство" Ильина см: http://elementy.ru/news/164753

Спасибо за ссылку. Теперь все понятно.

[Руст]

Два года назад эту шумиху про доказателство Ильина подняли во всей прессе и телевидении. Помнится я и сам собирался было послушать это доказательство услышав по теливизору, что профессор математики из Омска будет докладывать своё доказательство в Москве и местные академики не нашли изъянов в доказательстве. Но узнав некоторые подробности (учёная степень доктор технических наук и доклад отнюдь не в Стекловке) не пошёл.

[Venje]

И все же эту теорему доказали? Где можно изучить доказательство? Пишут что у Уайлса ошибка.

[worm2]

Venje, чтобы "изучить доказательство", нужно будет посвятить этому полжизни (без преувеличения), и то не факт, что получится. Во всём мире доказательство серьёзно изучили порядка нескольких десятков человек, и я не уверен, что этом списке есть хотя бы один русскоговорящий (хотя в том, что таковых нет, тоже не уверен). Стоит ли теперь говорить, что поиск доказательства — не самый сложный этап на этом пути?

[Belfegor]

Venje в сообщении #586515 писал(а):

И все же эту теорему доказали? Где можно изучить доказательство? Пишут что у Уайлса ошибка.

Ерунда какая-то! Всё доказано!!!
Танияма сформулировал гипотезу в 1955 г. " Всякая эллиптическая кривая с рациональными коэффициентами является модулярной".
Кажется Г.Фрей в 1985г. преобразовал формулу ВТФ в эллиптическую кривую $Y^2 = x(x - a^n )(x - b^n )$ и предположил, что если найдется такая тройка целых чисел $a,b,c$, что $a^n + b^n = c^n $ $(n > 3)$то эллиптическая кривая
$Y^2 = x(x - a^n )(x - b^n )$(1) не может быть модулярной, что противоречит гипотезе Таниямы.
Самому Фрею не удалось доказать это утверждение, однако вскоре доказательство было получено американским математиком Кеннетом Рибетом. Другими словами, Рибет показал, что последняя теорема Ферма является следствием гипотезы Таниямы.
23 июня 1993 года математик из Принстона Эндрю Уайлс, выступая на конференции по теории чисел в
Кембридже (Великобритания), анонсировал доказательство гипотезы Таниямы для полустабильных
эллиптический кривых, к которым относятся кривые вида (1). Тем самым он заявил, что доказал
последнюю теорему Ферма.
Дальнейшие события развивались довольно драматически. В начале декабря 1993 года, за несколько дней до того, как рукопись работы Уайлса должна была пойти в печать, в его доказательстве были обнаружены пробелы. Исправление их заняло свыше года.
Текст с доказательством гипотезы Таниямы, написанный Уайлсом в сотрудничестве с Тейлором,
вышел в свет летом 1995 года. Доказательство на 150 страницах.
Вот и всё.

[sceptic]

worm2 в сообщении #586594 писал(а):

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

Можно ли считать Ю. Манина и А. Панчишкина русскоговорящими? (то, что их можно отнести к математикам, понимающим доказательство Уайлса, надеюсь, у вас не вызывает сомнений).

[shwedka]

worm2 в сообщении #586594 писал(а):

Venje, чтобы "изучить доказательство", нужно будет посвятить этому полжизни (без преувеличения), и то не факт, что получится. Во всём мире доказательство серьёзно изучили порядка нескольких десятков человек, и я не уверен, что этом списке есть хотя бы один русскоговорящий (хотя в том, что таковых нет, тоже не уверен). Стоит ли теперь говорить, что поиск доказательства — не самый сложный этап на этом пути?

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

[worm2]

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

[Коровьев]

Конечно, доказательство теоремы Ферма огорчило многих, как ферматиков, так и математиков, занимающихся ею.
Но не всё ещё потеряно! (Ну, кроме премии и престижа)
Из того, что не существует четырёх не равных нулю целых чисел, удовлетворяющих уравнению степени больше двух

$$a^n+b^n=c^n$$

вовсе не следует, что их не существует и для "попутного" уравнения

$$\[ c^n = \frac{{a^n + b^n }}{{a + b}} = a^{n - 1} - a^{n - 2} b + ... - ab^{n - 2} + b^{n - 1} \] $$

Хотя обратное в общем-то верно. Именно так и пытались доказать БТФ многие известные математики. И на этом пути были получены очень серьёзные результаты.
В общем, проблема осталась открытой.
И как сказал наш известный руководитель:
-Наши цели ясны, задачи определены. За работу товарищи ферматики и математики!