Как я опровергал Гипотезу Римана

Читал я как-то про нерешённые проблемы науки и попалась мне на глаза статья про Задачи Тысячелетия. Оказалось, что за доказательство или опровержение одной из них (Гипотезы Римана) дают 1000000 баксов. Ну я подумал, что зря что ли столько лет пользуюсь математическим софтом для защиты своей диссертации по физике? Может попробовать срубить миллиончик баксов по-быстрому?


Гипотеза состоит в том, что Дзета Функция Римана равна нулю только тогда, когда вещественная часть комплексного аргумента равна 0.5 (т.е. 1/2), не считая так называемых тривиальных нулей, когда аргумент равен -2, -4 и т.п.


Почитав аргументы за и против Гипотезы Римана я написал небольшую програмку по перебору значений на профессиональном математическом софте Wolfram Mathematica. Через месяц работы программы удалось кое-что найти, что показано на этом скриншоте:

Как я опровергал Гипотезу Римана

Итак, если вещественная часть аргумента Дзета Функции Римана равна 1.039999999999999999, а мнимая 1000000000072486.88, то абсолютное значение этой функции очень мало, а именно 0.0000000166663, что почти ноль. Что и требовалось доказать :).


Читатель может сказать, БУГАГА, 0.0000000166663 это же не точно ноль! Но если посмотреть на тот же скриншот то увидим, что для первого общеизвестного нуля Дзета функции Римана, где вещественная часть аргумента равна 0.5, а мнимая 14.134725, эта программа выдает не совсем ноль, а 0,0000000331023. Так что в пределах допустимой погрешности все верно!


Письмо с требованием миллиона баксов в Институт Клэя писать не буду, в знак солидарности с Перельманом :)


P.S. каждый может это легко проверить, если бесплатно зарегистрируется на http://develop.wolframcloud.com и запустит эту команду:


Abs[Zeta[1.039999999999999999 + 1000000000072486.88*I]] // AccountingForm

Вы смотрите срез комментариев. Показать все
1
Автор поста оценил этот комментарий
Во-первых ты далеко не первый кто до этого додумался (ты же изначально понимал что не первый?), во-вторых численные решения перебором не принимаются в качестве доказательства.
раскрыть ветку (6)
1
Автор поста оценил этот комментарий

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

раскрыть ветку (5)
Автор поста оценил этот комментарий

Вот выдержка статьи на википедии (https://ru.wikipedia.org/wiki/%D0%93%D0%B8%D0%BF%D0%BE%D1%82...) про то, что признается доказательством, а что нет в этом конкретном случае.

Гипотеза Римана входит в список семи «проблем тысячелетия», за решение каждой из которых Математический институт Клэя (Clay Mathematics Institute, Кембридж, Массачусетс) выплатит награду в один миллион долларов США. В случае публикации контрпримера к гипотезе Римана, учёный совет института Клэя вправе решить, можно ли считать данный контрпример окончательным решением проблемы, или же проблема может быть переформулирована в более узкой форме и оставлена открытой (в последнем случае автору контрпримера может быть выплачена небольшая часть награды).

раскрыть ветку (1)
0
Автор поста оценил этот комментарий

Ну, ок, удачи че.

Не думай, что так все просто.

Получишь деньги — делай пост.

Автор поста оценил этот комментарий

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

раскрыть ветку (2)
0
Автор поста оценил этот комментарий

Но это же еще не доказательство, погрешность же.
"Если гипотеза Римана неверна, то существует алгоритм, который рано или поздно обнаружит её нарушение. Отсюда следует, что если отрицание гипотезы Римана недоказуемо в арифметике Пеано, то гипотеза Римана верна" (вики), а вот через это можно попытаться именно опровергнуть гипотезу.

раскрыть ветку (1)
0
Автор поста оценил этот комментарий

Ну погрешность это вопрос времени, т.е. сколько времени я готов выделить на вычисления на моём компе, чтобы получить 0 достаточно точно.

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

Вы смотрите срез комментариев. Чтобы написать комментарий, перейдите к общему списку

Темы

Политика

Теги

Популярные авторы

Сообщества

18+

Теги

Популярные авторы

Сообщества

Игры

Теги

Популярные авторы

Сообщества

Юмор

Теги

Популярные авторы

Сообщества

Отношения

Теги

Популярные авторы

Сообщества

Здоровье

Теги

Популярные авторы

Сообщества

Путешествия

Теги

Популярные авторы

Сообщества

Спорт

Теги

Популярные авторы

Сообщества

Хобби

Теги

Популярные авторы

Сообщества

Сервис

Теги

Популярные авторы

Сообщества

Природа

Теги

Популярные авторы

Сообщества

Бизнес

Теги

Популярные авторы

Сообщества

Транспорт

Теги

Популярные авторы

Сообщества

Общение

Теги

Популярные авторы

Сообщества

Юриспруденция

Теги

Популярные авторы

Сообщества

Наука

Теги

Популярные авторы

Сообщества

IT

Теги

Популярные авторы

Сообщества

Животные

Теги

Популярные авторы

Сообщества

Кино и сериалы

Теги

Популярные авторы

Сообщества

Экономика

Теги

Популярные авторы

Сообщества

Кулинария

Теги

Популярные авторы

Сообщества

История

Теги

Популярные авторы

Сообщества