Гипотеза Римана. Распределение простых чисел

Гипотеза Римана доказана?

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

На этой неделе профессор математики Школы естественных наук Пурду, лауреат премии Эдварда Эллиотта Луи де Бранж опубликовал 23-страничный труд со своим доказательством. Обычно математики объявляют о таких достижениях на конференциях или в научных журналах. Однако за доказательство гипотезы Римана назначен приз в $1 млн, поэтому он решил поспешить с публикацией. «Я приглашаю других математиков проверить мои выкладки, - говорит де Бранж в подготовленном заявлении. - Со временем я передам свое доказательство для официальной публикации, но ввиду обстоятельств я чувствую необходимость немедленно опубликовать свою работу в интернете».

Гипотеза относится к распределению простых чисел. Простые числа делятся только на самих себя и на единицу. В числе прочих задач простые числа используются для шифрования. В начале этого месяца было подтверждено, что обнаружено самое большое известное на сегодняшний день простое число, которое выражается двойкой в степени 24036583 за вычетом единицы и записывается 7235733 десятичными цифрами.

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

Истоки гипотезы восходят к 1859 году, когда математик Бернхард Риман предложил теорию о распределении простых чисел, но в 1866 году он умер, так и не успев завершить ее доказательство. С тех пор за решение задачи брались многие. В частности, ее пытался решить Джон Нэш, математик, лауреат Нобелевской премии по экономике, история жизни которого положена в основу сюжета книги и кинофильма A Beautiful Mind («Игры разума»). В 2001 году математический институт Clay Mathematics Institute в Кембридже, штат Массачусетс, объявил за доказательство гипотезы премию в $1 млн.

Де Бранж, пожалуй, наиболее известен решением другой технической проблемы из области математики: 20 лет назад он доказал теорему Бибербаха. С тех пор ученый почти целиком посвятил себя проверке гипотезы Римана.

Предыдущие публикации:
Обсуждение и комментарии
нц
10 Jun 2004 12:21 PM
Респект человеку, по крайней мере за то, что он пытается делать.
Хохол
10 Jun 2004 12:24 PM
Да, нобелевка по математике это круто!!!
torvic
10 Jun 2004 1:06 PM
"математик, обладатель Нобелевской премии" [по экономике]
Yuri Abele
10 Jun 2004 1:17 PM
To Хохол:
Джон Нэш - это действительно один из величайших математиков современности. Велик не замороченностью каких-нибудь математических вычислений, а тем вкладом, который его работа по теории игр внесла в мировую экономику. Она практически перевернула современную экономику.
Если в двух словах, то он математически доказал, что конкурентам выгоднее, как это не парадоксально, сотрудничать а не конкурировать
Maverik
10 Jun 2004 1:37 PM
2 torvic

> Джон Наш, нобелевский лауреат по математике

Это оригинал. Я сам чуть со стула не упал! Видно, редакоторам zdnet давно зарплату не повышали. Я уж не говорю о "гепотизе", которая светит в аннотации.

Да не, тут прикол именно в том, что нобелевка по математике уже давно является бородатым историческим анекдотом.

Qrot
10 Jun 2004 1:41 PM
> *Гипотеза* Римана доказана
> доказательство *гепотизы* Римана
помнится, наша учительница по русскому языку засчитывала подобное за двойную ошибку.

> ... к 1859 году, когда математик Бернхард Риман предложил
> теорию... в 1966 году он умер
он что у вас, горец? в оригинале "but he died in 1866"

тут редактор кроме сисадмина по вызову есть вообще?

Qrot
10 Jun 2004 1:44 PM
Nobel Prize-winning mathematician != нобелевский луреат по математике. надмозги переводили?
Maverik
10 Jun 2004 1:48 PM
Насчет даты смерти я не обратил внимания. :-)

Респект!

Михаил Елашкин - imhoelashkin.com
10 Jun 2004 2:07 PM
2 Qrot
>надмозги переводили?

О, вижу внимательного читателя Гоблина. Привет собрату:)

Matros
10 Jun 2004 2:22 PM
2 Qrot: Это не надмозги, это безмозги. :)
And
10 Jun 2004 3:22 PM
2 Yuri Abele.
По-моему, совершенно очевидно, что конкурентам выгоднее сотрудничать, а не конкурировать.
По-моему, такое сотрудничество имеет даже специальные названия, типа "ценовой сговор". И с таким сотрудничеством пытаются бороться всякие антимонопольные органы.
Qrot
10 Jun 2004 4:23 PM
Михаил Елашкин: салют камраду! :)
Yuri
10 Jun 2004 6:32 PM
Ну и знайтный же бред тут понаписали! Лажа чуть ли не в каждом слове. Это специально постараться - и то не сразу такое придумаешь. Гипотеза Римана, конечно, связана с распределением простых чисел (точно так же, как и еще со множеством других интереснейших вопросов), но пытаться объяснить ее суть, начиная с понятия простого числа - это чего-то особенного:-)
А уж какое отношение к гипотезе Римана имеет обнаружение очередного простого числа, и тем более какую коммерческую выгоду можно было бы извлечь из этого доказательства, хотя бы даже и через сотни лет - это вообще загадка для пытливого ума:-)
bravomail
10 Jun 2004 7:09 PM
коммерческая выгода одна - легкость ломки современных шифров
Yuri
10 Jun 2004 7:29 PM
> коммерческая выгода одна - легкость ломки современных шифров
Она _абсолютно_ не зависит не только от того, доказана или нет гипотеза Римана, но даже и от того, верна ли она вообще.
Ks
10 Jun 2004 8:57 PM
Вообще говоря, гипотеза Римана касается нулей дзета-фнукции Римана, и уж если и используется в теории распределения простых чисел, то совсем неочевидным образом. Скажем так - постулат Бертрана доказывается с использованием этой самой дзета-функции, но вполне без этой гипотезы.
Nobody
10 Jun 2004 10:51 PM
Nobel to Lunix! Windows must die!
done
10 Jun 2004 11:24 PM
2YuriВ
что Вы толкового принести в наше сообщество??
C3Man
12 Jun 2004 4:44 AM
APOLOGY FOR THE PROOF OF THE RIEMANN HYPOTHESIS?
Алекс
13 Jun 2004 6:15 PM
Ранее де Бранжес (это профессор, который утверждает, что доказал гипотезу Римана) доказал теорему типа -- если верно некое условие, то верна и гипотеза Римана. Потом выяснилось, что его условие не верно. В том, что висит в Инете доказательства гипотезы Римана нету (а вы бы повесили в инете 1M$?), там есть его извинения перед коллегами, о том, что его доказательство может спутать им планы исследований, его путь к доказательству и то, что бы он сделал с 1M$. В свое время Гильберт сказал, что если бы он проспал 500 лет, а потом проснулся, то первым делом он бы спросил, доказана ли гипотеза Римана.
Алекс
14 Jun 2004 3:22 AM
Виноват, он действительно выложил доказательство. Только не на 24х страницах как вначале сообщалось, а на 124х. Мужику 72 года, а есть еще порох в пороховницах и ягоды в ягодицах.
Вlack ibm.*
16 Jun 2004 12:05 PM
А вообще математика хороша тем что в не "КАК много может сделать " одиночка- сиди и ковыряй.
про другие науки так не скажешь. ДАЖе теоритеическа физика где не нужны дорогостоящие эсперементы.. Сильно связана с эсперементаторами.. ТЕ ТЕОРФИЗИКИ только для эсперементаторов и работали(Ланндау ДА гений одиночка. НО достиг бы он такого релуьзата не взяы бы его Капица?) .. ну разве что особняком стоит Эейнштейн.
МОЛОДЕЦ МУЖИК.
Николай
13 Oct 2006 2:34 PM
Несколько год назад я "доказывал" Большую Теорему Ферма.Был ооочень рад,а потом...нашол ошибку!Уверен ли господин де Бранжес в том,что нашел настоящее доказательство?Я-нет!

