Гильберт. Основания математики | страница 31
Проблема | Описание | Состояние |
11 | Решение квадратичных форм с алгебраическими числовыми коэффициентами | Частично решена Хельмутом Хассе (1923) и Карлом Зигелем (1930) |
12 | Распространение теоремы Кронекера | Не решена |
13 | Решение общего уравнения седьмой степени с помощью функций, зависящих только от двух переменных | Отрицательно решена Арнольдом и Колмогоровым (1957) |
14 | Доказательство конечности некоторых полных систем функций | Отрицательно решена через контрпример Масаеси Нагатой (1959) |
15 | Строгое обоснование исчислительной геометрии Шуберта | Отрицательно решена Бартелем ван дер Варденом (1930) |
16 | Топология алгебраических кривых и поверхностей | Не решена |
17 | Представление определенных форм в виде квадратов | Решена положительно Эмилем Артином (1927) и Георгом Крайзелем (1957) |
18 | Гипотеза Кеплера | Решена Томасом Хейлсом (2005) |
19 | Всегда ли решения регулярных задач вариационного исчисления аналитические? | Утвердительно решена Сергеем Бернштейном (1904) |
20 | Всели задачи вариационного исчисления с определенными граничными условиями имеют решение? | Решена в течение XX века |
21 | Доказательство существования линейных дифференциальных уравнений с заданной группой монодромии | Отрицательно решена Дмитрием Аносовым и Андреем Болибрухом (1989) |
22 | Униформизация аналитических зависимостей с помощью автоморфных функций | Решена независимо Паулем Кёбе и Анри Пуанкаре (1907) |
23 | Развитие методов вариационного исчисления | Решена в течение XX века |
В 1992 году Международный математический союз принял на себя инициативу связать лекцию Гильберта 1900 года с современным состоянием математики. Несмотря на огромные достижения математики XX века, дюжины примечательных проблем еще ждут своего решения. В 2000 году лауреат Филдсовской премии Стивен Смейл (р. 1930) составил список из 18 проблем, актуальных в XXI веке. Первые три — это гипотеза Римана, гипотеза Пуанкаре (знаменитый топологический вопрос, поставленный в 1904 году) и проблема Р = NP (любая ли проблема, решаемая в экспоненциальном неполиномиальном времени, имеет альтернативное решение в полиномиальном времени?). Одновременно институт Клея назначил семь премий в один миллион долларов для каждой из обозначенных проблем тысячелетия. Некоторые из них новые, другие — старые знакомые, уже более 100 лет ожидающие решения. Среди этих задач, естественно, три указанные выше проблемы, а также проблема существования решений уравнений Навье — Стокса (которые описывают движение флюидов). В 2002 году российский математик Григорий Перельман (р. 1966) доказал одну из них — гипотезу Пуанкаре.