Привіт Гість ( Вхід | Реєстрація )

> АВС-гипотеза доказана?
Arbalet
Sep 11 2012, 14:29
Пост #1


Штандартенкранчер
*********

Група: Moderators
Повідомлень: 2 764
З нами з: 16-August 05
Користувач №: 119
Стать: Чол
Парк машин:
FX-8320 + 1070Ti



Японский математик заявил о доказательстве АВС-гипотезы

Японский математик Шиничи Мотидзуки (Shinichi Mochizuki) заявил о доказательстве знаменитой ABC-гипотезы, считающейся одним из ключевых утверждений в теории чисел. Свое доказательство он изложил в серии из четырех работ, краткое изложение которых приводит Nature News.

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

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

Как следствие, проведенная работа может оказаться полезна при изучении многих других сложных математических объектов и задач (например, с помощью новой теории можно доказать гипотезу Шпиро). Примечательно, что в работе Мотидзуки частично используются объекты, которые использовал Эндрю Уайлс при доказательстве Великой теоремы Ферма.

Для формулировки ABC-гипотезы требуется понятие радикала. Радикалом rad натурального числа N называется число, которое представляет собой произведение всех различных простых (простым называется отличное от единицы число, которое делится только на себя и на единицу) делителей числа N. Например, rad(15) = 15 потому, что у этого числа простые делители 3 и 5, а rad(18) = 6, так как простых делителей у числа 18 ровно два - это 3 и 2.

ABC-гипотеза утверждает, что для любого действительного числа r > 1 существует не более конечного числа троек натуральных чисел a, b, c таких, что для них выполнены одновременно три условия: a + b = c; a, b и c взаимно просты в совокупности (то есть у них нет общих делителей); c > rad (abc)^r.

По словам Дориана Голдфилда из Колумбийского университета, которые приводит Nature News, если доказательство Мотидзуки окажется верным, то из него будет немедленно вытекать и упоминавшаяся выше Великая теорема Ферма.

link.gif

ЗЫ: В связи с новостью хочу напомнить о существовании проекта распред. вычислений АВС@home smile.gif


--------------------
(Show/Hide)


My asteroids: 1150 Achaia, 1643 Brown, 3286 Anatoliya

User is offlineProfile CardPM
Go to the top of the page
+Quote Post
 
Reply to this topicStart new topic
Відповідей(1 - 11)
Rilian
Sep 11 2012, 15:58
Пост #2


interstellar
**********

Група: Team member
Повідомлень: 17 344
З нами з: 22-February 06
З: Торонто
Користувач №: 184
Стать: НеСкажу
Free-DC_CPID
Парк машин:
ноут и кусок сервера



АВС@home, до свидания smile.gif


--------------------
(Show/Hide)

Миссия проекта Help Fight Childhood Cancer (Помоги Победить Детский Рак) - подобрать белки, блокирующие некоторые виды рака. Подключайтесь!
IPB Image
IPB Image

IPB Image

IPB Image
IPB Image

общая статистика: BOINCstats * FreeDC команда: BOINC команда Ukraine

IPB Image
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
rpisarev
Sep 11 2012, 17:26
Пост #3


кранчер зі стажем
******

Група: Trusted Members
Повідомлень: 374
З нами з: 10-December 11
Користувач №: 2 868
Стать: bot



Пока рано такое заявление делать. Сколько на моём веку было утверждений... Многие из них через год были опровергнуты, другие, с более очевидными ошибками - за пару недель. Другие через многое время становились признанным фактом.

Гипотеза Римана (130 страничное доказательство Луи де Бранжа, которое я распечатывал и мы в универе изучали, через полгода где-то поняли, где там ошибка), проблема Пуанкаре (доказательство Перельмана, сильно отдающего физикой, в дальнейшем отшлифованное китайцами), N-NP-проблема, доказанная инженером IBM, ошибка найдена спустя несколько недель.

Ну и классика - Великая Теорема Ферма. Сам в школе трижды "доказывал" её biggrin.gif Спустя несколько месяцев после публикации нашли ошибку и Эндрю Уайлзу с аспирантом пришлось обходной "патч" год делать.

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

Но на выходных будет что почитать smile.gif
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
Death
Sep 11 2012, 20:03
Пост #4


<script ///>
**********

Група: Moderators
Повідомлень: 6 429
З нами з: 5-November 03
З: Kyiv
Користувач №: 26
Стать: НеСкажу
Free-DC_CPID
Парк машин:
гидропарк
jabber:deadjdona@gmail.com



QUOTE
Но на выходных будет что почитать

QUOTE
В общей сложности четыре работы занимают свыше 500 страниц.


--------------------
wbr, Me. Dead J. Dona OGR-27
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
Rilian
Sep 12 2012, 11:24
Пост #5


interstellar
**********

Група: Team member
Повідомлень: 17 344
З нами з: 22-February 06
З: Торонто
Користувач №: 184
Стать: НеСкажу
Free-DC_CPID
Парк машин:
ноут и кусок сервера



