Математический кульбит
После землетрясения, которое устроил Перельман, решивший задачу тысячелетия - гипотезу Пуанкарэ - и отказавшийся от золотой медали и премии в миллион долларов, в мире математики произошел еще один катаклизм: в августе 2012 года японский ученый Синити Мотидзуки (Shinichi Mochizuki) предложил решение одной из самых замечательных и интригующих гипотез 20 века: АВС-гипотезы - ключевой в теории чисел.
http://www.nature.com/news/proof-claimed-for-deep-connection-between-primes-1.11378
Мочидзуки готовил свое доказательство более десяти лет, работая практически в одиночестве. За эти годы он создал собственную геометрию для доказательства рассчетов. Для того чтобы проверить, что в его выкладках нет ошибок, а значит, сделать доказательство легитимным с точки зрения науки, может понадобиться еще столько же времени. Вероятно, чтобы доказательство АВС-гипотезы было признано, но если это случится, в руки математиков попадает мощнейший инструмент, каким теория чисел никогда не располагала.
Например, Великую теорему Ферма, над которой почти четыре века безуспешно бились лучшие умы планеты, можно будет доказать буквально в три строчки.
В последние двадцать лет мы были свидетелями двух ярких примеров, когда самые крепкие математические орехи были расколоты талантливыми учеными. В 1993 году после семи лет работы англичанин Эндрю Вайлз объявил, что им найдено доказательство большой теоремы Ферма. Несмотря на то что Вайлз развил и использовал уже известные подходы к решению этой задачи, которая не поддавалась математикам на протяжении трех столетий, научному сообществу потребовалось два года напряженной работы для верификации доказательства Вайлза, за это время было найдено и исправлено несколько ошибок, и только в 1995-м автор опубликовал окончательную 108-страничную версию работы. На тот момент все ее детали могли понять только десять ученых мира.
В 2002-2003 годах петербургский математик Григорий Перельман опубликовал в интернете три работы (общей длинной около 60 страниц), в которых была завершена программа, разработанная другим математиком Ричардом Гамильтоном для доказательства гипотезы Пуанкаре - одной из нерешенных на тот момент математических задач, вошедших в классический список “задач тысячелетия”, сформулированный институтом Клэя в 2000-м году. Для проверки рассуждений Перельмана математикам понадобились уже три года, окончательно его доказательство было признано в 2006 году.
Подробно здесь http://www.svoboda.org/content/article/24801815.html
А саму ABC-гипотезу любезно разжевал еще в 2011 году Орлов Дмитрий Олегович
http://video.yandex.ru/users/fizmatlib/view/1/?cauthor=fizmatlib&cid=1
http://www.nature.com/news/proof-claimed-for-deep-connection-between-primes-1.11378
Мочидзуки готовил свое доказательство более десяти лет, работая практически в одиночестве. За эти годы он создал собственную геометрию для доказательства рассчетов. Для того чтобы проверить, что в его выкладках нет ошибок, а значит, сделать доказательство легитимным с точки зрения науки, может понадобиться еще столько же времени. Вероятно, чтобы доказательство АВС-гипотезы было признано, но если это случится, в руки математиков попадает мощнейший инструмент, каким теория чисел никогда не располагала.
Например, Великую теорему Ферма, над которой почти четыре века безуспешно бились лучшие умы планеты, можно будет доказать буквально в три строчки.
В последние двадцать лет мы были свидетелями двух ярких примеров, когда самые крепкие математические орехи были расколоты талантливыми учеными. В 1993 году после семи лет работы англичанин Эндрю Вайлз объявил, что им найдено доказательство большой теоремы Ферма. Несмотря на то что Вайлз развил и использовал уже известные подходы к решению этой задачи, которая не поддавалась математикам на протяжении трех столетий, научному сообществу потребовалось два года напряженной работы для верификации доказательства Вайлза, за это время было найдено и исправлено несколько ошибок, и только в 1995-м автор опубликовал окончательную 108-страничную версию работы. На тот момент все ее детали могли понять только десять ученых мира.
В 2002-2003 годах петербургский математик Григорий Перельман опубликовал в интернете три работы (общей длинной около 60 страниц), в которых была завершена программа, разработанная другим математиком Ричардом Гамильтоном для доказательства гипотезы Пуанкаре - одной из нерешенных на тот момент математических задач, вошедших в классический список “задач тысячелетия”, сформулированный институтом Клэя в 2000-м году. Для проверки рассуждений Перельмана математикам понадобились уже три года, окончательно его доказательство было признано в 2006 году.
Подробно здесь http://www.svoboda.org/content/article/24801815.html
А саму ABC-гипотезу любезно разжевал еще в 2011 году Орлов Дмитрий Олегович
http://video.yandex.ru/users/fizmatlib/view/1/?cauthor=fizmatlib&cid=1