Логическое доказательство гипотезы Римана. СЕ ВИД МИРА.

Логическое доказательство гипотезы Римана есть также богодоказательство.
Гипотеза Римана есть предположение о существовании закономерности в распределении простых чисел. Логическое доказательство гипотезы Римана есть, собственно говоря, сущность того, что известно под именем «логика». Отныне эта сущность получает известность в том виде, в каком она есть сама по себе, в своем собственном виде Науки Риторики.

Информация для размышления:
«Простые числа «похоронят» криптографию» (НГ-ТЕЛЕКОМ, 5.10.04): «Математики близки к доказательству так называемой «гипотезы Римана», признанной одной из нерешенных проблем математики. Если гипотеза, согласно которой в характере «распределения» простых чисел имеются закономерности, будет доказана, возникнет необходимость пересмотра фундаментальных принципов всей современной криптографии, лежащей в основе многих механизмов электронной коммерции.
«Гипотеза Римана» была сформулирована немецким математиком Г. Ф. Б. Риманом в 1859 году. Согласно ей, характер распределения простых чисел может существенно отличаться от предполагаемого в настоящее время. Дело в том, что математикам до сих пор не удавалось обнаружить какой-либо системы в характере распределения простых чисел. Так, считается, что в окрестности целого числа х среднее расстояние между последовательными простыми числами пропорционально логарифму х. Тем не менее, уже давно известны так называемые простые числа-близнецы, разность между которыми равна 2: 11 и 13, 29 и 31, 59 и 61. Иногда они образуют целые скопления, например 101, 103, 107, 109 и 113. У математиков давно существовало подозрение, что такие скопления существуют и в области очень больших простых чисел, однако ни доказать, ни опровергнуть это утверждение до сих пор не удавалось. Если такие «кластеры» будут найдены, стойкость криптографических ключей, используемых в настоящее время, может в одночасье оказаться под большим вопросом.
Как сообщил ряд изданий, на днях американский математики Луи де Бранже из университета Пердью заявил, что сумел доказать гипотезу Римана. Ранее, в 2003 году, о наличии доказательства этой теоремы уже заявляли математики Дэн Голдстон из университета Сан-Хосе (Калифорния) и Кем Илдирим из университета Богазичи в Стамбуле.
Доказательство, казалось бы, отвлеченной и абстрактной математической задачи может в корне изменить концепции, лежащие в основе современных криптографических систем - в частности, системы RSA. Обнаружение системы в распределении простых чисел, полагает профессор Оксфордского университета Маркус дю Сатой, привело бы не просто к снижению стойкости криптографических ключей, но и к полной невозможности обеспечивать безопасность электронных транзакций с помощью шифрования. Последствия этого трудно переоценить, учитывая ту роль, которую криптография играет в современной обществе - от охраны государственных секретов до обеспечения функционирования онлайновых финансовых и торговых систем».

ИСЧИСЛЕНИЕ ПРОСТЫХ ЧИСЕЛ. СУЩНОСТЬ МАТЕМАТИЧЕСКОГО
16.01.2003 HTTP://LIB.RU/POLITOLOG/SHILOW_S/CHISLA.TXT

1. Феномен развития есть исчисление.

2. Универсальное исчисление в корне отлично от дифференциального,
интегрального и иных аналитических исчислений.

3. Универсальное исчисление исходит из понятия (формулы) единицы.

4. Идея бесконечно малой величины, лежащая в основе современных частных исчислений, идея флюксии Ньютона-Лейбница, подлежит фундаментальной
рефлексии.

5. Преобразования Лоренца, употребленные впервые Эйнштейном в качестве
проекта нового, синтетического исчисления, представляют на деле стратегию
поиска оснований теории чисел.

6. Теория множеств является дескрипцией, описанием теории чисел, что не
тождественно экспликации оснований теории чисел.

7. Теория относительности Эйнштейна на деле выявляет числовые основания
физических процессов.

8. Идея наблюдателя есть лексическое описание проекта синтетического
исчисления.

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

10. Проблема современного научного знания, таким образом, - это
проблема создания синтетического исчисления.

11. Основная операция синтетического исчисления - представление числа
цифрой.

12. Представление числа цифрой есть результат рефлексии числа. Подобно
тому, как представление слова понятием (образом) есть результат рефлексии
слова.

13. Рефлексия слова осуществляется посредством чтения письма. Рефлексия
числа осуществляется посредством математизации физики.

14. Книга природы (физики) написана на языке математики (читается
математикой). "Книга природы", Наука, таким образом, есть представление,
изложение, описание чисел цифрами. Подобно тому, как книга есть
представление, формализация слов буквами, лексическими и грамматическими
формами.

15. Таким образом, теория чисел и есть, собственно говоря, универсальная теория природы.

16. Исчисление есть, таким образом, универсальный процесс природы
(природа как процесс), Развитие, процесс, представленный в цифровой форме.

17. Представление числа цифрой есть фундаментальная технология
исчисления, существо феноменологии развития, основание Техники как таковой.
Так и представление слова образом (понятием) есть фундаментальная технология
мышления, есть, собственно говоря, Рефлексия.

18. Раскроем существо, феномен представления числа цифрой. Такова и
будет технология синтетического исчиcления.

19. Феномен представления числа в истинной теории чисел раскрывается
как феномен фундаментального различия чисел в современной теории чисел.

20. Фундаментальное различие чисел в современной теории чисел есть
экспликация множества простых чисел. Так фундаментальное различие слов в
риторике есть, прежде всего, экспликация первичных понятий риторики.

21. Простое число есть возможность представления числа цифрой, а
представленное в виде цифры оно есть реализация, результат представления
числа цифрой, поскольку существуют числа, не представимые в виде конечной
цифры-знака.

22. Фундаментальное положение синтетического исчисления есть, в самом
безусловном и необходимом смысле, формула единицы.

23. Бесконечно малая величина аналитических исчислений есть, собственно
говоря, также единица, как нечто одно, фиксируемое посредством анализа.

24. Формула единицы есть дефиниция единицы, так как само понятие
формулы единицы есть результат рефлексии числа.

25. Поскольку формула единицы есть понятие языка науки, способа
представления числа цифрой, то единица есть ни что иное, как совокупность,
множество простых чисел:

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

27. Простое число есть истинный предел аналитических исчислений,
зафиксированный в виде физических констант опосредованно.

28. Суть синтетического исчисления, единичного акта исчислимости синтетического исчисления, который может быть охарактеризован как измерение, производящее физический объект, так вот, суть синтетического исчисления - такое различие множеств простых чисел на единицу множества, которая также есть конкретное множество простых чисел. Так суть формирования риторики в диалоге - такое явление нового базового понятия (единицы смысла, осмысленности), не включенного в круг употребленных первичных понятий, которое (новое понятие) есть также совокупность первичных понятий.

29. Делимость как технология определения простого числа образует до конца не отрефлектированную сегодня сущность аналитических исчислений.

30. Деление есть путь цифры, энтропия как формальное представление о
действительности числового ряда.