http://www.vokrugsveta.ru/blogs/sdobrynin/1542.php
http://www.vokrugsveta.ru/blogs/sdobrynin/1543.php
http://www.vokrugsveta.ru/blogs/sdobrynin/1544.php
http://www.vokrugsveta.ru/blogs/sdobrynin/1545.php


--------------------
(Show/Hide)

Миссия проекта Help Fight Childhood Cancer (Помоги Победить Детский Рак) - подобрать белки, блокирующие некоторые виды рака. Подключайтесь!
IPB Image
IPB Image

IPB Image

IPB Image
IPB Image

общая статистика: BOINCstats * FreeDC команда: BOINC команда Ukraine

IPB Image
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
Rilian
Sep 12 2012, 14:34
Пост #6


interstellar
**********

Група: Team member
Повідомлень: 17 344
З нами з: 22-February 06
З: Торонто
Користувач №: 184
Стать: НеСкажу
Free-DC_CPID
Парк машин:
ноут и кусок сервера



добавил 3 и 4 статью. В них доказывается теорема простыми словами smile.gif


--------------------
(Show/Hide)

Миссия проекта Help Fight Childhood Cancer (Помоги Победить Детский Рак) - подобрать белки, блокирующие некоторые виды рака. Подключайтесь!
IPB Image
IPB Image

IPB Image

IPB Image
IPB Image

общая статистика: BOINCstats * FreeDC команда: BOINC команда Ukraine

IPB Image
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
rpisarev
Sep 12 2012, 15:12
Пост #7


кранчер зі стажем
******

Група: Trusted Members
Повідомлень: 374
З нами з: 10-December 11
Користувач №: 2 868
Стать: bot



Чуток нет: там рассказывают, как из ABC-гипотезы следует FLT smile.gif
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
Death
Sep 16 2012, 22:36
Пост #8


<script ///>
**********

Група: Moderators
Повідомлень: 6 429
З нами з: 5-November 03
З: Kyiv
Користувач №: 26
Стать: НеСкажу
Free-DC_CPID
Парк машин:
гидропарк
jabber:deadjdona@gmail.com



на матоверфлов дискуссия


--------------------
wbr, Me. Dead J. Dona OGR-27
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
leo_rina
Nov 18 2012, 13:43
Пост #9


Соромлюсь щось писати
*

Група: New Members
Повідомлень: 10
З нами з: 20-October 12
Користувач №: 3 104
Стать: Жін



(Rilian @ Sep 12 2012, 14:34) *

добавил 3 и 4 статью. В них доказывается теорема простыми словами smile.gif

дякую Вам: дуже потрібний мені зараз матеріал!
Може ще знаєте, де про це писали? drinks2.gif


--------------------
если вам плюют в спину, значит вы впереди
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
Rilian
Nov 18 2012, 14:13
Пост #10


interstellar
**********

Група: Team member
Повідомлень: 17 344
З нами з: 22-February 06
З: Торонто
Користувач №: 184
Стать: НеСкажу
Free-DC_CPID
Парк машин:
ноут и кусок сервера



QUOTE(leo_rina @ Nov 18 2012, 13:43) *
Може ще знаєте, де про це писали? drinks2.gif


http://mathoverflow.net/questions/106560/p...-abc-conjecture

koc.gif


--------------------
(Show/Hide)

Миссия проекта Help Fight Childhood Cancer (Помоги Победить Детский Рак) - подобрать белки, блокирующие некоторые виды рака. Подключайтесь!
IPB Image
IPB Image

IPB Image

IPB Image
IPB Image

общая статистика: BOINCstats * FreeDC команда: BOINC команда Ukraine

IPB Image
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
leo_rina
Nov 20 2012, 02:53
Пост #11


Соромлюсь щось писати
*

Група: New Members
Повідомлень: 10
З нами з: 20-October 12
Користувач №: 3 104
Стать: Жін



дякую)


--------------------
если вам плюют в спину, значит вы впереди
User is offlineProfile CardPM
Go to the top of the page
+Quote Post
gladiator_maximus
Mar 31 2013, 14:32
Пост #12


Все буде Україна!
********

Група: Trusted Members
Повідомлень: 1 036
З нами з: 29-January 10
З: 47°52'N,35°03'E
Користувач №: 1 284
Стать: Чол
Free-DC_CPID
Парк машин:
ЦП-AMD FX 8300 3.6 GHz, ГП-Radeon RX 480 4 Gb; ОЗУ- DDR3 24 GB (1600MHz); SSD Iridium 256 Gb; HDD- Toshiba 2Tb+4Tb; / Intel® Xeon® CPU E5-2640 2.80GHz/16Gb DDR3 1333/RX 480 8 Gb/SSD 120 Gb



Математика становится невообразимо сложной: за полгода никто не смог понять 500-страничное доказательство ABC-теории


--------------------
User is offlineProfile CardPM
Go to the top of the page
+Quote Post

Reply to this topicStart new topic
1 Користувачів переглядають дану тему (1 Гостей і 0 Прихованих Користувачів)
0 Користувачів:

 



- Lo-Fi Версія Поточний час: 28th March 2024 - 15:24

Invision Power Board v1.3.3 © 1996 IPS, Inc.