Доказательство Великой теоремы Ферма
Математик и черт
Л.Эйлер
В августе 1753 г. Эйле сообщил, что ему удалось приспособить метод бесконечного спуска и успешно доказать Великую теорему Ферма для n=3.
Софи Жармен
Вклад Софи Жармен.С.Жармен внесла вклад в доказательство Великой теоремы Ферма. Её цель не доказательство отдельного случая. Жармен вознамерилась сказать нечтоо многих частных случаях сразу.
Иоганн Дирихле
В 1825 году Иоганн Дирихле и Адриен Лежандр доказали Великую теорему Ферма для n=5
Адриен Лежандр
В 1825 году Адриен Лежандр доказал Великую теорему Ферма для n=5
Габриель Ламе
Габриель Ламе в 1839 году доказал Великую теорему Ферма для n=7.
Эндрю Уайлс
23 июня 1993 года Эндрю Уайлс представил мира доказательство Великой теоремы Ферма, но это доказательство содержало ошибку. И в 1995 году вышел окончательный и "идеальный", с математической точки зрения, вариан доказательства.
Кен Рибет
В 1986 году профессор Кен Рибер доказал, что это гипотетическое уравнение не может иметь двойника в модулярном мире. Отныне Великая теорема Ферма неразрывно связана с гипотезой Таниямы-Симуры.
Герхард Фрей
В 1984 году Герхард Фрей показал, что решение уравнения Ферма, если оно существует, можно включить в некоторое эллиптическое уравнение.
Горо Симуро и Ютака Танияма
В сентябре 1955 г. в Токио состоялся международный симпозиум. Для молодых японских ученых Танияма и Симура продемонстрировали миру свои открытия. Гипотеза Таниямы-Симуры: укаждого эллиптического уравнения существует двойник- модулярная форма, и наоборот.
Курт Гёдель
В 1931 году Курт Гёдель убедительно доказал, что в математике должны существовать теоремы, которые не могет быть ни доказаны, ни опровергнуты.
Пауль Вольфскель
Пауль Вольфскель нашел пробел в выкладках Куммера. Этим не только продолжил работу над доказательством, но и спас себе жизнь. Позднее установил премию в 100000 марок за доказательство Великой теоремы Ферма.
Эрнст Куммер
Немецкий математик Эрнст Куммер блестящими исследавания доказал, что математическими методами 19 века доказать Великую теоремув общем виде доказать нельзя.