31. Таким образом, непосредственное правило определения простого числа
посредством делимости есть формула формулы, генезис и структура физического формулы как результата рефлексии представимости числа цифрой.

32. Правило определения простого числа определяет механизм
синтетического исчисления.

33. Правило определения простого числа есть одновременная делимость
цифровых частей числа на делитель. В аспекте целочисленной делимости число
образует две цифровые части, единство которых обусловлено его положением
относительно своих (всех) простых чисел. Происходит работа делителя -
одновременное деление "с двух сторон" (цифровых) числа.

34. Переход от аналитического исчисления к синтетическому выглядит в
самой непосредственной форме как одновременность двух операций одного
делителя в цифровой форме числа.

35. Последовательностью целых делителей число определяется как простое,
либо непростое, то есть вычисляется.

36. Число вычисляется в исчислении.

37. Вычисление числа есть определения качества числа.

38. В числовом двигателе число исчисляется.

39. Работа числового двигателя: происходит последовательное определение
(вычисление) простых чисел.

40. Механизм определения простоты числа на основе делимости: "делим
первоначально делимое (для начальной последовательности делителей) цифровое начало числа на начальную последовательность делителей, взятых, умноженных на целое число до максимально целого значения цифрового начала числа, и смотрим - делится ли целым образом (без остатка) оставшаяся цифра числа на настоящий делитель, пока цифровое начало числа не будет меньше делителя".

41. Физический мир таким образом имеет цифровую форму.

42. Измерения времени в системе измерения числа тождественны измерениям
пространства и представлены как цифровые формы: число цифр (и цифра) первой части числа (начальной цифровой формы), число цифр (и цифра) второй части числа (средней цифровой формы), число цифр (и цифра) третьей части числа (заключительной цифровой формы).

43. Измеримость физического мира - выражение начальной последовательности делителей в цифровом начале числа с одновременным выставлением отношения делителя к цифровому продолжению числа (целое, нецелое).

44. Основой аналитического исчисления является деление как
фундаментальная операция теории чисел.

45. Деление есть структура представления числа цифрой.

46. Произведение же есть генезис представления числа в форме цифры.

47. Произведение есть четвертое измерение, измерение времени как
четвертая операция теории чисел в отношении к триаде "деление - сумма -
вычитание", образующей единое правило вычисления простого числа
(доказательства его простоты).

48. Произведение есть дефиниция-рефлексия триады операций.

49. Произведение - значение генезиса числа.

50. Деление - значение структуры числа.

51. 1. Число в виде Cилы числа (значения числа) есть прежде всего квадрат
цифры числа (первое произведение).
51. 2. С другой стороны, число в качестве единицы есть множество простых
чисел: 1 = Sp.
51.3. Простое число есть делитель целого непростого числа.
Таким образом, правило определения простого числа записывается в виде
теоремы Ферма, которая при этом становится доказанной:
xn + yn = zn , выполняется для целых
х, у, z только при целых n > 2 , а именно:
Квадрат цифры числа есть единичное множество простых чисел.

52. Суть теоремы Ферма:
Определение силы числа мощностью множества простых чисел.

53. С другой стороны, геометрия теоремы Ферма - взаимоконвертация пространства и времени в решении проблемы квадратуры круга: Проблема квадратуры круга сводится таким образом к проблеме взаимоконвертации квадрата числа в конкретное множество простых чисел, имеющей "внешний вид" знаменитой ленты Мебиуса. Геометрия Евклида (недоказанность пятого постулата - как непосредственное следствие недоопределенности точки, отсутствия рефлексии точки) и геометрия Лобачевского (геометризация цифровой формы числа вне числа) вместе преодолены в геометрии теоремы Ферма. Центральный постулат геометрии теоремы Ферма - постулат точки, раскрываемый формулой единицы.

54. Таким образом, рефлексия следующих операций теории чисел на основе
формулы единицы - возведения в степень, извлечения корня - приведет к созданию физической теории управления временем-пространством.

55. Число есть, число есть единицей, имеющей силу числа. Репрезентант
числа - простое число. Такова универсальная структура физического объекта,
незавершенность рефлексии которого приводила к корпускулярно-волновому
дуализму, к различию физики элементарных частиц и физики макромира.

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

57. Формула единицы есть, таким образом, всеобщая теория поля.

58. Формула единицы выражает интеллектуальную сущность Вселенной,
является основой концепции Вселенной как действительности действительных
рядов действительных чисел.

59. Развитие Вселенное есть синтетическое исчисление, исчисление простых чисел, значимость которых образует предметность Вселенной.

60. Формула единицы доказывает, показывает силу Слова. Формула единицы
есть устройство Вселенной в соответствии с принципом Слова, когда самооформление слова есть произведение бытия, Книги Бытия. Так самооформление числа есть произведение природы, Книги Вселенной. Формула
единицы в самом безусловном и необходимом смысле есть формула времени.
Синтетическое исчисление есть форма риторики.

СЛЕДСТВИЕ ЛОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ГИПОТЕЗЫ РИМАНА:

ЧТО ЕСТЬ ЭЛЕКТРОН? НАЧАЛА ЭЛЕКТРОННОЙ ЭНЕРГЕТИКИ
15.06.2004 HTTP://LIB.RU/POLITOLOG/SHILOW_S/S_ELEKTRON.TXT

1. 20-ый и 21-ый века - соответственно Атомный и Электронный века - образуют две последовательные ступени, две сущности перехода от Истории Нового времени к Истории Нового бытия.

2. История, как имевшее, имеющее и будущее иметь «место», - с точки зрения Науки философии, есть тождество-различие бытия и сущего. Само место, как нечто предоставляющее возможность и действительность чему-либо существовать во времени, и есть феномен, который получается из тождества-различия бытия и сущего.
Сущее есть действительное, возникшее из бытия, существующее Теперь и исчезающее в небытии. Бытие есть то, что создает Теперь, создает «здесь и сейчас». Как самостоятельное, существующее в себе, отдельно от бытия, сущее есть время. Бытие есть то, что создает Время. Время стремится к Бытию, как недобытие, как предметность бытия, как сущее. Время попадает в Бытие, становится бытием через путь двух сущностей сущего. Аристотель рассматривал этот путь от бытия ко времени и видел две сущности, как спуск от бытия к сущему, ко времени. Метафизика Аристотеля, как начало европейской рациональности, прописывает две сущности сущего, как то, что делает возможной науку. Наука возникает, как перводеление сущего на две сущности - на необходимое и достаточное основания, которые вместе определяют бытие сущего в целом, как оно есть. Наука, по Аристотелю, является именованием пути (Логикой) от бытия к сущему. Мы, в нашем историческом положении, рассматриваем этот же путь с другой стороны, как путь от времени, от сущего - к бытию. И Аристотель, и я (мы) видим одни и те же две сущности (необходимую и достаточную) сущего, которые связывают сущее и бытие, но Аристотель видит их со стороны бытия, а мы - с другой стороны, со стороны сущего, со стороны времени. Такова природа «нового аристотелизма». Между Бытием и Временем таким образом находятся, располагаются две сущности - необходимое и достаточное основания, которые и создают все то, что вообще бывает, что действительно.

