Гильберт. Основания математики | страница 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 века


18 ПРОБЛЕМ СМЕЙЛА И 7 ПРОБЛЕМ ТЫСЯЧЕЛЕТИЯ

В 1992 году Международный математический союз принял на себя инициативу связать лекцию Гильберта 1900 года с современным состоянием математики. Несмотря на огромные достижения математики XX века, дюжины примечательных проблем еще ждут своего решения. В 2000 году лауреат Филдсовской премии Стивен Смейл (р. 1930) составил список из 18 проблем, актуальных в XXI веке. Первые три — это гипотеза Римана, гипотеза Пуанкаре (знаменитый топологический вопрос, поставленный в 1904 году) и проблема Р = NP (любая ли проблема, решаемая в экспоненциальном неполиномиальном времени, имеет альтернативное решение в полиномиальном времени?). Одновременно институт Клея назначил семь премий в один миллион долларов для каждой из обозначенных проблем тысячелетия. Некоторые из них новые, другие — старые знакомые, уже более 100 лет ожидающие решения. Среди этих задач, естественно, три указанные выше проблемы, а также проблема существования решений уравнений Навье — Стокса (которые описывают движение флюидов). В 2002 году российский математик Григорий Перельман (р. 1966) доказал одну из них — гипотезу Пуанкаре.