Гипотеза Римана. Распределение простых чисел. Математик представил решение гипотезы Римана. Почему научное сообщество его критикует

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 . Если вы (читатели) сможете найти более авторитетные источники, мне будет очень интересно об этом услышать], максимумы дзета-функции соответствуют значениям частот, которые могут служить хорошей основой для построения музыкальной шкалы (такой, как наш нотный стан). Что ж, Герман Гессе в своей «Игре в бисер» не зря объявил Игру комбинацией математики и музыки: между ними и впрямь много общего…

Российский математик нашел доказательство Гипотезы Римана January 3rd, 2017


Бернхард Риман

Помните, я вам рассказывал про . Так вот, среди них была гипотеза Римана.

В 1859 году немецкий математик Бернхард Риман взял давнюю идею Эйлера и развил ее совершенно по-новому, определив так называемую дзета-функцию. Одним из результатов этой работы стала точная формула для количества простых чисел до заданного предела. Формула представляла собой бесконечную сумму, но специалистам по анализу к этому не привыкать. И это не было бесполезной игрой ума: благодаря этой формуле удалось получить новые подлинные знания о мире простых чисел. Мешала только одна маленькая неувязка. Хотя Риман мог доказать, что его формула точна, самые важные потенциальные следствия из нее полностью зависели от одного простого утверждения, касающегося дзета-функции, и вот это то простое утверждение Риман никак не мог доказать. Полтора столетия спустя, мы все еще не сумели сделать это.

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

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

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

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

Таким образом, доказательство гипотезы может обогатить российского математика.

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

Также отметим, что если найденное Игорем Туркановым доказательство Гипотезы Римана будет признано верным, то на счет российских математиков будет записано решение уже двух из семи «проблем тысячелетия». Одну из этих проблем - «гипотезу Пуанкаре» в 2002 году . При этом он отказался от полагавшейся ему премии в $1 млн от института Клэя.

В 2015 году Профессор математики Опиеми Энох (Opeyemi Enoch) из Нигерии заявил о том, что он смог решить гипотезу Римана, но в Математическом институте Клэя пдо сегодняшнего момента считали гипотезу Римана недоказанной. По словам представителей института, для того, чтобы достижение было зафиксировано, его необходимо опубликовать в авторитетном международном журнале, с последующим подтверждением доказательства научным сообществом.

источники

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

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

Информация для размышления:
«Простые числа «похоронят» криптографию» (НГ-ТЕЛЕКОМ, 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
«ХРОНИКА. ДЕФИНИЦИИ МЕГАНАУКИ»

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

5 декабря 2014 в 18:54

Задачи тысячелетия. Просто о сложном

  • Занимательные задачки ,
  • Математика

Привет, хабралюди!

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

После доказательства гипотезы (теперь уже теоремы) Пуанкаре Григорием Перельманом, основным вопросом, который заинтересовал многих, был: «А что же он собственно доказал, объясните на пальцах? » Пользуясь возможностью, попробую объяснить на пальцах и остальные задачи тысячелетия, или по крайней мере подойти в ним с другой более близкой к реальности стороны.

Равенство классов P и NP

Все мы помним из школы квадратные уравнения, которые решаются через дискриминант. Решение этой задачи относится к классу P (P olynomial time) - для нее существует быстрый (здесь и далее под словом «быстрый» подразумевается как выполняющийся за полиномиальное время) алгоритм решения, который и заучивается.

Также существуют NP -задачи (N on-deterministic P olynomial time) , найденное решение которых можно быстро проверить по определенному алгоритму. Для примера проверка методом перебора компьютером. Если вернуться к решению квадратного уравнения, то мы увидим, что в данном примере существующий алгоритм решения проверяется так же легко и быстро как и решается. Из этого напрашивается логичный вывод, что данная задача относится как к одному классу так и ко второму.

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

На просторах интернета также встретил такую интересную и прозрачную формулировку:

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

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

Данная проблема имеет большое значение для самых различных областей знаний, но решить ее не могут уже более 40 лет.

Гипотеза Ходжа

В реальности существуют множество как простых так и куда более сложных геометрических объектов. Очевидно, что чем сложнее объект тем более трудоемким становится его изучение. Сейчас учеными придуман и вовсю применяется подход, основная идея которого заключается в том, чтобы вместо самого изучаемого объекта использовать простые «кирпичики» с уже известными свойствами, которые склеиваются между собой и образуют его подобие, да-да, знакомый всем с детства конструктор. Зная свойства «кирпичиков», становится возможным подступиться и к свойствам самого объекта.

Гипотеза Ходжа в данном случае связана с некоторыми свойствами как «кирпичиков» так и объектов.

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

Всем нам еще со школы известны простые числа которые делятся только на себя и на единицу (2,3,5,7,11...) . С давних времен люди пытаются найти закономерность в их размещении, но удача до сих пор так никому и не улыбнулась. В результате ученые применили свои усилия к функции распределения простых чисел, которая показывает количество простых чисел меньше или равных определенного числа. Например для 4 - 2 простых числа, для 10 - уже 4 числа. Гипотеза Римана как раз устанавливает свойства данной функции распределения.

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

Теория Янга - Миллса

Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения, объединяющие теории электромагнитного, слабого и сильного взаимодействий. Одно время теория Янга-Миллса рассматривалась лишь как математический изыск, не имеющий отношения к реальности. Однако, позже теория начала получать экспериментальные подтверждения, но в общем виде она все еще остается не решенной.

На основе теории Янга-Миллса построена стандартная модель физики элементарных частиц в рамках которой был предсказан и не так давно обнаружен нашумевший бозон Хиггса.

Существование и гладкость решений уравнений Навье - Стокса

Течение жидкостей, воздушные потоки, турбулентность. Эти, а также множество других явлений описываются уравнениями, известными как уравнения Навье - Стокса . Для некоторых частных случаев уже найдены решения, в которых как правило части уравнений отбрасываются как не влияющие на конечный результат, но в общем виде решения этих уравнений неизвестны, и при этом даже неизвестно, как их решать.

Гипотеза Бёрча - Свиннертон-Дайера

Для уравнения x 2 + y 2 = z 2 в свое время еще Эвклид дал полное описание решений, но для более сложных уравнений поиск решений становится чрезвычайно трудным, достаточно вспомнить историю доказательства знаменитой теоремы Ферма, чтобы убедиться в этом.

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

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

Гипотеза Пуанкаре

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

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

Заключение

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

Но на самом деле это не так - математика создавалась как механизм с помощью которого можно описать наш мир, и в частности многие наблюдаемые вещи. Она повсюду, в каждом доме. Как сказал В.О. Ключевский: «Не цветы виноваты, что слепой их не видит».

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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