3. Бытие, необходимое основание, достаточное основание, Время. Время, достаточное основание, необходимое основание, Бытие. Это описание и представление ленты мебиуса, которую, по мнению «современных ученых», невозможно представить. Цитируем «современных ученых»: «Геометрия Лобачевского - это геометрия псевдосферы, т.е. поверхности отрицательной кривизны, а геометрия сферы, т.е. поверхности положительной кривизны, это Риманова геометрия. Эвклидова геометрия, т.е. геометрия поверхности нулевой кривизны, считается ее частным случаем. Эти три геометрии пригодны только как геометрии двумерных поверхностей, определенных в трехмерном Эвклидовом пространстве. Тогда в них возможно параллельное построение всего того огромного здания из аксиом и теорем (описываемого также в зримых образах), которое нам известно из геометрии Эвклида. И действительно очень примечательно, что принципиальное отличие всех этих трех совершенно разных «сооружений» только в одной 5-й аксиоме Эвклида. Что же касается листа мебиуса, то этот геометрический объект не может быть вписан в трехмерное, а только лишь не менее чем в 4-х мерное пространство, и он тем более не может быть представлен как поверхность постоянной кривизны. Поэтому ничего похожего на предыдущее на его поверхности построить нельзя. Кстати, именно поэтому зримо мы его представить себе во всей красе не можем».
Умозрение, открытое Парменидом и Платоном, как зрение «эйдосов», Аристотелем употребляется непосредственно, а нами, умо-зрящими с другой стороны, нежели Аристотель, употребляется, достигается опосредованно. С этой, другой, нежели у Аристотеля, стороны, мы видим формулу того бытия, с которым Аристотель имеет дело непосредственно. Мы же с этим бытием не имеем непосредственного отношения, но можем его получать посредством некоторой формулы, деопосредования. Лента Мебиуса есть представление движения от бытия ко времени и от времени к бытию, то есть, точка ленты мебиуса принадлежит как времени, так и бытию - создает себя самое. 5-ый «недоказанный» постулат Эвклида и есть указание на то, что помимо сущего существует и бытие, порождающее сущее, и что сущее есть не что иное, нежели время. Пятый постулат Эвклида возникает, как следствие недоаксиоматизации точки, как признак-следствие отсутствия субстанционального понимания точки. По существу, правильная аксиоматизация аксиомы точки является единственной необходимой аксиомой всеобщей геометрии, универсальной геометрии сущего, и других аксиом (постулатов) не требуется, они являются излишними. Иначе говоря, в геометрии Эвклида зафиксирована только первая необходимая сущность аксиомы точки, которая подвергнута проблематизации в других геометриях, проблематизации с точки зрения сущего, геометрия которого не редуцируема к геометрии Эвклида. Вторая, достаточная сущность аксиомы точки заключается в том, что ТОЧКА ВСЕГДА ЕСТЬ ТОЧКА ЛЕНТЫ МЕБИУСА (НЕ СУЩЕСТВУЕТ ТОЧКИ, КОТОРАЯ НЕ ЯВЛЯЕТСЯ ТОЧКОЙ ЛЕНТЫ МЕБИУСА). Такова единственная аксиома геометрии Шилова, как универсальной геометрии сущего. Как видно, эта геометрия совпадает с сущим, как бытие сущего: запрещенные в этой геометрии объекты есть несуществующие объекты. Таков первичный замысел геометрии, как закона формирования сущего, действительного.

4. Субстанциональная точка есть и существо, и проблематизация закона тождества. Здесь логика и геометрия совпадают в своем общем истоке, основании. Здесь логика и геометрия открывают себя, как две сущности сущего, как произведенного бытием времени. Геометрия является необходимой сущностью сущего. Логика является достаточной сущностью сущего. Так основал европейскую науку Аристотель. Основывая ее так, Аристотель непосредственно владел темой субстанциональности точки, мы же владеем этой темой опосредованно (точнее, эта тема владеет нам с такой мощью, что мы уже не думаем о субстанциональности точки). Мы должны таким образом вернуться от логики к геометрии, формализуя непосредственное аристотелевское понимание субстанциональности точки. Как мы это делаем? Мы проблематизируем закон тождества (А=А), как процесс, становление, событие того, как А есть, становится А, как А удерживается, фиксируется, схватывается, как А. В этой проблематизации участвует все бытие логики, и в таком понимании закон тождества также становится единственным законом логики, когда все иные законы (противоречия, исключенного третьего, достаточного основания) становятся измерениями, участниками процесса тождества, процесса становления, осуществимости тождества. Логика, как достаточное, и геометрия, как необходимое, совпадают в одной существенной сущности, в имени единого закона тождества - закона субстанциональности точки.

5. Что есть субстанциональная точка, как действительное? Это главный вопрос Науки, в ответе на который она становится единой наукой не только в сфере оснований науки, но и внешне, «эйдетически». В чем корень всех «-логий», как «отдельных научных дисциплин»? В логико-геометрическом единстве, прежде всего. Что изучает логико-геометрическое единство? Субстанцию точки. Логико-геометрическое единство, слабо рефлексируемое современными науками, это теория субстанциональной точки. Теория субстанциональной точки - это основание генезиса и структуры научного знания, рациональности. В полевой теории истина, как истина теории субстанциональной точки скрывается, уклоняется от ученого. «Полевая теория», теория поля есть научный миф. Миф о действительном бытии субстанциональной точки.

6. Действительное бытие субстанциональной точки есть ЧИСЛО. ВРЕМЯ СУБСТАНЦИОНАЛЬНОЙ ТОЧКИ, ТОЧКИ ЛЕНТЫ МЕБИУСА, И ЕСТЬ ЕДИНСТВЕННО ВОЗМОЖНОЕ И СУЩЕСТВУЮЩЕЕ ВРЕМЯ, ИСТИННЫЙ МОМЕНТ ВРЕМЕНИ. НЕТ, НЕ СУЩЕСТВУЕТ ТАКОГО ВРЕМЕНИ, КОТОРОЕ НЕ БЫЛО БЫ, КАК ВРЕМЯ СУБСТАНЦИОНАЛЬНОЙ ТОЧКИ. Логико-геометрическое единство, которое, с одной логической стороны, есть закон субстанционального тождества, а с другой геометрической стороны, есть закон субстанциональной точки, в своей единственной существенной сущности, априорной логике и геометрии, есть ЗАКОН ЧИСЛА. Бытие создает сущее, действительное в виде числа, в пространстве действительного числового ряда, как материального бытия времени. Число есть место, создающееся между временем и бытием, между бытием и временем, - есть сущее.

7. Истинная наука о числе есть, таким образом, механика времени (Математика есть наука о цифре, о представлении числа цифрой). Вот что позволяет понять новый аристотелизм, «разоблачая» «полевой миф» современной физики. Пространство сущего раскрывает себя как пространство действительного числового ряда. Теория поля, представление о поле - это миф в отношении логико-геометрического единства и его истинной природы. Квантово-механическая интерпретация есть некоторый миф в отношении механики времени. Квантово-механическая интерпретация не знает еще «природу», как действительный числовой ряд, не знает еще универсальный (универсальный для взаимодействий любого «уровня») физический объект, как число. Современная физика еще не познала «природу», как исчисление. Квантово-механическая интерпретация застряла в логико-геометрическом единстве, как в неопределенной двойственности (принцип Гейзенберга).

