ПроблемаОписаниеСостояние
1Континуум - гипотезаКурт Гёдель (1938) и Пол Коэн (1963) доказали ее неразрешимость как истинную или ложную на основе стандартного набора аксиом теории множеств
2Непротиворечивость аксиом арифметикиКурт Гёдель (1931) доказал, что установление неп роти вореч и вости арифметики является формально неразрешимой проблемой
3Определение понятия объема без применения анализаОпровергнута Максом Деном (1902)
4Перечисление всех метрик, прямые линии которых являются геодезическимиПоложительно решена Алексеем Погореловым (1975)
5Дифференцируются ли непрерывные группы автоматически?Положительно решена Эндрю Глизоном (1952)
6Математическое изложение аксиом физикиЧастично решена:
— механика: Георг Гамель (1909);
— термодинамика: Константин Каратеодори (1909);
— специальная теория относительности: Альфред Робб (1914) и Константин Каратеодори (1923);
— квантовая механика: Джон фон Нейман (1932);
— теория вероятностей: Андрей Колмогоров (1933)
7Является ли ab трансцендентным, если a≠0,1 алгебраическое и b иррациональное алгебраическое?Решена независимо Александром Гельфондом и Теодором Шнайдером (1934)
8Гипотеза Римана и гипотеза ГольдбахаНе решена
9Доказательство наиболее общего закона взаимности в любом числовом полеРешена Эмилем Артином (1923)
10Найти универсальный алгоритм диофантовых уравненийОтрицательно решена Матиясевичем (1970)
ПроблемаОписаниеСостояние
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 века
Перейти на страницу:

Все книги серии Наука. Величайшие теории

Похожие книги