2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4
 
 Re: abc-гипотеза доказана?
Сообщение29.12.2015, 17:00 
Заслуженный участник
Аватара пользователя


20/08/14
5557
Sender в сообщении #1086822 писал(а):
никто не даст гарантии, что программист не ошибся при наборе текста, компилятор не подвёл при создании бинарника, а компьютер, выполняющий программу корректности, в неподходящий момент не выдал незаметный сбой.

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

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение29.12.2015, 22:21 
Заслуженный участник
Аватара пользователя


09/02/09
1986
Минск, Беларусь
На эту тему есть неплохая книга: http://www.primefan.ru/stuff/books/polya.djvu

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

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение04.01.2016, 03:58 


10/10/14

54
Russia
grizzly, я готов потратить время на изучение всего с нуля... Где достать материал?:)

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение08.01.2016, 00:04 
Заслуженный участник
Аватара пользователя


09/09/14
5475
lim в сообщении #1087932 писал(а):
grizzly, я готов потратить время на изучение всего с нуля... Где достать материал?:)

Увы, по этой теме я не готов выступить в качестве методиста :)

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение12.01.2016, 04:34 
Модератор
Аватара пользователя


11/01/06
5321
Ещё один популярный отчёт о семинаре: https://www.quantamagazine.org/20151221 ... abc-proof/
Если вкратце, то участники просто офигели от количества вываленной на их головы технической информации, которую никто так и не сумел переварить.

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение12.01.2016, 12:51 
Заслуженный участник
Аватара пользователя


20/08/14
5557
lim в сообщении #1087932 писал(а):
grizzly, я готов потратить время на изучение всего с нуля... Где достать материал?:)

Единственным существующим материалом, насколько я знаю, являются статьи Мотидзуки, выложенные на его сайте.
Помоги Вам Бог.

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение05.06.2016, 00:30 


26/06/15
4
Никаких новостей по этой теме с января не было ?

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение01.08.2016, 22:20 


28/10/13
32
Санкт-Петербург/Москва
Закончился workshop в Киото (18-27 июля 2016). О результатах в СМИ на русском есть новость на lenta.ru.

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение02.08.2016, 09:40 
Аватара пользователя


15/09/13
249
г. Ставрополь
Jukier в сообщении #1141502 писал(а):
lenta.ru
.

«…Гипотеза Эстерле — Массера важна для теории диофантовых уравнений, а ее справедливость позволит провести еще одно доказательство великой теоремы Ферма для больших степеней.»

А что, в отличие от больших степеней, «маленькие» степени (например, $n=3$) снова «идут лесом» в еще одном доказательстве великой теоремы Ферма?

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение01.09.2017, 08:19 
Модератор
Аватара пользователя


11/01/06
5321
Свежий препринт:
A proof of ABC conjecture after Mochizuki

We give a survey of S. Mochizuki’s ingenious inter-universal Teichmuller theory and its consequences to Diophantine inequality. We explain the details as in self-contained manner as possible.

 Профиль  
                  
 
 Re: abc-гипотеза доказана?
Сообщение24.12.2017, 07:28 
Модератор
Аватара пользователя


11/01/06
5321
Интересное мнение:
The ABC conjecture has (still) not been proved

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 56 ]  На страницу Пред.  1, 2, 3, 4

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group