2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1 ... 24, 25, 26, 27, 28, 29, 30 ... 44  След.
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 19:39 
Заслуженный участник
Аватара пользователя


31/01/14
11292
Hogtown
Skipper в сообщении #1341454 писал(а):
Какие еще "моральные причины"?? В науке то? В науке должно быть одно - стремление к истине,
(а не к каким то моральным причинам).
Вот поэтому я и пишу "вам непонятным". И истину можно прекрасно установить и без того, чтобы о ней сообщать в интернет-помойках, завсегдатаем которых вы, очевидно, являетесь.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 19:40 
Заслуженный участник
Аватара пользователя


22/01/11
2641
СПб
Red_Herring в сообщении #1341441 писал(а):
Но по моральным причинам, которые вам, очевидно, непонятны, не желают высказываться громко.

Неужели, уважаемого рыцаря сэра Майкла так берегут? Конечно, он гений... и его не убили на дуэли

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 19:46 
Заслуженный участник


05/08/14
1564
Skipper в сообщении #1341437 писал(а):
Математики и физики усомнились в доказательстве гипотезы Римана.

Физики здесь каким боком?
mihaild в сообщении #1341423 писал(а):
В байесианском смысле - не равна, там вообще не бывает нулевых вероятностей для утверждений о реальности

Осталось набрать статистики и прогнать регрессии.)
Статистики уже не теряют времени и взялись за дело
https://arxiv.org/pdf/1708.02653.pdf

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 20:31 
Заслуженный участник
Аватара пользователя


16/07/14
9089
Цюрих

(Оффтоп)

Skipper в сообщении #1341454 писал(а):
Ложных с такой доказательной базой - не будет.
А начиная с какого в точности размера доказательной базы вероятность становится строго нулевой? И не кажется ли вам странным существование такого магического порога?
dsge в сообщении #1341463 писал(а):
Статистики уже не теряют времени и взялись за дело
Я не вчитывался, но вроде бы никакой случайности в доказательстве нет, просто задачу сводят к существованию какого-то распределения.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 20:51 
Заслуженный участник


05/08/14
1564
Цитата:
Я не вчитывался, но вроде бы никакой случайности в доказательстве нет, просто задачу сводят к существованию какого-то распределения.

Имелась в виду (шуточно) профессиональная принадлежность и аффилиация автора.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 23:34 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Skipper в сообщении #1341425 писал(а):
А мне достаточно проверки его специалистами в своих областях, и вынесения решения,
что проблема решена, и "премию выплачиваем".

Вот только никто из этих специалистов не называет своё мнение "официальным". Это вообще слово из языка не учёных, а чиновников.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение25.09.2018, 23:48 
Заслуженный участник
Аватара пользователя


31/01/14
11292
Hogtown
alcoholist в сообщении #1341461 писал(а):
Неужели, уважаемого рыцаря сэра Майкла так берегут
Людей в его возрасте вообще беречь надо, даже если их вклад в науку не столь велик. Ну примерно так: если у старенького дедушки пуговка не там расстегнута никто (почти) кричать об этом не будет, кто из моральных соображений, а кто сообразит что за подобные крики самому все пуговицы (и не только) оборвут.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 09:53 
Заслуженный участник
Аватара пользователя


26/02/14
557
so dna
Skipper в сообщении #1341425 писал(а):
А мне достаточно проверки его специалистами в своих областях, и вынесения решения, что проблема решена, и "премию выплачиваем".
Почему бы не считать проблему окончательно доказанной после компьютерной проверки? Уж более тщательно человек вряд ли проверит.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 10:24 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Компьютерной проверки тоже недостаточно: есть человеческий фактор при вводе-выводе и программировании, есть возможность аппаратной ошибки.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 11:39 
Заслуженный участник
Аватара пользователя


26/02/14
557
so dna
Munin ошибки ввода-вывода могут привести только к ложно-отрицательному результату (если они приводят к ложно-положительному, то ошибочно введенная схема доказательства - и есть верная :D ).
Ошибки программирования можно сколь угодно минимизировать массовостью реализаций системы.
Аппаратные ошибки можно сколь угодно минимизировать массовостью перезапусков системы на разном железе.
Остаётся возможность ошибки в самом алгоритме проверки.

Получается, как с простыми числами, можно давать сертификат на доказательство: "проверено ... алгоритмом". В любом случае, ничего более убедительного человек не получит.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 11:47 
Заслуженный участник
Аватара пользователя


31/01/14
11292
Hogtown
Rak so dna в сообщении #1341557 писал(а):
Почему бы не считать проблему окончательно доказанной после компьютерной проверки? Уж более тщательно человек вряд ли проверит.

А она существует для задач анализа?

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 11:55 


23/02/12
3338
Во-первых это препринт, а не опубликованная статья. Во-вторых в препринте содержится ссылка [2] на другой препринт автора, недоступный для широкого читателя. Нельзя считать доказательством такой материал.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 12:35 
Заслуженный участник


27/04/09
28128
Rak so dna в сообщении #1341572 писал(а):
если они приводят к ложно-положительному, то ошибочно введенная схема доказательства - и есть верная :D
Только при определённых условиях.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 13:04 
Заслуженный участник
Аватара пользователя


26/02/14
557
so dna
arseniiv в сообщении #1341580 писал(а):
Только при определённых условиях.
Ну да, если нет
Rak so dna в сообщении #1341572 писал(а):
ошибки в самом алгоритме проверки


-- 26.09.2018, 13:08 --

Red_Herring в сообщении #1341573 писал(а):
А она существует для задач анализа?
Насколько мне известно, она существует пока только для "уж очень простых" задач вроде "2+2=4". Но принципиальных трудностей для более сложных задач вроде нет.

 Профиль  
                  
 
 Re: Гипотеза Римана
Сообщение26.09.2018, 13:09 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Rak so dna в сообщении #1341572 писал(а):
ошибки ввода-вывода могут привести только к ложно-отрицательному результату (если они приводят к ложно-положительному, то ошибочно введенная схема доказательства - и есть верная :D ).

А если ошибочно введена формулировка теоремы, которую надо доказать?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 655 ]  На страницу Пред.  1 ... 24, 25, 26, 27, 28, 29, 30 ... 44  След.

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



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

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


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

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