Что человечество не может решить уже 120 лет
Почему математики до сих пор не решили эти 23 задачи (и ещё 7 за миллион долларов)
Август 1900 года, Париж. Немецкий профессор Давид Гильберт выходит на трибуну II Международного конгресса математиков. Он не просто читает доклад — он бросает вызов будущему. 23 проблемы, без решения которых математика не сможет двигаться дальше.
Прошло 124 года. Из них полностью решены 16. Ещё две признаны некорректными с точки зрения формулировки. Пять остаются открытыми — либо полностью, либо частично. И речь не про олимпиадные задачки. Это фундамент, на котором держится вся современная наука.
Коротко про статус: что решили, а что нет
Первая проблема — континуум-гипотеза (существует ли бесконечность между целыми и действительными числами). Пол Коэн в 1963 году доказал, что ответ зависит от аксиом. Формально — решено, но со вкусом «может быть да, может быть нет».
Вторая — непротиворечивость арифметики. Курт Гёдель в 1931 году показал: своими силами арифметику не проверить. Это ограничение — железобетонное.
Третья про тетраэдры равного объёма — решена Максом Деном в 1901 году. Четвёртую (прямая как кратчайшая) до сих пор считают слишком расплывчатой.
Пятая, шестая, седьмая, девятая, десятая, одиннадцатая, тринадцатая, четырнадцатая, семнадцатая, восемнадцатая, девятнадцатая, двадцатая, двадцать первая, двадцать вторая — в разной степени решены. Например, десятую (алгоритм для диофантовых уравнений) Юрий Матиясевич в 1970-м доказал как неразрешимую. Алгоритма нет — и быть не может.
А вот восьмая проблема — гипотеза Римана — до сих пор не доказана. Это та самая дзета-функция, нули которой лежат на критической линии. За её решение Clay Mathematics Institute обещает миллион долларов. Она же вошла в список «Задач тысячелетия» 2000 года.
Что не даёт покоя: пять открытых проблем Гильберта
- 8. Гипотеза Римана — не решена. Связана с распределением простых чисел, важна для криптографии.
- 12. Теорема Кронекера об абелевых полях — не доказана. Технический вопрос алгебраической теории чисел.
- 15. Исчислительная геометрия Шуберта — полного решения нет. Нужен строгий метод подсчёта геометрических конфигураций.
- 16. Топология кривых и поверхностей — ограниченное продвижение. Сколько компонент может быть у алгебраической кривой?
- 21. Дифференциальные уравнения с заданной монодромией — ответ зависит от интерпретации. До сих пор нет единого решения.
Личное наблюдение автора: когда я начал разбираться с этими проблемами, меня поразило, что гипотеза Римана фигурирует сразу в двух списках — и у Гильберта, и в задачах тысячелетия. Это как если бы одна и та же загадка висела над математиками больше века, а миллион долларов так и остаётся невостребованным. Многие думают, что раз Перельман доказал гипотезу Пуанкаре — всё решено. Нет, это была другая задача.
Семь задач за миллион долларов
В 2000 году Математический институт Клея выбрал семь самых головоломных проблем. Назначили премию — миллион за каждую. Вот они:
| Проблема | Суть | Статус |
|---|---|---|
| P vs NP (Кука) | Можно ли проверять решения так же быстро, как находить? | Не решена |
| Гипотеза Римана | Все ли нули дзета-функции на критической линии? | Не решена |
| Гипотеза Берча и Свиннертон-Дайера | Как решать эллиптические уравнения? | Не решена |
| Гипотеза Ходжа | Можно ли любую сложную форму собрать из «кирпичиков»? | Не решена |
| Уравнения Навье-Стокса | Существует ли гладкое решение в 3D? | Не решена |
| Уравнения Янга-Миллса | Есть ли нижний предел массы частиц? | Не решена |
| Гипотеза Пуанкаре | Единствен ли трёхмерный шар? | Решена Перельманом в 2003 |
Микро-инструкция: как понять, решена проблема или нет
Заходите на сайт Clay Mathematics Institute или в открытые базы математических препринтов (arXiv). Если есть ссылка на статью в рецензируемом журнале или препринт, принятый сообществом — проблема считается решённой. Но есть нюанс: некоторые решения признаны только частично. Например, 13-я проблема (уравнения 7-й степени) — решена в одной интерпретации, но не в другой. Проверяйте формулировку.
Резюме от автора: Математика — не мёртвая наука. Проблемы Гильберта и задачи тысячелетия — это не «школьные примеры». Они определяют границы нашего познания. Пока мы не докажем гипотезу Римана, не сможем точно предсказать распределение простых чисел. Пока не решим уравнения Навье-Стокса — не построим идеального крыла самолёта. Хотите прославиться? Возьмитесь за одну из открытых. Только без фанатизма — на решение уходят десятилетия.