8. Таким образом возникает возможность «неполевого» определения-понимания энергии. Полевое понимание-представление энергии исходит из закона сохранения энергии и незыблемости начал термодинамики. ЧИСЛОВОЕ ПОНИМАНИЕ ЭНЕРГИИ ЕСТЬ ПОНИМАНИЕ МЕХАНИЗМА ДЕЙСТВИЯ ЧИСЛА, КАК ДЕЙСТВИТЕЛЬНОГО И ЕДИНСТВЕННОГО ВОЗМОЖНОГО МОМЕНТА ВРЕМЕНИ. ЭНЕРГИЯ ЕСТЬ ЭНЕРГИЯ ДВИЖЕНИЯ (СУЩЕСТВОВАНИЯ) ЛЕНТЫ МЕБИУСА. ЛЕНТА МЕБИУСА ЕСТЬ ФОРМА СУЩЕСТВОВАНИЯ ЭНЕРГИИ. ЭНЕРГИЯ В САМОМ НЕОБХОДИМОМ И БЕЗУСЛОВНОМ СМЫСЛЕ ЕСТЬ ТО, ЧТО НАРУШАЕТ ЗАКОН СОХРАНЕНИЯ ЭНЕРГИИ И НАЧАЛА ТЕРМОДИНАМИКИ, И ЭТО НАРУШЕНИЕ И ОБРАЗУЕТ ФИЗИЧЕСКУЮ СУЩНОСТЬ ВРЕМЕНИ, ВОЗМОЖНОСТЬ И ДЕЙСТВИТЕЛЬНОСТЬ МОМЕНТА ВРЕМЕНИ, КАК МОМЕНТА ДЕЙСТВИТЕЛЬНОСТИ.

9. Энергию можно определить как Силу Единицы (Силу числа), сила которой состоит в исчислимом нарушении закона сохранения энергии (начал термодинамики). По существу, атомная энергетика продвинула человечество к числовому пониманию энергии, но остановилась в своем научном развитии, будучи неспособной осмыслить атомную энергию, как необходимую предпосылку пересмотра начал термодинамики и закона сохранения энергии. Наука оказалась тут в совершенно том же положении перед необходимостью осмысления собственных оснований, в котором оказалась церковь перед лицом достижений науки. Так же как и церковь, наука сохранила «верность» закону сохранения энергии (началам термодинамики), не взирая на необходимость осмысления существа оснований атомной науки САМОСТОЯТЕЛЬНО, вне термодинамического согласования. Атомная наука в деле использования атомной энергии вышла на идею-представление о субстанциональной точке. Использование атомной энергии есть, по существу, самораскрытие субстанции точки, как числа, растущего по всему пространству действительного числового ряда (представление о «цепной реакции»). Более того, это представление вполне зримо: потому-то атомный взрыв есть атомный гриб, есть РОСТ, метафизический рост, пробегание числа по своему пространству, месту числового ряда.

10. Электронная наука определит лицо 21-го века. И возникнет эта наука из истинного определения того, ЧТО ЕСТЬ ЭЛЕКТРОН. Все предшествующие мысли, а также рассмотрение атомной науки (атомной энергии), как чистого феномена, имеющего собственную истину - ПЕРВУЮ СТУПЕНЬ, ПЕРВУЮ НЕОБХОДИМУЮ СУЩНОСТЬ РАСКРЫТИЯ ЧИСЛОВОЙ ПРИРОДЫ ЭНЕРГИИ, как физическую фиксацию силы и бытия числа, способствуют тому, чтобы понять электрон уже непосредственно, как число, как объект, проявляющий себя физически. Не случайно говорят о том, что «электрон есть самая таинственная частица в физике». Электрон есть вторая ступень, вторая ДОСТАТОЧНАЯ СУЩНОСТЬ ЧИСЛОВОЙ ПРИРОДЫ ЭНЕРГИИ. Атом, электрон располагаются между бытием и временем (сущим), как соответственно первая необходимая и вторая достаточная сущность сущего. Переход от бытия ко времени и обратный переход от времени к бытию есть не «делимость материи» сущего, а субстанциональная точка, Число, и, в этом смысле Числа как «неделимости материи», ЭЛЕКТРОН ЕСТЬ ПРОСТОЕ ЧИСЛО (неделимое число). Простое число есть физическая сущность электрона как пространственно-временного феномена времени.

11. Электронная наука завершает переход от времени к бытию, необходимым образом начатый атомной наукой. Электронная наука открывает Формулу Единицы: Единица есть множество простых чисел. Формула Единицы раскрывает устройство, сущность времени, механику времени. Электронная наука открывает человеку доступ к ЭЛЕКТРОННОЙ ЭНЕРГИИ, НЕПОСРЕДСТВЕННОЙ ЭНЕРГИИ ЧИСЛОВОГО РЯДА, ЭНЕРГИИ ТВОРЕНИЯ. Электронная наука решит те проблемы, перед которыми остановилась атомная наука и тем самым невероятно изменит энергетику, зафиксировав «принципиально новый», а, на самом деле, истинный источник мегаэнергии - число, числовой ряд. Понимая, ЧТО ЕСТЬ ЭЛЕКТРОН, мы создадим ЭЛЕКТРОННУЮ ЭНЕРГЕТИКУ, как механику времени, прежде всего. Математическая процедура станет частью физико-технического процесса, той частью, которая выведет этот процесс в новое сверхфизическое, сверхфизико-константное качество.

12. Задача создания электронной энергетики - есть главная задача формирования нового технотронного уклада. Это задача начала Истории нового бытия, завершения переходного периода от Истории Нового времени к Истории Нового бытия, первым необходимым основанием, первой необходимой ступенью которого и стал прошедший 20-ый Атомный век. Научная революция 20-х годов 20-го века, произведенная Эйнштейном, создала необходимую предпосылку для Мегауначной революции начала 21-го века, результатом которой и будет электронная наука, электронная энергетика. Возникновение же электронной науки, электронной энергетики есть, прежде всего, открытие того, что есть электрон. Открытие «тайны электрона» есть, прежде всего, понимание, осмысление, путь которого представлен в данной последовательности тезисов, как путь «нового аристотелизма».

13. С каким опытом работал Аристотель, когда осмысливал истину мира, как переход от бытия ко времени, когда открывал ту возможность, которая реализовалась, как Логика? Представлением о чем, известном человеку, как о самом ближнем круге его сущего, определяющем его, как собственно человеческое существо, была лента мебиуса. Где человек видел и знал ленту мебиуса? Откуда человек черпал опыт субстанциональности точки? Ведь, все это те знания, «врожденные идеи», которые и делают некоторое живое существо человеком, ведь, человека человеком делает его человеческое восприятие (человек, говоря словами Гете, «видит то, что знает»). Откуда «ранний-древний» человек знал все то, к чему современная наука, вооруженная могущественными средствами техники, эксперимента, математического аппарата, приходит только в 21-м веке, при том, что человек всегда располагает этим знаниями именно как человек? Ответ: из речи, из человеческой речи, как непосредственной действительности мышления. Речь и есть то движение от бытия ко времени и от времени к бытию (в движении от времени к бытию речь становится мышлением), которым и есть человек, как некоторое движение и опыт настоящего движения. Точка, как субстанциональная точка, известна, ведома человеку, как точка речи, как момент истины, как суждение. Время, как предметность, дана человеку, как предметность речи (мышления). Смысл современного исторического момента развития науки и состоит в самом главном эксперименте - в поверке современной науки опытом речи, в пути радикального логического переосмысления науки, как научной речи, в выявлении необходимого и достаточного оснований истинности научного суждения. Речь содержит в себе программу истинности, для раскрытия которой понадобилась вся мощь современной науки, направленной вовне человека, но требующей осмысления полученных результатов в языке науки. Речь для человека не только находится «между» бытием и временем, но и охватывает лентой мебиуса бытие, как бытие человека, и время, как время человека. Речь - это нечто больше, чем филологический набор слов и правил, речь - это бытие, которое входит в мир таким временем, как человек, создает такое сущее, как человек. Речь создает число как сущность человека, число, которое и есть человек.
Потому меганаучная революция есть гуманитарно-технотронная революция, которая начинается с раскрытия тайны сущности электрона, как простого числа, СРЕДСТВАМИ МЫШЛЕНИЯ, СРЕДСТВАМИ ЯЗЫКА НАУКИ.

