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
11348
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
9208
Цюрих

(Оффтоп)

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
11348
Hogtown
alcoholist в сообщении #1341461 писал(а):
Неужели, уважаемого рыцаря сэра Майкла так берегут
Людей в его возрасте вообще беречь надо, даже если их вклад в науку не столь велик. Ну примерно так: если у старенького дедушки пуговка не там расстегнута никто (почти) кричать об этом не будет, кто из моральных соображений, а кто сообразит что за подобные крики самому все пуговицы (и не только) оборвут.

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


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

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


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

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


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

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

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


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

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

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


23/02/12
3372
Во-первых это препринт, а не опубликованная статья. Во-вторых в препринте содержится ссылка [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
568
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  След.

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



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

Сейчас этот форум просматривают: Geen


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

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