Математик получил премию за доказательство теоремы Ферма 20 лет спустя [Наука]

---

---

Британский математик Эндрю Джон Уайлс, в 1994 году доказавший Великую теорему Ферма, только в 2016 году получил за это Абелевскую премию (награда за открытия в области математики, аналог Нобелевской премии). Сумма премии составила 6 млн норвежских крон (около $710 тыс.).

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

Великая теорема Ферма впервые была сформулирована французским математиком Пьером Ферма в 1637 году. Она гласит, что уравнение x^n+y^n=z^n не имеет решений, если n>2, а x, y и z — целые числа, не равные нулю.

Простота формулировки теоремы соблазняла многих математиков на поиск ее доказательства, которое, как долгое время считалось, также не должно быть слишком сложным. Однако на деле доказательства теоремы ученым пришлось ждать более 300 лет. За это время теорема стала популярным объектом трудов математиков-любителей. В научные журналы на протяжении всего ХХ века приходили тысячи различных "доказательств" теоремы Ферма, подавляющее большинство из которых содержало элементарные ошибки уже на первых страницах.

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

Абелевская премия была учреждена 14 лет назад норвежским правительством и ежегодно вручается с 2003 года. В прошлом году лауреатом премии стал создатель теории игр и прототип главного героя фильма "Игры разума" американец Джон Нэш. Годом ранее премию получил советско-американский математик Яков Синай. Еще одним лауреатом с российским происхождением является советско-французский математик Михаил Громов, получивший премию в 2009 году.

---

Так все же, что он доказал? Что не существует таких чисел? А если существуют, хотелось бы узнать их...

Он доказал, что теорема верна. Формулировка теоремы есть в новости. И если бы даже тут описали тот самый частный случай теоремы о модулярности эллиптических кривых, саму теорему о модулярности эллиптических кривых, а так же доказательство Эндрю Джонса, то я думаю большинство из нас всё-равно вряд ли бы что поняли. А если уж так интересно, то можно и поискать в инете: http://polit.ru/article/2006/12/28/abrarov/

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

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

Dinodrum5 Да будет вам известно, математическая логика не имеет ни малейшего отношения к человеческому мышлению, из-за сложности формализации мышления как такового, и пользы для него никакой не несёт. Можно с тем же успехом заниматься, например, физикой и химией, действительно имеющими отношение к реальным объектам и явлениям дисциплинам и понимать реально существующие взаимосвязи, а не вынутые из носа и растёртые по столу абстракции. Вот ВТФ- наилучший пример в этом смысле. Никакой прикладной значимости. Кстати, ещё относительно того, что "математика мозги в порядок приводит"- как вы объясните то количество залетевших в дурку, без сомнения, светлых и пытливых умов, которые пытались её доказать/опровергнуть?

snus2010 Переход на личности- слабоватый ход для любителя математики. Весьма.

P.S. Я сделаю оговорку, я говорю про теоретическую математику, к которой ВТФ, тема данной статьи, относится.

echouxe математическая логика несет пользу при программировании, выставлении условий и т.д. при написании программ. Без математики заниматься физикой или химией можно на уровне - "Ух ты, какие картинки прикольные в учебнике, вот их мы и посмотрим, т.к. больше ничего не сможем сделать"

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

Господа, не кормите тролля.

Ну да, чтобы махать веником на улице математика не нужна. Помахал месяц - дали заплату (сам не понимаешь сколько) и доволен.

karlmenni Я про связь логики и логического мышления, в его бытовом смысле, а не про программирование и электронику. Можешь, например, построить внятные выражения на русском языке с использованием импликации?

Про отношение теоретической математики и прикладной. Карамельный мой. Тебя здесь не просто легко, а очень легко посадить в лужу. Вот для каких прикладных целей можно использовать доказательство ВТФ?

bvak Забавно, но только математикам это и остается в условиях этой страны- идти работать преподом/учителем за днищенскую зарплату или тем же дворником. Какая ирония, замечаешь?)

echouxe Что характерно - читая эти строки на форуме ты уже сталкиваешься с проявлением математики. Потому как, то, что человеческий глаз воспринимает, как буквы на экране - это на самом деле формулы. Каждая "буква" описана уравнениями. Но ведь это тоже изначально теоретическая часть была - догадались, что можно описывать кривые. А где использовать - по ситуации)

Тоже самое с аватаркой, например. То, что для человека выглядит как картинка - это матрица, значения элементов которой в том числе задаются формулами и математическими алгоритмами (сжатие джипег). Но, это опять же частный случай применения матриц.

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

Ведь там всё сложно с состояниями, и когда думали как бы оно вообще могло работать - работать было нечему, такого компьютера не существует) А теперь под эти теории физики подгоняют практическую реализацию. Нет теории - не отчего отталкиваться.

Получается, что теоретическая часть - как бы кирпичики, которые потом можно использовать в прикладной. Как выше karlmenni сказал.

Высшее образование требуется для этой профессии) Ввели закон и уже давно! (:

Топик был перенесен из форума Наука / Технологии в форум Архив (Новости в сети)

A$taroth