ПЕРВОЕ УПОМИНАНИЕ О ЛОГИЧЕСКОМ ДОКАЗАТЕЛЬСТВЕ ГИПОТЕЗЫ РИМАНА
20.10.2000 HTTP://LIB.RU/POLITOLOG/SHILOW_S/MEGANAUKA.TXT
«ХРОНИКА. ДЕФИНИЦИИ МЕГАНАУКИ»

_______________________________________________________________________
Незыблемое и последнее основание, которое искал Декарт в начале Нового времени, понято и открыто в Конце Истории Нового времени. Это основание - число. Как бытие, истинно описываемое языком науки. В Конце Истории Нового времени это основание открывается и становится видным, как «последнее» Нового времени. Видно число через «оптику» редукционизма солиптической (методориторической) доктрины, как высшей формы картезинанского «методологического» сомнения. Открытое таким образом число имеет характеристики свойственные не только арифметическому понятию «числа», но и философскому понятию «основания» (добавлю - и физическому представлению о «природе» («материи») - представлению «атом» и представлению «электрон»), так что математикам (и физикам) придется потесниться в лодке числа, плывущей в «безбрежном океане неведомого» (о коем пишет Ньютон в «Математических началах натурфилософии», трактуя себя не как «открывателя законов мироздания», но «как мальчика, бросающего камешки на побережье») и предоставить место в этой лодке также и философам. Собственно говоря, для блага же и физико-математиков, лодка числа (Ноев Ковчег современной цивилизации) под управлением которых, сгрудившихся на одной из ее сторон, уже почти под водой (напр., крах программы «формально-логической» формализации Гильберта-Геделя). Программа формализации Науки Риторики дедуцирует понятие истинной теории множеств, связанной формулой Единицы, как множества простых чисел.

8 августа 1900 года на 2-м Международном конгрессе математиков в Париже один из величайших математиков современности Давид Гильберт сформулировал двадцать три задачи, которые во многом предопределили развитие математики XX столетия. В 2000 году специалисты из Clay Mathematics Institute решили, что грешно входить в новое тысячелетие, не наметив новую программу развития, -тем более что от двадцати трех проблем Гильберта остались лишь две[Еще две считаются слишком расплывчатыми или нематематическими, еще одна была решена частично, а по поводу еще одной - знаменитой континуум-гипотезы - консенсус пока не достигнут ()].

В результате появился знаменитый список из семи задач, за полное решение любой из которых обещан миллион долларов из специально учрежденного фонда. Чтобы получить деньги, нужно опубликовать решение и подождать два года; если в течение двух лет никто его не опровергнет (будьте уверены - попытаются), вы получите миллион вожделенных зеленых бумажек.
Я попытаюсь изложить суть одной из этих задач, а также постараюсь (в меру своих скромных сил) объяснить ее сложность и важность. Настойчиво рекомендую зайти на официальный сайт конкурса www.claymath.org/millennium ; опубликованные там описания проблем полны и интересны, и именно они стали главным источником при написании статьи.

Гипотеза Римана

Однажды один из моих научных руководителей, выдающийся петербургский алгебраист Николай Александрович Вавилов, начал занятие своего спецкурса с формулы

1 + 2 + 3 + 4 + 5 + … = –1/12.

Нет, занятие не было посвящено гипотезе Римана, и узнал я о ней вовсе не от Николая Александровича. Но формула, тем не менее, имеет к гипотезе самое прямое отношение. И что удивительно - это кажущееся абсурдным равенство действительно верно. Точнее сказать, не совсем оно, но дьявол деталей тоже вскоре будет удовлетворен.

В 1859 году Бернард Риман (Bernhard Riemann) опубликовал статью (или, как тогда выражались, мемуар), которой была суждена очень долгая жизнь. В ней он изложил совершенно новый метод асимптотической оценки распределения простых чисел. В основе метода лежала функция, связь которой с простыми числами обнаружил еще Леонард Эйлер, но которая все же получила имя математика, продолжившего ее на всю комплексную плоскость: так называемая дзета-функция Римана. Определяется она очень просто:

ς (s) = 1/1 s + 1/2 s + 1/3 s + 1/3 s + … .

Любой студент, прослушавший курс математического анализа, тут же скажет, что этот ряд сходится для всякого вещественного s > 1. Более того, он сходится и для комплексных чисел, вещественная часть которых больше единицы. Еще более того, функция ς (s) - аналитическая в этой полуплоскости.

Рассматривать формулу для отрицательных s кажется дурной шуткой: ну какой смысл складывать, например, все положительные целые числа или, тем более, их квадраты или кубы? Однако комплексный анализ - упрямая наука, и свойства дзета-функции таковы, что ее можно продолжить на всю плоскость. Это и было одной из идей Римана, изложенных в мемуаре 1859 года. У полученной функции только одна особая точка (полюс): s = 1, а, например, в отрицательных вещественных точках функция вполне определена. Именно значение аналитически продолженной дзета-функции в точке –1 и выражает формула, с которой я начал этот раздел.

(Специально для патриотов и неравнодушных к истории науки людей отмечу в скобках, что, хотя мемуар Бернарда Римана внес в теорию чисел много свежих идей, он не был первым исследованием, в котором распределение простых чисел изучалось аналитическими методами. Впервые это сделал наш соотечественник Пафнутий Львович Чебышёв, 24 мая 1848 года прочитавший в петербургской Академии наук доклад, в котором изложил ставшие классическими асимптотические оценки количества простых чисел.)

Но вернемся к Риману. Ему удалось показать, что распределение простых чисел - а это центральная проблема теории чисел - зависит от того, где дзета-функция обращается в нуль. У нее есть так называемые тривиальные нули - в четных отрицательных числах (–2, –4, –6, …). Задача состоит в том, чтобы описать все остальные нули дзета-функции.

Этот орешек вот уже полторы сотни лет не могут разгрызть самые талантливейшие математики планеты.

Правда, мало кто сомневается в том, что гипотеза Римана верна. Во-первых, численные эксперименты более чем убедительны; о последнем из них рассказывает статья Хавьера Гурдона (Xavier Gourdon), название которой говорит само за себя: «Первые 10 13 нулей дзета-функции Римана и вычисление нулей на очень большой высоте» (вторая часть названия означает, что предложен метод вычисления не только первых нулей, но и некоторых, пусть и не всех, более далеких, вплоть до нулей с номером около 10 24). Эта работа пока венчает более чем столетнюю историю попыток проверки гипотезы Римана для некоторого количества первых нулей. Разумеется, контрпримеров к гипотезе Римана не найдено. Кроме того, строго установлено, что больше 40% нулей дзета-функции гипотезе удовлетворяют.

