В течение тысячелетия математика сформулировала 7 величайших нерешенных проблем. 25 мая 2000 г. Институт математики Клея объявил о награде в $1 млн за решение каждой из этих главных математических проблем.
Их обзорный список (Михаил Витебский,
http://vip.lenta.ru/news/2004/09/12/poincare/):
1. Уравнение Навье-Стокса о турбулентных потоках, 1822 [гидроаэродинамика]. Решения этих уравнений неизвестны [эмпирические степенные функции-многочлены?], и при этом даже неизвестно, как их решать. Необходимо показать, что решение существует и является достаточно гладкой функцией. Это позволит существенно изменить способы проведения гидро- и аэродинамических расчетов. [Интегрирование криволинейных тензоров как матрицы роторов и дивергенций?].
2. Гипотеза Римана, 1859 [теория чисел]. Считается, что распределение простых чисел среди натуральных не подчиняется никакой закономерности. Однако немецкий математик Риман высказал предположение, касающееся свойств последовательности простых чисел. Если гипотеза Римана будет доказана, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.
3. Гипотеза Пуанкаре, 1904 [топология или геометрия многомерных пространств]: всякое односвязное замкнутое трехмерное многообразие гомеоморфно трехмерной сфере [т.е. 4-мерного тороида быть не может, а наша Вселенная - трехмерная сфера?].
4. Гипотеза Ходжа, 1941 [алгебра, топология?]. В ХХ веке математики открыли мощный метод исследования формы сложных объектов - использование вместо самого объекта простых "кирпичиков", которые склеиваются между собой и образуют его подобие [разве это не есть "кубические интегралы"?]. Гипотеза Ходжа связана с некоторыми предположениями относительно свойств таких "кирпичиков" и объектов.
5. Теория Янга-Миллса [связь геометрии с квантовой физикой], 1954. Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения. Тем самым они нашли путь к объединению теорий электромагнитного, слабого и сильного взаимодействий. Из уравнений Янга-Миллса следовало существование частиц, которые действительно наблюдались в лабораториях, поэтому теория Янга - Миллса принята большинством физиков несмотря на то, что в рамках этой теории до сих пор не удается предсказывать массы элементарных частиц.
6. Гипотеза Берча и Свиннертона-Дайера, 1960 [алгебра и теория чисел?]. Связана с описанием множества решений некоторых алгебраических уравнений от нескольких переменных с целыми коэффициентами. Примером подобного уравнения является выражение x2 + y2 = z2. [Гипотеза Пьера Ферма - частный случай гипотезы Берча и Свиннертона-Дайера? А нельзя ли ее также доказать с помощью модальных функций?]
7. Гипотеза Кука, 1971 [математическая логика и кибернетика?]: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки? Эта проблема - также одна из нерешенных задач логики и информатики. Ее решение революционно изменило бы основы криптографии.
Эти формулировки были по приведенной ссылке несколько ранее, в 2006 году. Сейчас там несколько другие пояснения.
1. Проблема Кука (сформулирована в 1971 году)
Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей. Это говорит о том, что решение какой-либо задачи часто занимает больше времени, чем проверка правильности решения.
Стивен Кук сформулировал проблему: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки. Эта проблема также является одной из нерешенных задач из области логики и информатики. Ее решение могло бы революционным образом изменить основы криптографии, используемой при передаче и хранении данных.
2. Гипотеза Римана (сформулирована в 1859 году)
Некоторые целые числа не могут быть выражены как произведение двух меньших целых чисел, например 2, 3, 5, 7 и так далее. Такие числа называются простыми и играют важную роль в чистой математике и ее приложениях. Распределение простых чисел среди ряда всех натуральных чисел не подчиняется никакой закономерности. Однако немецкий математик Риман высказал предположение, касающееся свойств последовательности простых чисел. Если гипотеза Римана будет доказана, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.
3. Гипотеза Берча и Свиннертон-Дайера (сформулирована в 1960 году)
Связана с описанием множества решений некоторых алгебраических уравнений от нескольких переменных с целыми коэффициентами. Примером подобного уравнения является выражение x2 + y2 = z2. Эвклид дал полное описание решений этого уравнения, но для более сложных уравнений поиск решений становится чрезвычайно трудным.
4. Гипотеза Ходжа (сформулирована в 1941 году)
В ХХ веке математики открыли мощный метод исследования формы сложных объектов. Основная идея заключается в том, чтобы использовать вместо самого объекта простые "кирпичики", которые склеиваются между собой и образуют его подобие. Гипотеза Ходжа связана с некоторыми предположениями относительно свойств таких "кирпичиков" и объектов.
5. Уравнения Навье - Стокса (сформулированы в 1822 году)
Если плыть в лодке по озеру, то возникнут волны, а если лететь в самолете, в воздухе возникнут турбулентные потоки. Предполагается, что эти и другие явления описываются уравнениями, известными как уравнения Навье - Стокса. Решения этих уравнений неизвестны, и при этом даже неизвестно, как их решать. Необходимо показать, что решение существует и является достаточно гладкой функцией. Решение этой проблемы позволит существенно изменить способы проведения гидро- и аэродинамических расчетов.
6. Проблема Пуанкаре (сформулирована в 1904 году)
Если натянуть резиновую ленту на яблоко, то можно, медленно перемещая ленту без отрыва от поверхности, сжать ее до точки. С другой стороны, если ту же самую резиновую ленту соответствующим образом натянуть вокруг бублика, то никаким способом невозможно сжать ленту в точку, не разрывая ленту или не ломая бублик. Говорят, что поверхность яблока односвязна, а поверхность бублика - нет. Доказать, что односвязна только сфера, оказалось настолько трудно, что математики ищут правильный ответ до сих пор.
7. Уравнения Янга - Миллса (сформулированы в 1954 году)
Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения. Тем самым они нашли путь к объединению теорий электромагнитного, слабого и сильного взаимодействий. Из уравнений Янга - Миллса следовало существование частиц, которые действительно наблюдались в лабораториях во всем мире, поэтому теория Янга - Миллса принята большинством физиков несмотря на то, что в рамках этой теории до сих пор не удается предсказывать массы элементарных частиц.
http://lenta.ru/articles/2004/09/12/poincare/ Сайт Института Клея
http://www.claymath.org/
- участник сейчас на форуме
- участник вне форума