Второй аргумент напоминает одно из доказательств существования Бога, опровергнутых еще Иммануилом Кантом. Если Риман все же ошибся, то неверной станет очень много красивой и правдоподобной математики, построенной в предположении, что гипотеза Римана правильна. Да, этот аргумент не имеет научного веса, но все же… математика - это наука, где красота играет ключевую роль. Красивое, но неверное доказательство сплошь и рядом оказывается полезнее, чем верное, но некрасивое. Так, например, из неудачных попыток доказать великую теорему Ферма выросло не одно направление современной алгебры. И еще одно эстетическое замечание: теорема, аналогичная гипотезе Римана, была доказана в алгебраической геометрии. Получившаяся теорема Делиня (Deligne) по праву считается одним из самых сложных, красивых и важных результатов математики XX столетия.
Итак, гипотеза Римана, по всей видимости, верна - но не доказана. Кто знает, возможно, сейчас этот журнал читает человек, которому суждено войти в историю математики, доказав гипотезу Римана. В любом случае, как и со всеми остальными великими задачами, сразу предупреждаю: не пытайтесь повторить эти трюки дома. Иными словами, не пытайтесь решать великие проблемы, не поняв теории, которая их окружает. Сэкономите нервы и себе, и окружающим.

На десерт - еще немного интересного о дзета-функции. Оказывается, у нее есть и практические применения, и даже физический смысл. Более того, и гипотеза Римана (точнее говоря, ее обобщение, считающееся столь же сложным, сколь и она сама) имеет прямые практические следствия. Например, одной из важных вычислительных задач является проверка чисел на простоту (дано число, нужно сказать, простое оно или нет). Самый теоретически быстрый на данный момент алгоритм решения этой задачи - тест Миллера-Рабина (Miller-Rabin test) - работает за время O(log 4 n), где n - данное число (соответственно log n - длина входа алгоритма). Однако доказательство того, что он работает так быстро, опирается на гипотезу Римана.

Впрочем, тест на простоту - не слишком сложная проблема с точки зрения теории сложности (в 2002 году был разработан не зависящий от гипотезы Римана алгоритм, который медленнее теста Миллера-Рабина, но тоже полиномиален). Раскладывать числа на простые сомножители гораздо интереснее (и прямые криптографические приложения налицо - стойкость схемы RSA зависит от того, можно ли быстро разложить число на простые), и здесь гипотеза Римана тоже является необходимым условием для доказательства оценок времени работы некоторых быстрых алгоритмов.

Обратимся к физике. В 1948 году голландский ученый Хендрик Казимир (Hendrik Casimir) предсказал эффект, носящий теперь его имя[Эффект Казимира долгое время оставался лишь изящной теоретической идеей; однако в 1997 году Стив Ламоро (Steve K. Lamoreaux), Умар Мохидин (Umar Mohideen) и Анушри Руа (Anushri Roy) смогли провести подтверждающие предшествующую теорию эксперименты]. Оказывается, если сблизить две незаряженные металлические пластины на расстояние в несколько атомных диаметров, они притянутся друг к другу за счет флуктуаций расположенного между ними вакуума - постоянно рождающихся пар частиц и античастиц. Этот эффект чем-то напоминает притяжение подплывших слишком близко друг к другу судов в океане (еще больше он напоминает теорию Стивена Хокинга о том, что черные дыры все же излучают энергию, - впрочем, тут трудно сказать, кто кого напоминает). Расчеты физической модели этого процесса показывают, что сила, с которой притягиваются пластины, должна быть пропорциональна сумме частот стоячих волн, возникающих между пластинами. Вы уже догадались - эта сумма сводится к сумме 1+2+3+4+…. И более того - правильным значением этой суммы для расчетов эффекта Казимира является именно –1/12.

Но и это еще не все. Некоторые исследователи считают, что дзета-функция играет важную роль… в музыке! Возможно[Я пишу «возможно», потому что единственный источник, который мне удалось разыскать, это переписка в usenet-конференции sci.math . Если вы (читатели) сможете найти более авторитетные источники, мне будет очень интересно об этом услышать], максимумы дзета-функции соответствуют значениям частот, которые могут служить хорошей основой для построения музыкальной шкалы (такой, как наш нотный стан). Что ж, Герман Гессе в своей «Игре в бисер» не зря объявил Игру комбинацией математики и музыки: между ними и впрямь много общего…

Математической науки. Работа над ними оказала колоссальное влияние на развитие этой области человеческого знания. Спустя 100 лет Математический институт Клэя представил список из 7 проблем, известных как задачи тысячелетия. За решение каждой из них была предложена премия в 1 миллион долларов.

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

Краткая биографическая справка

Георг Фридрих Бернхард Риман родился в 1826 году в Ганновере, в многодетной семье бедного пастора, и прожил всего 39 лет. Ему удалось опубликовать 10 трудов. Однако уже при жизни Риман считался преемником своего учителя Иоганна Гаусса. В 25 лет молодой ученый защитил диссертацию «Основания теории функций комплексной переменной». Позже он сформулировал свою гипотезу, ставшую знаменитой.

Простые числа

Математика появилась, когда человек научился считать. Тогда же возникли первые представления о числах, которые позже попытались классифицировать. Было замечено, что некоторые из них обладают общими свойствами. В частности, среди натуральных чисел, т. е. таких, которые использовались при подсчете (нумерации) или обозначении количества предметов, была выделена группа таких, которые делились только на единицу и на самих себя. Их назвали простыми. Изящное доказательство теоремы бесконечности множества таких чисел дал Евклид в своих «Началах». На данный момент продолжается их поиск. В частности, самым большим из уже известных является число 2 74 207 281 - 1.

Формула Эйлера

Наряду с понятием о бесконечности множества простых чисел Евклид определил и вторую теорему о единственно возможном разложении на простые множители. Согласно ей любое целое положительное число является произведением только одного набора простых чисел. В 1737 году великий немецкий математик Леонард Эйлер выразил первую теорему Евклида о бесконечности в виде формулы, представленной ниже.

Она получила название дзета-функции, где s — константа, а p принимает все простые значения. Из нее напрямую следовало и утверждение Евклида о единственности разложения.

Дзета-функция Римана

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

Риман пошел дальше Эйлера. Для того чтобы найти ключ к проблеме распределения чисел, он предложил определить формулу как для действительной, так и для комплексной переменной. Именно она впоследствии получила название дзета-функции Римана. В 1859 году ученый опубликовал статью под заголовком «О количестве простых чисел, которые не превышают заданной величины», где обобщил все свои идеи.

Риман предложил использовать ряд Эйлера, сходящийся для любых действительных s>1. Если ту же формулу применяют для комплексных s, то ряд будет сходиться при любых значениях этой переменной с действительной частью больше 1. Риман применил процедуру аналитического продолжения, расширив определение zeta(s) на все комплексные числа, но «выбросив» единицу. Она была исключена, потому что при s = 1 дзета-функция возрастает в бесконечность.

Практический смысл

Возникает закономерный вопрос: чем интересна и важна дзета-функция, которая является ключевой в работе Римана о нулевой гипотезе? Как известно, на данный момент не выявлено простой закономерности, которая бы описывала распределение простых чисел среди натуральных. Риману удалось обнаружить, что число pi(x) простых чисел, которые не превосходили x, выражается посредством распределения нетривиальных нулей дзета-функции. Более того, гипотеза Римана является необходимым условием для доказательства временных оценок работы некоторых криптографических алгоритмов.

Гипотеза Римана

Одна из первых формулировок этой математической проблемы, не доказанной и по сей день, звучит так: нетривиальные 0 дзета-функции — комплексные числа с действительной частью равной ½. Иными словами они расположены на прямой Re s = ½.

Существует также обобщенная гипотеза Римана, представляющая собой то же утверждение, но для обобщений дзета-функций, которые принято называть L-функциями Дирихле (см. фото ниже).

В формуле χ(n) — некоторый числовой характер (по модулю k).

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

Как рассуждал Риман

Замечание немецкого математика изначально было сформулировано достаточно небрежно. Дело в том, что на тот момент ученый собирался доказать теорему о распределении простых чисел, и в этом контексте данная гипотеза не имела особого значения. Однако ее роль при решении многих других вопросов огромна. Именно поэтому предположение Римана на данный момент многими учеными признается важнейшей из недоказанных математических проблем.

Как уже было сказано, для доказательства теоремы о распределении полная гипотеза Римана не нужна, и достаточно логически обосновать, что действительная часть любого нетривиального нуля дзета-функции находится в промежутке от 0 до 1. Из этого свойства следует, что сумма по всем 0-м дзета-функции, которые фигурируют в точной формуле, приведенной выше, — конечная константа. Для больших значений x она вообще может потеряться. Единственным членом формулы, который останется неизменным даже при очень больших x, является сам x. Остальные сложные слагаемые в сравнении с ним асимптотически пропадают. Таким образом, взвешенная сумма стремится к x. Это обстоятельство можно считать подтверждением истинности теоремы о распределении простых чисел. Таким образом, у нулей дзета-функции Римана появляется особая роль. Она заключается в том, чтобы значения не могут внести существенного вклада в формулу разложения.

Последователи Римана

Трагическая смерть от туберкулеза не позволила этому ученому довести до логического конца свою программу. Однако от него приняли эстафету Ш-Ж. де ла Валле Пуссен и Жак Адамар. Независимо друг от друга ими была выведена теорема о распределении простых чисел. Адамару и Пуссену удалось доказать, что все нетривиальные 0 дзета-функции находятся в пределах критической полосы.

Благодаря работе этих ученых появилось новое направление в математике — аналитическая теория чисел. Позже другими исследователями было получено несколько более примитивных доказательств теоремы, над которой работал Риман. В частности, Пал Эрдеш и Атле Сельберг открыли даже подтверждающую ее весьма сложную логическую цепочку, не требовавшую использования комплексного анализа. Однако к этому моменту посредством идеи Римана уже было доказано несколько важных теорем, включая аппроксимацию многих функций теории чисел. В связи с этим новая работа Эрдеша и Атле Сельберга практически ни на что не повлияла.

Одно из самых простых и красивых доказательств проблемы было найдено в 1980 году Дональдом Ньюманом. Оно было основано на известной теореме Коши.

Угрожает ли римановская гипотеза основам современной криптографии

Шифрование данных возникло вместе с появлением иероглифов, точнее, они сами по себе могут считаться первыми кодами. На данный момент существует целое направление цифровой криптографии, которое занимается разработкой

Простые и «полупростые» числа, т. е. такие, которые делятся только на 2 других числа из этого же класса, лежат в основе системы с открытым ключом, известной как RSA. Она имеет широчайшее применение. В частности, используется при генерировании электронной подписи. Если говорить в терминах, доступных «чайникам», гипотеза Римана утверждает существование системы в распределении простых чисел. Таким образом, значительно снижается стойкость криптографических ключей, от которых зависит безопасность онлайн-транзакций в сфере электронной коммерции.

Другие неразрешенные математические проблемы

Закончить статью стоит, посвятив несколько слов другим задачам тысячелетия. К их числу относятся:

  • Равенство классов P и NP. Задача формулируется так: если положительный ответ на тот или иной вопрос проверяется за полиномиальное время, то верно ли, что и сам ответ на этот вопрос можно найти быстро?
  • Гипотеза Ходжа. Простыми словами ее можно сформулировать так: для некоторых типов проективных алгебраических многообразий (пространств) циклы Ходжа являются комбинациями объектов, которые имеют геометрическую интерпретацию, т. е. алгебраических циклов.
  • Гипотеза Пуанкаре. Это единственная из доказанных на данный момент задач тысячелетия. Согласно ей любой 3-мерный объект, обладающий конкретными свойствами 3-мерной сферы, обязан являться сферой с точностью до деформации.
  • Утверждение квантовой теории Янга — Миллса. Требуется доказать, что квантовая теория, выдвинутая этими учеными для пространства R 4 , существует и имеет 0-й дефект массы для любой простой калибровочной компактной группы G.
  • Гипотеза Берча — Свиннертон-Дайера. Это еще одна проблема, имеющая отношение к криптографии. Она касается элиптических кривых.
  • Проблема о существовании и гладкости решений уравнений Навье — Стокса.

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

Знаменитый британский математик Майкл Атья, профессор Оксфордского, Кембриджского и Эдинбургского институтов и лауреат почти десятка престижных премий в области математики, представил доказательство гипотезы , одной из «задач тысячелетия». Доказательство занимает всего 15 строк, а вместе с введением и списком литературы — пять страниц. Текст Атья выложил на сервисе Drive.

Гипотеза о распределении нулей дзета-функции Римана была сформулирована математиком Бернхардом Риманом в 1859 году.

Она описывает, как расположены на числовой прямой простые числа.

В то время как не найдено какой-либо закономерности, описывающей распределение простых чисел среди натуральных, Риман обнаружил, что количество простых чисел, не превосходящих x, — функция распределения простых чисел, обозначаемая π(x) — выражается через распределение так называемых «нетривиальных нулей» дзета-функции.

Гипотеза Римана утверждает, что все нетривиальные нули дзета-функции лежат на вертикальной линии Re=0,5 комплексной плоскости. Гипотеза Римана важна не только для чистой математики — дзета-функция постоянно всплывает в практических задачах, связанных с простыми числами, например, в криптографии.

По словам Атьи, решение он нашел, экспериментируя с постоянной тонкой структуры — фундаментальной физической постоянной, характеризующей силу электромагнитного взаимодействия. Она определяет размер очень малого изменения величины (расщепления) энергетических уровней атома и, следовательно, образования тонкой структуры — набора узких и близких частот в его спектральных линиях.

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

Если доказательство будет подтверждено, Атья получит награду.

Математический институт Клэя объявил о своем решении отдать премию Перельману 19 марта 2010 года. Работы, за которые математик удостоился награды, были написаны им в 2002 году, причем они были выложены в архив электронных препринтов, а не напечатаны в рецензируемом научном журнале. В своих выкладках Перельман завершил доказательство гипотезы геометризации Терстона, которая прямо связана с гипотезой Пуанкаре.

В 2005 году за эти работы Перельману была присуждена Филдсовская премия, которую часто называют Нобелевской премией для математиков. От этой награды российский математик также отказался.

В 2014 году математик из Казахстана Мухтарбай Отелбаев , что решил еще одну из «задач тысячелетия» — нашел условия системы уравнений Навье — Стокса, при которых для каждого набора параметров имеется единственное решение. Уравнения Навье — Стокса — система дифференциальных уравнений в частных производных, описывающая движение вязкой ньютоновской жидкости. Уравнения Навье — Стокса являются одними из важнейших в гидродинамике и применяются в математическом моделировании многих природных явлений и технических задач.

Для того чтобы признать решение Отелбаева верным, научное сообщество должно его проверить. Пока что результаты проверки неизвестны.

В 2010 году американский математик индийского происхождения Винай Деолаликар , что решил еще одну из задач тысячелетия — нашел доказательство неравенства классов сложности P и NP.

Данная проблема состоит в следующем: если положительный ответ на какой-то вопрос можно быстро проверить (за полиномиальное время), то правда ли, что ответ на этот вопрос можно быстро найти (за полиномиальное время и используя полиномиальную память), то есть действительно ли задачу легче проверить, чем решить?

Данных о том, что научное сообщество признало доказательство верным, пока что нет.



Понравилась статья? Поделитесь с друзьями!