Открытые математические проблемы: различия между версиями

Интерактивная навигация по истории

(Показать все непатрулированные изменения)

[отпатрулированная версия]

[непроверенная версия]

← Предыдущая правка Следующая правка →

Содержимое удалено Содержимое добавлено

ВизуальныйВики-текст

Линейный

Версия от 21:36, 24 марта 2018

Откры́тые (нерешённые) математи́ческие пробле́мы — задачи, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве.

В научном мире популярна практика составления известными учёными или организациями списков открытых проблем, актуальных на текущий момент. В частности, известными списками математических проблем являются:

Со временем опубликованные проблемы из такого списка могут быть решены и, таким образом, потерять статус открытых. Например, большая часть проблем Гильберта, представленных им в 1900 году, на данный момент так или иначе решены.

Теория чисел

Проблема Гольдбаха. Каждое ли чётное число, большее 2, можно представить в виде суммы двух простых чисел?^[1]
Проблема Варинга. Функция Харди $G(n)$ — наименьшее $k$ такое, что уравнение $x_{1}^{n}+x_{2}^{n}+\dots +x_{k}^{n}=N$ разрешимо при $N\geqslant N_{0}(n)$ . Значения этой функции известны только для $n$ равных 2 и 4.
Бесконечно ли множество простых чисел-близнецов?
Гипотеза Била. Верно ли, что если $A^{x}+B^{y}=C^{z},$ где $A,\;B,\;C,\;x,\;y,\;z$ — натуральные и $x,\;y,\;z>2$ , то $A,\;B,\;C$ имеют общий простой делитель?
Гипотеза Коллатца (гипотеза $3n+1$ ).
Гипотеза Эрдёша. Верно ли, что если сумма обратных величин для некоторого множества натуральных чисел расходится, то в этом множестве можно найти сколь угодно длинные арифметические прогрессии?
шаблон не поддерживает такой синтаксис. При каком наименьшем $N$ при любом разбиении множества $\{1,\;2,\;\ldots ,\;N\}$ на два подмножества хотя бы одно из них будет содержать арифметическую прогрессию длиной 7?^[2]
Существует ли параллелепипед Эйлера (параллелепипед со всеми целочисленными рёбрами и лицевыми диагоналями), главная диагональ которого также имеет целую длину?^[3]
Каково наибольшее количество последовательных натуральных чисел, у каждого из которых число делителей равно степени простого числа с натуральным показателем?

Геометрия

В задаче о перемещении дивана не доказана максимальность наилучшей оценки снизу (константы Гервера).
На любой ли замкнутой кривой Жордана на плоскости можно найти 4 точки, являющиеся вершинами некоторого квадрата?^[4]^[5]
Существует ли такая константа $A$ , что любое множество точек на плоскости, имеющее площадь $A$ , обязательно содержит вершины хотя бы одного треугольника площадью 1?^[6]
Существует ли плотное множество точек на плоскости, расстояние между каждыми двумя точками которого рационально?^[7]
Существует ли треугольник с целочисленными сторонами, медианами и площадью?^[8]^[9]
Найдётся ли в единичном квадрате точка, расстояние от которой до каждой из 4 вершин рационально?^[9]^[10]
Задача о 9 кругах. Существует ли 9 кругов, таких, что каждые два пересекаются, и центр каждого круга лежит вне остальных кругов? (Время выполнения проверочного алгоритма — слишком большое).
У любого ли выпуклого многогранника существует развёртка без самопересечений?^[11]
Даны положительные действительные числа $S_{0},\;\ldots ,\;S_{n}$ . Какой наибольший и наименьший объём может иметь многогранник, площади граней которого равны этим числам?^{[источник не указан 2273 дня]}
Во сколько раз объём невыпуклого многогранника может превосходить объём выпуклого многогранника, составленного из тех же граней?^[12]
При каком минимальном $V$ любое выпуклое тело единичного объёма можно поместить внутри какой-либо треугольной пирамиды объёма $V?$ ^[13]
Чему равно хроматическое число $n$ -мерного евклидового пространства? Эта задача не решена даже для плоскости. Другими словами, неизвестно, какое минимальное количество цветов нужно, чтобы ими можно было раскрасить плоскость так, чтобы никакие две точки, находящиеся на единичном расстоянии друг от друга, не были выкрашены в один и тот же цвет (Проблема Нелсона — Эрдёша — Хадвигера).
Задача Томсона. Как разместить $n$ одинаковых заряженных точек на сфере, чтобы потенциальная энергия системы (то есть сумма попарных обратных расстояний между точками) была минимальна (задача строго решена только для $n=2,\;3,\;4,\;6,\;12$ )^[14]. Сколько состояний равновесия (локальных экстремумов) существует для системы из $n$ точек?
Как разместить $n$ точек на сфере, чтобы наименьшее из попарных расстояний между ними было максимальным?^[15]
Для каждой пары натуральных чисел $(n,\;k)$ найти такое наименьшее действительное число $d(n,\;k)$ , что любое множество единичного диаметра в $n$ -мерном евклидовом пространстве можно разбить на $k$ подмножеств диаметром не больше $d(n,\;k)$ . Задача решена только в нескольких частных случаях^[16]^[17].
Чему равна площадь множества Мандельброта, и где на оси абсцисс расположен его центр масс? Существует оценка 1,506 591 77 ± 0,000 000 08^[18].
Задача со счастливым концом. При каком минимальном $m$ среди любых $m$ точек на плоскости, никакие 3 из которых не лежат на одной прямой, найдутся вершины некоторого выпуклого $n$ -угольника, и верно ли, что $m=1+2^{n-2}$ ? Решение известно только для $n<7$ . Результат для $n=6$ (который оказался равен 17) получен в 2006 году с помощью компьютерного анализа.
Какое наименьшее количество плиток может содержать множество плиток Вана, которым можно замостить плоскость только непериодически? Наименьший известный результат — 11^[19].
В любой ли многоугольной комнате с зеркальными стенами существует точка, при размещении в которой источника света вся комната окажется освещённой?^[20]
Можно ли разместить 8 точек на плоскости так, чтобы никакие 3 из них не лежали на одной прямой, никакие 4 не лежали на одной окружности и расстояние между любыми 2 точками было целым числом? Решение для 7 точек было найдено в 2007 году^[21]^[22]^[23].
Каков наибольший возможный объём выпуклой оболочки пространственной кривой длины 1?^{[источник не указан 2273 дня]}
Гипотеза Боннесена — Фенхеля. Какое трёхмерное тело постоянной ширины имеет наименьший объём?^[24]^[25]^[26]

Задачи упаковки

Какое наибольшее количество непересекающихся окружностей единичного радиуса можно разместить на сфере радиуса $R$ ?^[27]
Чему равна сторона наименьшего квадрата, в который можно упаковать 2 единичных круга, один из которых разрешается разрезать по хорде на 2 сегмента?^[28]
Какова наименее плотная жёсткая упаковка одинаковых кругов на плоскости?^[28]

Многомерные пространства

Чему равно контактное число в евклидовых пространствах с размерностью $n>4$ ? Эта задача решена лишь для $n=8$ (240) и $n=24$ (196 560)^[29]^[30].
Задача плотнейшей упаковки шаров в $n$ -мерном евклидовом пространстве для $n>3$ . Для трёхмерного пространства эта задача была решена в 1998 году: было доказано, что гипотеза Кеплера справедлива. Однако, существующее доказательство чрезвычайно велико и сложно для проверки^[31]. Доказано также, что для $n=8$ и $n=24$ решётки кроме контактного числа реализуют также и плотнейшую упаковку шаров.
Гипотеза Келлера. Можно ли заполнить 7-мерное пространство равными 7-мерными гиперкубами так, чтобы никакие два гиперкуба не имели целой общей 6-мерной гиперграни? (Известно, что для пространств размерности меньше 7 ответ отрицателен, а больше 7 — положителен)^[32]^[33]

Механика

Для каждого ли движения четырёх точек в пространстве можно выбрать такую (возможно, неинерциальную) систему отсчёта, чтобы в ней траектории всех четырёх точек оказались плоскими выпуклыми кривыми?^[7]
Верно ли, что при достаточно большом количестве движущихся точек с зацепленными траекториями (траектории называются зацепленными, если не существует гомеоморфизма пространства, при котором они попадут внутрь непересекающихся выпуклых множеств) в любой системе отсчёта траектории хотя бы двух точек окажутся зацепленными?

Алгебра

Обратная теорема теории Галуа. Для любой конечной группы $H$ существует поле алгебраических чисел $\mathbf {F}$ , такое что $\mathbf {F}$ является расширением поля рациональных чисел $\mathbb {Q}$ и $\mathrm {Gal} (\mathbf {F} /\mathbb {Q} )$ изоморфна $H$ .^{[источник не указан 4135 дней]}
Любая конечно заданная группа, каждый элемент которой имеет конечный порядок, — конечна. Для конечнопорождённой группы (более слабое условие) это неверно^[34].
Существует ли простая группа, которая не является трансфинитно сверхпростой?^[35]
Является ли кольцо периодов полем?
Проблема О. Ю. Шмидта Существуют ли не квазициклические группы, все собственные подгруппы (подгруппы, отличные от единичной и всей группы) которых конечны?^[36]
Проблема Л. С. Понтрягина Пусть $G$ — эффективная транзитивная бикомпактная группа преобразований пространства $\Gamma$ , гомеоморфного $n$ — мерной сфере. Существует ли такое гомеоморфное отображение пространства $\Gamma$ на единичную сферу $S^{n}$ евклидова $(n+1)$ — мерного пространства, при котором группа $G$ переходит в некоторую группу движений сферы $S^{n}$ ?^[37].
Алгебраические системы Существуют ли и каким условиям удовлетворяют в случае существования нетривиальные многообразия группоидов, колец и решёток, достижимых на классах всех группоидов, всех колец или решёток?^[38].
Алгебраические системы Существуют ли и каким условиям удовлетворяют в случае существования нетривиальные многообразия и квазимногообразия полугрупп c несколькими выделенными элементами, колец и решёток, достижимых на классе всех таких полугрупп^[38].
Существуют ли во множестве групп операции, отличные от операций прямого и свободного умножения и обладающие их основными свойствами?^[39]
Будет ли множество всех неизоморфных абелевых групп данной мощности $M$ иметь мощность ${2}^{M}$ ?^[40]
Проблема А. И. Мальцева Существует ли такая счётная группа, что всякая счётная группа изоморфна одной из её подгрупп?^[41]
Проблема отыскания всех гиперкомплексных систем с делением не решена до конца^[42].
Несколько десятков нерешённых алгебраических задач есть в книге^[43].
Отсутствует полное описание множества общезначимых формул на алгебраических системах. Неизвестно, замкнуто ли множество $S$ относительно дополнения в множестве $\omega$ ^[44]

Коуровская тетрадь

Представляет собой всемирно известный сборник нескольких тысяч нерешённых задач в области теории групп. Издаётся с 1965 года с периодичностью в 2—4 года. Выпускается на русском и английском языках^[45]^[46].

Днестровская тетрадь

Представляет собой сборник нескольких сотен нерешённых задач теории колец и модулей^[47].

Свердловская тетрадь

Представляет собой сборник нерешённых задач теории полугрупп^[48].

Анализ

Гипотеза Римана. Все ли нетривиальные нули дзета-функции лежат на прямой $\mathrm {Re} (z)=1/2$ ?^[49]
Чему равна постоянная Миллса? Существующие методы вычисления опираются на ещё недоказанную гипотезу Римана.
До сих пор ничего не известно о нормальности таких чисел, как $\pi$ и $e$ ; неизвестно даже, какие из цифр 0—9 встречаются в десятичном представлении числа $\pi$ бесконечное количество раз.
Является ли всякое иррациональное алгебраическое число нормальным?^[50]
Является ли $\ln 2$ нормальным числом?^[51]
Неизвестно ни одного числа, для которого было бы доказано, что среднее геометрическое членов его разложения в непрерывную дробь стремится к постоянной Хинчина, хотя и доказано, что этим свойством обладают почти все действительные числа. Предполагается, что этим свойством должны обладать числа $\pi$ , Постоянная Эйлера — Маскерони, сама постоянная Хинчина и многие другие математические константы.
Сходятся ли ряды $\sum _{n=1}^{\infty }{\frac {1}{n^{3}\sin ^{2}n}}$ и $\sum _{n=1}^{\infty }{\frac {1}{n^{3}\cos ^{2}n}}?$ ^[52] Оба ряда имеют спорадически большие значения в числителях, но первый ряд гипотетически сходится около 30.31, а второй — около 43.

Вопросы иррациональности

Неизвестна мера иррациональности ни для одного из следующих чисел: постоянная Эйлера — Маскерони, постоянная Каталана, постоянная Бруна, постоянная Миллса, постоянная Хинчина, числа $\pi +e,\pi -e,\pi \cdot e,{\frac {\pi }{e}},\pi ^{e},\pi ^{\sqrt {2}},\ln \pi ,\pi ^{\pi },e^{\pi ^{2}},2^{e},e^{e},e^{e^{e}}.$ Ни для одного из них не известно даже, является ли оно рациональным числом, алгебраическим иррациональным или трансцендентным числом^[53]^[54]^[55]^[56]^[57]^[58]^[59].
Неизвестно, являются ли $\pi$ и $e$ алгебраически независимыми.
Неизвестно, являются ли ${^{n}\pi }$ или ${^{n}e}$ целыми числами при каком-либо положительном целом $n$ (см. тетрация). Неизвестно даже, является ли ${^{4}\pi }=\pi ^{\pi ^{\pi ^{\pi }}}$ целым.
Неизвестно, может ли ${^{n}q}$ быть целым, если $n$ — положительное целое число, а $q$ — положительное рациональное, но не целое число (в частных случаях $n=1,\,2,\,3$ ответ отрицателен)^[60].
Неизвестно, является ли положительный корень уравнения ${^{3}x}=2,\,x=1{,}476\;684\;33\dots$ алгебраическим или трансцендентным числом (хотя известно, что он иррационален).
Неизвестно, является ли положительный корень уравнения ${^{4}x}=2,\,x=1{,}446\;601\;43\dots$ рациональным, алгебраическим иррациональным или трансцендентным числом. Аналогичная проблема для тетрации любой большей высоты из любого числа, большего 1, также открыта.
Неизвестна точная мера иррациональности для каждого из следующих иррациональных чисел: $\pi ,\pi ^{2},\ln 2,\ln 3,\zeta (3)$ ^[61].
Неизвестно, является ли первое число Скьюза $e^{e^{e^{79}}}$ целым числом.
Трансцендентны ли значения дзета-функции Римана $\zeta (2n+1)$ для всех натуральных $n$ ?
Трансцендентны ли значения гамма-функции $\Gamma (1/n)$ для всех целых $n>1$ ? Известно, что Γ(1/2), Γ(1/3),^[62] Γ(1/4),^[63] и Γ(1/6) трансцендентны.^[63]
Трансцендентны ли постоянные Фейгенбаума?
Трансцендентна ли постоянная Пелля?^[64]
Всякая ли бесконечная непериодическая непрерывная дробь с ограниченными членами — трансцендентна?
Существуют ли Т-числа по классификации К. Малера?^[65]^[66]
Список из нескольких нерешенных задач, связанных с гипотезой Малера, есть в книге^[67].

Комбинаторика

Существование матрицы Адамара порядка, кратного 4.
Существование конечной проективной плоскости натурального порядка, не являющегося степенью простого числа.
Гипотеза Эрдёша — Реньи. Если $k$ — фиксированное целое число $k\geqslant 3$ , то $\liminf(\mathrm {per} \,(A))^{\frac {1}{n}}>{1}$ для $A$ из $\Lambda _{n}^{k}$ . Здесь $\mathrm {per} \,(A)$ — перманент матрицы $A$ , $\Lambda _{n}^{k}$ — множество всех $(0,\;1)$ — матриц порядка $n$ c $k$ единицами в каждой строке и каждом столбце^[68].
Числа Рамсея $N(q_{1},q_{2},...,q_{t};r)$ для случая $t>2$ почти неизучены^[69].
Задача нахождения минимума перманента дважды стохастической матрицы в общем случае не решена^[70].

Комбинаторная геометрия

Гипотеза Хадвигера (комбинаторная геометрия) — всякое ли выпуклое тело в $n$ -мерном евклидовом пространстве может быть покрыто $2^{n}$ меньшими гомотетичными ему телами?^[71]
Список из $17$ нерешённых проблем комбинаторной геометрии есть в книге^[72].
Несколько десятков нерешённых задач комбинаторной геометрии есть в книге^[73].

Теория графов

Гипотеза Каццетты — Хаггвиста — ориентированный граф, имеющий $n$ вершин, из каждой вершины которого выходит не менее $m$ рёбер, имеет замкнутый контур длиной не более $\left\lceil {\frac {n}{m}}\right\rceil$ ^[74].
Гипотеза Хадвигера (теория графов) — каждый $n$ -хроматический граф стягиваем к полному графу $K_{n}$ ^[75].
Гипотеза Улама:^[76]
- а) всякий граф с более чем двумя вершинами однозначно определяется набором графов, где каждый граф из набора получен удалением одной из вершин исходного графа;
- б) всякий граф с более чем тремя вершинами однозначно определяется множеством графов, где каждый граф из множества получен удалением одной из вершин исходного графа.
Гипотеза Харари (слабая форма гипотезы Улама) — если граф имеет более трёх рёбер, то его можно однозначно восстановить по подграфам, полученным удалением единственного ребра^[76].
В любом графе, не содержащем мостов (рёбер, удаление которых увеличивает число компонент связности графа), можно выбрать множество простых циклов, такое, что каждое ребро принадлежит ровно двум из них.
В любом кубическом графе можно выбрать 6 1-факторов так, чтобы каждое ребро принадлежало ровно двум из них.
Гипотеза Рамачандрана — любой орграф $N$ -реконструируем^[77].
Гипотеза о восстановлении — если заданы классы изоморфизма всех $k$ примарных подграфов некоторого графа, то при $k\geqslant 3$ класс изоморфизма этого графа определяется однозначно^[78].
Гипотеза Конвея о трекле — в любом трекле (сеть, в котором каждые два ребра имеют общую точку) число линий меньше или равно числу точек^[79].
Гипотеза Рингеля — Коцига — все деревья являются грациозными.
Гипотеза о двойном покрытии циклами — для любого графа без мостов существует мультимножество простых циклов, покрывающих каждое ребро графа в точности два раза.

Теория узлов

Существует ли нетривиальный узел, полином Джонса которого является таким же, как и у тривиального узла?
Чему равно количество простых узлов с $n$ двойными точками для $n>16$ ? Является ли эта последовательность строго возрастающей?^[80] Значения для $n<17$ даёт последовательность A002863 в OEIS.

Теория алгоритмов

Вопросы алгоритмической разрешимости

Аналог 10-й проблемы Гильберта для уравнений степени 3: существует ли алгоритм, позволяющий по любому диофантовому уравнению степени 3 определить, имеет ли оно решения?
Аналог 10-й проблемы Гильберта для уравнений в рациональных числах. Как узнать по произвольному диофантову уравнению, разрешимо ли оно в рациональных (не обязательно целых) числах и можно ли это узнать вообще (то есть возможен ли соответствующий алгоритм)?^[81]^[82]^[83]
Алгоритмическая разрешимость проблемы умирающей матрицы для матриц порядка 2. Существует ли алгоритм, позволяющий для данного конечного множества квадратных матриц $2\times 2$ определить, существует ли произведение всех или некоторых из этих матриц (возможно, с повторениями) в каком-либо порядке, дающее нулевую матрицу^[84].
Расширение класса выражений, для которых известен алгоритм, определяющий, равно ли выражение нулю (шаблон не поддерживает такой синтаксис). Для каких классов выражений эта задача алгоритмически неразрешима?
Существует ли алгоритм, позволяющий узнать по целочисленной матрице, существует ли её степень, имеющая нуль в правом верхнем углу?^[83]
Вопрос равенства двух элементов кольца периодов. Существует ли алгоритм, позволяющий по двум заданным полиномиальным системам неравенств на конечное число переменных с рациональными коэффициентами определить, одинаковую ли площадь имеют ограниченные ими области в ${\mathbb {R} }^{n}$ ?

Теория сложности вычислений

P = NP?
VP = VNP?^[85]
Является ли задача изоморфизма графов $NP$ -полной?^[86]
Принадлежит ли задача нахождения простого множителя натурального числа к классу P?
Принадлежит ли задача распознавания тривиального узла к классу P?
Определить точную нижнюю границу сложности алгоритма умножения целых чисел. Из известных алгоритмов наименьшую сложность имеет алгоритм Мартина Фюрера, выполняющийся за $n\log n\,2^{O(\log ^{*}n)}$ , где $\log ^{*}$ — итерированный логарифм.
Определить точную нижнюю границу сложности алгоритма умножения матриц. Из известных алгоритмов наименьшую сложность имеет алгоритм Копперсмита — Винограда, работающий за $O(n^{2{,}3728639}).$ ^[87]

Но показатель должен быть не менее 2 (потому что матрица размером  $n\times n$  имеет  $n^{2}$  значений внутри, и все они должны быть прочитаны по меньшей мере один раз, чтобы высчитать точный результат).

Неизвестны нетривиальные нижние и верхние оценки алгебраической сложности частичных сумм разложения функций в ряд $e^{x}=1+x+{\frac {x^{2}}{2}}+\ldots +{\frac {x^{n}}{n!}}$ и $\ln(1-x)=-x-{\frac {x^{2}}{2}}-\ldots -{\frac {x^{n}}{n}}$ ^[88]
Можно ли доказать нижнюю оценку алгебраической сложности для какого-нибудь конкретного бесконечного полинома?^[88]

Другие проблемы теории алгоритмов

шаблон не поддерживает такой синтаксис^[89]. Сколько ходов может продержаться (незацикливающаяся) машина Тьюринга с $n$ состояниями и алфавитом $\{0,\;1\}$ на заполненной нулями ленте? Сколько ненулевых символов она напечатает? Известно, что нет алгоритма (а значит, и рекурсивно аксиоматизируемой формальной теории), который может решить этот вопрос для всех $n$ , что обе функции растут быстрее любой вычислимой функции, и пока известны только значения для $n<5$ ^[90].
Существует ли алгоритм, распознающий для любых двух трёхмерных многообразий, заданных своими триангуляциями, гомеоморфны ли они?^[83]
Существует ли алгоритм, распознающий по произвольной позиции игры «Жизнь», «вымрет» ли она (станут ли в итоге все клетки пустыми)?^[83]
Существует ли теорема о полноте для решётки Мучника?^[83]
Существует ли алгоритм, определяющий разрешимость и арифметичность множества реализуемых и множества неопровержимых пропозициональных формул?^[83]
Существуют ли в обычных алгебраических системах алгебраически корректные массовые проблемы различной сложности?^[83]
Существует ли алгебраическая система, для которой равномерная эквивалентность отличается от программной или программная от проблемной?^[83]
Восемь нерешенных задач теории алгоритмов сформулировано в книге^[91].

Аксиоматическая теория множеств

В настоящее время наиболее распространённой аксиоматической теорией множеств является ZFC — теория Цермело — Френкеля с аксиомой выбора. Вопрос о непротиворечивости этой теории (а тем более — о существовании модели для неё) остаётся нерешённым.
Проблема Скулема. Рассмотрим множество $S$ функций одного натурального переменного $n$ , построенных из термов $1,n$ и замкнутых относительно сложения, умножения и возведения в степень. Для функций $f,\;g$ из этого множества будем писать $f\preccurlyeq g$ , если $f(n)\leqslant g(n)$ выполняется для всех достаточно больших $n$ . Известно, что отношение $\preccurlyeq$ вполне упорядочивает множество $S$ . Какой ординал соответствует этому упорядочению? (Известно, что он не меньше чем $\varepsilon _{0}$ и не больше чем первый критический ординал $\tau _{0}=\varepsilon _{\varepsilon _{\varepsilon _{\cdot _{\cdot _{\cdot }}}}}$ )^[92]^[93] Аналогичные вопросы возникают при добавлении в множество разрешённых операторов дополненная тетрации, пентации и гипероператоров более высоких порядков (проблема Скулема, дополненная только тетрацией, была решена в 2010 году)^[94]^[95].
Существует ли линейно упорядоченное множество с шаблон не поддерживает такой синтаксис $\alpha$ , удовлетворяющим условиям $\alpha \neq \alpha ^{2}$ и $\alpha =\alpha ^{3}$ ?^[96]
В теории множеств Цермело — Френкеля без аксиомы выбора неизвестно, существуют ли регулярные кардиналы $\aleph _{\alpha }$ , большие $\aleph _{0}$ ^[97].
Проблема сингулярных кардиналов. Для каких функций $G(k)$ существует модель Цермело — Френкеля, в которой $k^{cf(k)}=G(k)$ для всех кардиналов $k$ ^[98].
Верно ли, что если непротиворечива система аксиом Цермело — Френкеля вместе с аксиомой выбора, то непротиворечива система аксиом Цермело — Френкеля, принцип зависимого выбора и каждое множество действительных чисел есть измеримое по Лебегу множество?^[99]
Не приведёт ли к противоречию предположение существования таких кардинальных чисел ${\mathfrak {m}}>\aleph _{0}$ , что декартово произведение m-компактных пространств всегда m-компактно. Неизвестно также, совпадало бы наименьшее из этих чисел с наименьшим измеримым числом или нет^[100].
По проблеме континуума известны лишь теорема Гёделя (континуум-гипотеза не может быть опровергнута на основе аксиом арифметики и теории множеств) и теорема Коэна (континуум-гипотеза не может быть доказана на основе аксиом арифметики и теории множеств). Законченная теория по проблеме континуума отсутствует.^[101]
Проблема континуума разрешима в языке второго порядка теории множеств, но её решение там неизвестно.^[101]
Неизвестно доказательство непротиворечивости евклидовой геометрии^[102]
Неизвестно доказательство непротиворечивости системы действительных чисел^[103]
Существуют ли измеримые кардинальные числа?^[104]

Теория доказательств

Какое самое короткое неразрешимое утверждение существует в арифметике Пеано?^[105] Неразрешимое утверждение теории — это утверждение, которое невозможно ни доказать, ни опровергнуть в данной теории. Доказательства теорем Гёделя демонстрируют, как можно строить такие утверждения, но получающиеся утверждения оказываются весьма значительного размера, будучи записанными на формальном языке арифметики.
Формулировки шести нерешённых задач теории доказательств есть в книге^[106]

Вычислительная математика

Определить предельный уровень аппроксимации $n$ -стадийного метода Рунге — Кутты (одностадийный = метод Эйлера = $O(h)$ , двухстадийный = модифицированный метод Эйлера = $O(h^{2})$ , четырёхстадийный = классический метод Рунге — Кутты = $O(h^{4})$ , пятистадийный = шаблон не поддерживает такой синтаксис = тоже $O(h^{4})$ ).

Дифференциальные уравнения

Неизвестно точное решение уравнения ван дер Поля (оно же осциллятор ван дер Поля):^[107]^[108]

{\ddot {x}}-\lambda (1-x^{2}){\dot {x}}+\omega ^{2}x=0

Неизвестно точное решение уравнения Дуффинга ^[109]

{\ddot {x}}+\omega ^{2}x=-\mu x^{3}

Неизвестно точное решение уравнения Матьё ^[110]

{\ddot {x}}+\omega ^{2}x=-\mu x\cos 2t

Гипотеза Абловица — Рамани — Сегура. Все обыкновенные дифференциальные уравнения, полученные из полностью интегрируемых дифференциальных уравнений в частных производных, обладают свойством Пенлеве (положение любой алгебраической, логарифмической или существенной особенности решений уравнения не зависит от начальных условий, от произвольных констант интегрирования зависит только положение полюсов)^[111].
Имеет ли гамильтонова система, интегрируемая по Лиувиллю, эквивалентную формулировку с помощью лаксовой пары, и если имеет, то как её построить?^[112]
Отсутствует общая теория дифференциальных уравнений в частных производных смешанного типа ^[113].

Теория вероятностей

Неизвестны необходимые и достаточные условия принадлежности безгранично делимого закона распределения случайной величины в одномерном и многомерном случаях к классу законов, не имеющих неразложимых компонент^[114].
Неизвестна точная аналитическая формула для вероятностного распределения площадей фигур, определяемых случайными прямыми на плоскости^[115].

Уравнения математической физики

Отсутствует строгое математическое обоснование метода континуального интегрирования в квантовой теории поля^[116]^[117].
Континуальные интегралы удаётся вычислить только для случая гауссовых квадратур. В общем случае способ вычисления континуальных интегралов неизвестен^[118]^[117].
Неизвестно точное решение уравнения Шрёдингера для многоэлектронных атомов^[119].
В квантовой механике при решении задачи о рассеянии двух пучков на одном препятствии сечение рассеяния получается бесконечно большим^[120]
Уравнения Навье — Стокса. Существует ли гладкое решение уравнения Навье-Стокса в трёхмерном случае, начиная с заданного момента времени?^[121]
Уравнение Эйлера. Существует ли гладкое решение уравнения Эйлера в трёхмерном случае, начиная с заданного момента времени?^[122]
В гидродинамике есть сотни нерешённых задач^[123].
Отсутствует законченная теория, объясняющая происхождение и эволюцию магнитного поля Земли^[124].
Гипотеза Йоргенса Пусть $M\subset R^{n}$ — открытое множество, дополнение которого имеет меру нуль. Пусть $V$ и $W$ непрерывны на $M$ и оператор Шрёдингера $-\Delta +V$ ограничен снизу и самосопряжён в существенном на $C_{0}^{\infty }(M)$ . Если $W\geqslant V$ , то $-\Delta +W$ также самосопряжён в существенном на $C_{0}^{\infty }(M)$ ^[125]^[126].
Можно ли обобщить систему аксиом Хаага — Кастлера путём использования вместо принципа инвариантности относительно группы Пуанкаре принципа общей ковариантности?^[117]
Квантование полей Янга — Миллса^[127].
Неизвестна точная формула для вычисления постоянной Маделунга^[128].
Неизвестно точное решение задачи Изинга в трёхмерном случае^[129].
Неизвестны точные формулы для силы отталкивания между остатками атомов в ионном кристалле^[130].
Неизвестно доказательство принципа космической цензуры, а также точная формулировка условий, при которых он выполняется^[131].
Отсутствует полная и законченная теория магнитосферы чёрных дыр^[132].
Неизвестна точная формула для вычисления числа различных состояний системы, коллапс которой приводит к возникновению чёрной дыры с заданными массой, моментом количества движения и зарядом^[133].
Неизвестно доказательство в общем случае «теоремы об отсутствии волос» у чёрной дыры^[134].
Отсутствует общая теория корректных краевых условий для обобщённых дифференциальных операторов с переменными коэффициентами^[135].
Неизвестно общее доказательство, что ряд теории возмущений для электронов в зоне проводимости металлов сходится^[136].
Не удаётся удовлетворительно рассчитать эффективную массу электронов при движении в магнитном поле в металлах по Ферми-поверхности^[137] и для электронное теплоёмкости^[138].
Неизвестен метод расчёта структурных факторов для жидких металлов^[139].
Существуют ли дифференциальные уравнения в частных производных, отличные от обычного волнового уравнения, но решения которых удовлетворяют принципу Гюйгенса?^[140]
Основная проблема аксиоматической квантовой теории поля. Неизвестна теория, удовлетворяющая всем аксиомам аксиоматической квантовой теории поля и описывающая взаимодействующие поля и нетривиальную матрицу рассеяния^[141].
Неизвестно описание класса обобщённых функций $F_{4}$ , удовлетворяющих условию для двухточечной функции Уайтмана^[142]: $\int \int \int f(x_{2},x_{1})f(x_{3},x_{4})F_{4}(x_{1}-x_{2},x_{2}-x_{3},x_{3}-x_{4})\prod _{i=1}^{4}d^{4}x_{i}\geqslant 0$ .
Неизвестно доказательство эргодической гипотезы для произвольных динамических систем^[143].
Неизвестно решение задачи сращивания решений уравнения Больцмана по обе стороны от ударного слоя по теории Чепмена-Энскога^[144].

Теория игр

Отсутствует общая математическая теория игр, проводимых на пространстве функций (поскольку мощность множества действительных функций существенно превышает мощность континуума)^[145].
Отсутствует общая математическая теория псевдоигр (конфликтных ситуаций, не являющихся играми)^[145].
Отсутствует общая математическая теория некооперативных игр $n$ лиц для $n>2$ ^[145].
Формулировки $8$ нерешённых проблем теории игр есть в книге ^[146].
Не решена задача построения алгоритмов обучения решению игр, когда элементы платёжной матрицы не постоянны, а представляют собой случайные величины, либо неизвестны (игра вслепую)^[147].

Теория представлений групп

Гипотеза Ленглендса. Любое неприводимое представление вещественной полупростой группы Ли $G$ , входящее в дискретную часть разложения регулярного представления, реализуется в пространстве $L^{2}$ — когомологий подходящего пучка на пространстве $X=G/H$ , где $H$ — компактная картановская подгруппа в $G$ ^[148].

Общая топология

Задача Даукера. Определить, является ли каждое нормальное хаусдорфово пространство счётно паракомпактным^[149].
Список из $13$ нерешённых проблем теоретико-множественной топологии есть в статье^[150].
Неизвестна мощность множеств, дополнительных к $A$ -множествам, даже в одномерном случае^[151].
Выполняется ли для бикомпактов основная теорема теории размерностей: индуктивная размерность (размерность по Урысону) равна размерности, определённой с помощью покрытий?^[152]
Гипотеза Менгера Рассмотрим класс всех подмножеств некотрого евклидового пространства $R^{n}$ или класс всех сепарабельных метрических пространств $Q$ . Неизвестно, выполняется ли условие для когомологических размерностей: для каждого $X\in Q$ существует такой компакт ${\bar {X}}\in Q$ что $d({\bar {X}})=d(X)$ , где $d(X)=dim_{G}X$ .^[153]
Несколько десятков нерешённых вопросов по теории ретрактов есть в книге^[154].
Несколько нерешённых проблем четырехмерной топологии есть в книге^[155].

Линейная алгебра

Теория случайных процессов

Задача определения закона распределения $p(n,\;T)$ числа выбросов случайного процесса в общем случае не имеет законченного и компактного решения^[156].
Задача определения закона распределения абсолютных максимумов случайного процесса решена только для марковских процессов. Для остальных процессов точное решение неизвестно^[157].

Функциональный анализ

Список из 22 нерешённых задач теории операторов в банаховом пространстве есть в книге^[158].
Список из 6 нерешённых задач теории эллиптических операторов в комплексных аналитических многообразиях есть в книге^[159].

Теория динамических систем

Неизвестно, является ли система из двух и более твёрдых бильярдных шаров К-потоком при несингулярных взаимодействиях^[160].
Существует ли универсальный сценарий перехода динамических систем к хаосу? ^[161]
Возможно ли описание процесса усложнения хаоса в терминах бифуркаций? ^[161]

Риманова геометрия

Проблема Хопфа Существует ли на дифференцируемом многообразии $S^{2}\times S^{2}$ риманова метрика положительной кривизны?^[162].

Исследование операций

Не существует комбинаторного метода решения целочисленных задач линейного программирования с полиномиальной (в отличие от экспоненциальной) оценкой трудоёмкости?^[163].
Отсутствует общая теория алгоритмических методов оптимизации, позволяющая обеспечить ускорение сходимости и выбор шага итерации в общем случае многошаговых алгоритмов^[164].
Неизвестны условия сходимости почти наверное в область для многошаговых алгоритмов адаптации и обучения^[165].
Неизвестны правила определения момента установления стационарности алгоритма адаптации и обучения^[165].
Неизвестны оценки зависимости точности аппроксимации от числа функций и оценки времени обучения для алгоритмов опознавания^[166].
Неизвестны общие способы получения несмещённых оценок при заданном критерии оптимальности в задачах идентификации^[167].
Неизвестны общие правила выбора системы функций в задачах фильтрации^[168].
Неисследована связь между скоростью изменения внешних воздействий и длительностью процесса адаптации фильтра^[168].
Неизвестны способы использования априорной информации о распределениях случайных величин для построения адаптивных фильтров^[168].
Неизвестен способ применения адаптивного подхода при ускоренных испытаниях на надёжность^[169].
Отсутствует общая теория сетевого планирования с применением адаптивного подхода при недостаточной априорной информации^[170].
Можно ли произвольную вероятностно-операторную меру реализовать посредством некоторого физического прибора?^[171]
Неизвестны методы решения оптимизационых уравнений квантовой теории принятия решений и оценивания^[172].
Каким образом точность оценок зависит от числа наблюдений в квантовой теории оценивания?^[172]
Список из $20$ нерешённых проблем теории адаптивных и обучающихся систем есть в статье^[173]

Алгебраическая геометрия

Список из восьми нерешённых проблем алгебраической геометрии есть в книге^[174].
Гипотеза Бёрча — Свиннертон-Дайера. При каких условиях диофантовы уравнения в виде алгебраических уравнений имеют решения в целых и рациональных числах?^[175]
Гипотеза Ходжа. На любом невырожденном проективном комплексном алгебраическом многообразии любой класс Ходжа представляет собой рациональную линейную комбинацию классов алгебраических циклов^[176].

Теория автоматов

Можно ли формализовать математически способность к самовоспроизведению сотообразных структур?^[177]
Неизвестен способ определения, насколько сложной должна быть система (например, молекула), образованная из частей, для того, чтобы быть способной к самовоспроизведению и эволюции с усложнением потомства?^[177]
Может ли сотообразная структура иметь самовоспроизводящиеся конфигурации, но не иметь стираемых конфигураций?^[178]
Каким способом можно добиться, чтобы машины осуществляли самовоспроизведение не последовательно, а параллельно?^[178]

Вариационное исчисление

Формулировки более $20$ нерешённых проблем вариационного исчисления, связанных с вариациями множеств и функций, приведены в книге^[179].

Многомерный комплексный анализ

Перечисление $9$ нерешённых задач многомерного комплексного анализа есть в книге^[180].

Оптимальное управление

Подробное обсуждение $12$ нерешенных проблем теории оптимального управления есть в книге^[181].
Список $80$ нерешённых задач оптимального управления сингулярными системами с распределенными параметрами есть в книге^[182].

Известные проблемы, недавно решённые

Континуум-гипотеза (разрешена в 1963 г.)
Общая гипотеза Бернсайда (опровергнута в 1964 г.)
Гипотеза Малера (доказана в 1965 г.)
Гипотеза Такеути (доказана в 1966 г.)
Эргодическая гипотеза (доказана в 1970 г. для системы из твердых шаров в неподвижном зеркально отражающем ящике)^[183]
Задача Минковского Найдено регулярное решение (1971 г.)^[184].
Проблема Шаудера (решена отрицательно в 1972 г.).
Проблема Серра (доказана в 1976 г.)
Разрешимость нелинейного уравнения Больцмана (доказана в 1976 г.)^[185].
Проблема четырёх красок (доказана в 1976, 1997, 2005 гг.)
Гипотеза Ван дер Вардена о перманенте (доказана в 1979—80 гг.)
Гипотеза Морделла (доказана в 1983 г.)
Гипотеза Бибербаха (доказана в 1984 г.)
Великая теорема Ферма (доказана в 1994 г.)
Теорема о модулярности (доказана в 1999 г.)
Гипотеза Пуанкаре (доказана в 2002 г.)
Гипотеза Каталана (доказана в 2002 г.)
Найдены примеры полностью антисимметричных квазигрупп (2004 г.)^[186].
Гипотеза о раскраске дорог^[187] (доказана в 2009 г.)
Тернарная проблема Гольдбаха (доказана в 2013 г.)

См. также

Шотландская книга

Примечания

↑ Стюарт, 2015, с. 37.
↑ Weisstein, Eric W. Число ван дер Вардена (англ.) на сайте Wolfram MathWorld.
↑ Стюарт, 2015, с. 406.
↑ Unsolved Problem 26: Given a simple closed curve in the plane, can we always find four points on this curve that are the vertices of a square? Unsolved Problem of the Week. MathPro Press.
↑ Weisstein, Eric W. Square Inscribing (англ.) на сайте Wolfram MathWorld.
↑ Unsolved Problem 33: Is there a constant, A, such that any set in the plane of area A must contain the vertices of a triangle with area 1? Unsolved Problem of the Week. MathPro Press.
↑ ¹ ² Улам С. Глава III // Нерешённые математические задачи. — Наука, 1964.
↑ Unsolved Problem 22: Is there a triangle with integer sides, medians, and area? Unsolved Problem of the Week. MathPro Press.
↑ ¹ ² Weisstein, Eric W. Rational Distance Problem (англ.) на сайте Wolfram MathWorld.
↑ Unsolved Problem 13: Is there a point in the plane that is at a rational distance from each of the four corners of a unit square? Unsolved Problem of the Week. MathPro Press.
↑ Weisstein, Eric W. Shephard's Conjecture (англ.) на сайте Wolfram MathWorld.
↑ Удивительные объёмы многогранников
↑ Weisstein, Eric W. Tetrahedron Circumscribing (англ.) на сайте Wolfram MathWorld.
↑ Задача Томсона
↑ Unsolved Problem 23: How should you locate 13 cities on a spherical planet so that the minimum distance between any two of them is as large as possible?Unsolved Problem of the Week. MathPro Press.
↑ Decomposing the 2-Sphere into Domains of Smallest Possible Diameter
↑ шаблон не поддерживает такой синтаксис, Discrete mathematics: methods and challenges
↑ Pixel Counting, Mu-Ency at MROB
↑ Jeandel, Emmanuel; Rao, Michael (2015), "An aperiodic set of 11 Wang tiles", CoRR, arXiv:1506.06492. (Показан непериодический набор из 11 плиток с 4 цветами.)}
↑ Weisstein, Eric W. Illumination Problem (англ.) на сайте Wolfram MathWorld.
↑ Integer distances
↑ Tobias Kreisel, Sascha Kurz, There are integral heptagons, no three points on a line, no four on a circle
↑ Erich Friedman, Unsolved Problems in Planar Geometry
↑ Bonnesen T., Fenchel W. Theorie der konvexen Körper. — Berlin: Verlag von Julius Springer, 1934. — S. 127—139. — (Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 3, Heft 1). (нем.)
↑ Kawohl B. Convex Sets of Constant Width (англ.) // Oberwolfach Reports. — Zurich: European Mathematical Society Publishing House, 2009. — Vol. 6, no. 1. — P. 390—393.
↑ Anciaux H., Guilfoyle B. On the Three-Dimensional Blaschke-Lebesgue Problem (англ.) // Proceedings of the American Mathematical Society. — Providence: American Mathematical Society, 2011. — Vol. 139, no. 5. — P. 1831—1839. — ISSN 0002-9939. — doi:10.1090/S0002-9939-2010-10588-9. arXiv:0906.3217
↑ Packing Equal Circles on a Sphere
↑ ¹ ² Weisstein, Eric W. Circle Packing (англ.) на сайте Wolfram MathWorld.
↑ Контактное число
↑ Weisstein, Eric W. Контактное число (англ.) на сайте Wolfram MathWorld.
↑ Weisstein, Eric W. Гипотеза Кеплера (англ.) на сайте Wolfram MathWorld.
↑ Weisstein, Eric W. Keller's Conjecture (англ.) на сайте Wolfram MathWorld.
↑ Integer distances
↑ R. Grigorchuk, I. Pak Groups of Intermediate Growth: an Introduction for Beginners на arXiv
↑ Sharipov, R.A. (2009). "Transfinite normal and composition series of groups". arXiv:0908.2257 [math.GR].
↑ Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. — М.: Наука, 1972. — С. 30.
↑ Л.С. Понтрягин. Непрерывные группы. — Наука, 1972. — 349 с.
↑ ¹ ² А.И. Мальцев. Алгебраические системы. — Наука, 1970. — 299 с.
↑ Курош, Теория групп, 1967, с. 424.
↑ Курош, Теория групп, 1967, с. 426.
↑ Курош, Теория групп, 1967, с. 429.
↑ Гиперкомплексные числа, 1973, с. 4.
↑ Свободные кольца и их связи, 1975.
↑ Ершов, 1987, с. 110.
↑ Коуровская тетрадь (нерешённые вопросы теории групп) / Ред. М. И. Каргаполов, Ю. И. Мерзляков, В. Н. Ремесленников. — 4-е изд. — Новосибирск: Институт математики Сибирского отделения АН СССР, 1973.
↑ Нерешённые вопросы теории групп. Коуровская тетрадь / Сост. В. Д. Мазуров, Е. И. Хухро. — 18 изд. доп. — Новосибирск: Институт математики Сибирского отделения РАН, 2014. — 253 с.
↑ Днестровская тетрадь. Нерешённые проблемы теории колец и модулей / Сост. В. Т. Филиппов, В. К. Харченко, И. П. Шестаков. — 4-е изд. — Новосибирск: Институт математики СО РАН, 1993. — 73 с.
↑ Свердловская тетрадь: Сб. нерешённых задач по теории полугрупп.. — Свердловск: Уральский государственный университет, 1979. — 41 с.
↑ Стюарт, 2015, с. 225.
↑ Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. — Springer, 2015-09-15. — С. 5. — 427 с.
↑ Weisstein, Eric W. Натуральный логарифм 2 (англ.) на сайте Wolfram MathWorld.
↑ Weisstein, Eric W. Flint Hills Series (англ.) на сайте Wolfram MathWorld.
↑ Weisstein, Eric W. Иррациональное число (англ.) на сайте Wolfram MathWorld.
↑ Weisstein, Eric W. Pi (англ.) на сайте Wolfram MathWorld.
↑ Weisstein, Eric W. e (англ.) на сайте Wolfram MathWorld.
↑ en:Irrational number#Open questions
↑ Some unsolved problems in number theory
↑ Weisstein, Eric W. Трансцендентное число (англ.) на сайте Wolfram MathWorld.
↑ An introduction to irrationality and transcendence methods
↑ Marshall, Ash J., and Tan, Yiren, «A rational number of the form a^a with a irrational» // Mathematical Gazette 96, March 2012, pp. 106—109.
↑ Weisstein, Eric W. Measure.html Мера иррациональности (англ.) на сайте Wolfram MathWorld.
↑ Le Lionnais, F. Les nombres remarquables (ISBN 2-7056-1407-9). Paris: Hermann, p. 46, 1979. via Wolfram Mathworld, Transcendental Number
↑ ¹ ² Chudnovsky, G. V. Contributions to the Theory of Transcendental Numbers. — Providence, RI : American Mathematical Society, 1984. — ISBN 0-8218-1500-8. via Wolfram Mathworld, Transcendental Number
↑ Weisstein, Eric W. Постоянная Пелля (англ.) на сайте Wolfram MathWorld.
↑ Спринджук В. Г. Доказательство гипотезы Малера о мере множества S-чисел // Изв. АН СССР, сер. мат. — 1965. — Т. 29, № 2. — С. 379—436.— URL: http://mi.mathnet.ru/izv2913
↑ Спринджук, 1967, с. 8.
↑ Спринджук, 1967, с. 150—154.
↑ Минк Х. Перманенты. — М.: Мир, 1982. — 211 с.
↑ Рыбников, 1972, с. 96.
↑ Рыбников, 1972, с. 110.
↑ Болтянский, 1965, с. 47.
↑ Болтянский, 1965, с. 83.
↑ Грюнбаум, 1971, с. 6.
↑ Caccetta-Häggkvist Conjecture (1978)
↑ Лекции по теории графов, 1990, с. 264.
↑ ¹ ² Лекции по теории графов, 1990, с. 18.
↑ Лекции по теории графов, 1990, с. 286.
↑ Теория графов, 1988, с. 154.
↑ Стюарт, 2015, с. 407.
↑ Adams, Colin (2004), The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots, American Mathematical Society, ISBN 0-8218-3678-1
↑ Yuri Matiyasevich, Hilbert’s Tenth Problem: What was done and what is to be done
↑ Матиясевич Ю. В. Десятая проблема Гильберта. — Наука, 1993.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ Успенский В. А., Семёнов А. Л. Теория алгоритмов: основные открытия и приложения. — Наука, 1987.
↑ When is a pair of matrices mortal?
↑ Разборов, 2016, с. 24.
↑ Weisstein, Eric W. Изоморфизм графов (англ.) на сайте Wolfram MathWorld.
↑ «Even if someone manages to prove one of the conjectures—thereby demonstrating that ω = 2—the wreath product approach is unlikely to be applicable to the large matrix problems that arise in practice. (…) the input matrices must be astronomically large for the difference in time to be apparent.»Le Gall, François (2014), "Powers of tensors and fast matrix multiplication", Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), arXiv:1401.7714
↑ ¹ ² Разборов, 2016, с. 9.
↑ И. В. Абрамов. Теория автоматов, языков и вычислений. — М., 2003.
↑ последовательность A028444 в OEIS
↑ Эббинхауз, 1972, с. 245-247.
↑ Transfinite Ordinals and Their Notations
↑ Site Maintenance
↑ Skolem + Tetration Is Well-Ordered
↑ The Ordinal of Skolem + Tetration Is τ0
↑ Вацлав Серпинский. Cardinal And Ordinal Numbers. — Варшава: Polish Scientific Publishers, 1965. (англ.)
↑ Теория множеств и метод форсинга, 1973, с. 17.
↑ Теория множеств и метод форсинга, 1973, с. 66.
↑ Теория множеств и метод форсинга, 1973, с. 81.
↑ Теория множеств, 1970, с. 324.
↑ ¹ ² Ю. И. Манин, Проблема континуума // Итоги науки и техн. Сер. Соврем. пробл. мат., 5, ВИНИТИ, М., 1975, 5—72
↑ Столл, 1968, с. 156.
↑ Столл, 1968, с. 157.
↑ Общая алгебра, 1990, с. 35.
↑ WolframScience Conference NKS2006
↑ Крайзель, 1981, с. 54, 59, 60, 82.
↑ Табор М. Хаос и интегрируемость в нелинейной динамике. — пер. с англ. — М.: «Эдиториал УРСС», 2001. — 320 с. — тир. 1000 экз. — ISBN 5-8360-0192-8. — гл. 1 «Динамика дифференциальных уравнений», 1.4 «Линейный анализ устойчивости», 1.4г «Предельные циклы». — с. 29
↑ Метод усреднения в прикладных задачах, 1986, с. 68.
↑ Метод усреднения в прикладных задачах, 1986, с. 71.
↑ Метод усреднения в прикладных задачах, 1986, с. 74.
↑ Солитоны в математике и физике, 1989, с. 181.
↑ Солитоны в математике и физике, 1989, с. 310.
↑ Трикоми, 1947, с. 11.
↑ Линник Ю. В., Островский И. В. Разложения случайных величин и векторов. — М.: Наука, 1972. — 479 стр. — гл. X. Нерешённые проблемы
↑ Геометрические вероятности, 1972, с. 66.
↑ Кострикин А.И., Манин Ю.И. Линейная алгебра и геометрия. — Санкт-Петербург: Лань, 2008. — С. 304. — ISBN 978-5-8114-0612-8.
↑ ¹ ² ³ Ф. Дж. Дайсон, «Упущенные возможности», УМН, 35:1(211) (1980), 171—191
↑ Боголюбов Н. Н., Ширков Д. В. Введение в теорию квантованных полей. — М.: Наука, 1973. — С. 322.
↑ Г. Бете. Квантовая механика. — М.: Мир, 1965. — стр. 12.
↑ Пригожин И., Стенгерс И. Время, хаос, квант. К решению парадокса времени. — М.: Едиториал УРСС, 2003. — стр. 114, — ISBN 5-354-00268-0.
↑ Стюарт, 2015, с. 308.
↑ Стюарт, 2015, с. 315.
↑ Бетяев С. К.Гидродинамика: проблемы и парадоксы // УФН, т. 165, 1995, № 3, с. 299—330
↑ Внутреннее строение Земли и планет, 1978, с. 80.
↑ Методы современной математической физики, 1978, с. т. 2, с. 370.
↑ Операторы Шрёдингера с приложениями к квантовой механике и глобальной геометрии, 1990, с. 9.
↑ Стюарт, 2015, с. 348.
↑ Займан, 1974, с. 55.
↑ Займан, 1974, с. 403.
↑ Займан, 1974, с. 152.
↑ Новиков, 1986, с. 99.
↑ Новиков, 1986, с. 151.
↑ Новиков, 1986, с. 267.
↑ Новиков, 1986, с. 132.
↑ Михлин, 1968, с. 553.
↑ Харрисон, 1968, с. 20.
↑ Харрисон, 1968, с. 144.
↑ Харрисон, 1968, с. 150.
↑ Харрисон, 1968, с. 177.
↑ Мостепаненко, 1966, с. 86.
↑ Боголюбов, 1969, с. 176,213.
↑ Боголюбов, 1969, с. 190.
↑ Черчиньяни, 1978, с. 40.
↑ Черчиньяни, 1978, с. 291.
↑ ¹ ² ³ Мак-Кинси Дж. Введение в теорию игр. — М.: Физматлит, 1960. — С. 224
↑ Значения для неатомических игр, 1977, с. 19, 62, 141, 153, 182, 271, 272, 274.
↑ Адаптация и обучение в автоматических системах, 1968, с. 318.
↑ Кириллов А. А. Элементы теории представлений. — М.: Наука, 1978. — С. 227
↑ Келли Дж. Л. Общая топология. — М.: Наука, 1968. — С. 232.
↑ Малыхин В. И. Топология и форсинг // УМН. — 1983. — Т. 38. — № 1(229). — С. 69—118.
↑ Александров П. С. Введение в теорию множеств и общую топологию. — М.: Наука, 1977. — С. 219.
↑ Гуревич, 1948, с. 14.
↑ Кузьминов В. И. Гомологическая теория размерности // УМН. — 1968. — Т. 23, № 5. — С. 5. — URL: http://mi.mathnet.ru/umn5668
↑ Борсук, 1971, с. 257-277.
↑ Мандельбаум, 1981, с. 82,178,202,255,263,266.
↑ Выбросы случайных процессов, 1970, с. 243.
↑ Выбросы случайных процессов, 1970, с. 280.
↑ Теория операторов, 1977, с. 272.
↑ Шварц, 1964, с. 177.
↑ От существующего к возникающему, 2006, с. 57.
↑ ¹ ² Нелинейная динамика и хаос, 2011, с. 151.
↑ Громол Д., Клингенберг В., Мейер В. Риманова геометрия в целом. — М.: Мир, 1971. — С. 282.
↑ ред. Моисеев Н. Н. Современное состояние теории исследования операций. — М.: Наука, 1979. — С. 289.
↑ Адаптация и обучение в автоматических системах, 1968, с. 55.
↑ ¹ ² Адаптация и обучение в автоматических системах, 1968, с. 90.
↑ Адаптация и обучение в автоматических системах, 1968, с. 135.
↑ Адаптация и обучение в автоматических системах, 1968, с. 165.
↑ ¹ ² ³ Адаптация и обучение в автоматических системах, 1968, с. 198.
↑ Адаптация и обучение в автоматических системах, 1968, с. 257.
↑ Адаптация и обучение в автоматических системах, 1968, с. 278.
↑ Хелстром, 1979, с. 325.
↑ ¹ ² Хелстром, 1979, с. 326.
↑ Цыпкин Я. З. Адаптация, обучение и самообучение в автоматических системах // Автоматика и телемеханика. — 1966. — № 1. — С. 23—61. — ISSN 0005-2310. — URL: http://mi.mathnet.ru/at10991
↑ Введение в теорию схем и квантовые группы, 2012, с. 246.
↑ Стюарт, 2015, с. 360.
↑ Стюарт, 2015, с. 367.
↑ ¹ ² Беллман, 1966, с. 56.
↑ ¹ ² Беллман, 1966, с. 57.
↑ Иванов, 1975, с. 59, 112, 190, 245, 270.
↑ Гриффитс, 1976, с. 8, 10, 42, 54, 66, 79, 80, 85, 88.
↑ Моисеев, 1975, с. 89, 115, 147, 192, 208, 268, 278, 303, 304, 365, 398, 446.
↑ Лионс, 1987, с. 152, 257, 334, 357.
↑ Я. Г. Синай, «Динамические системы с упругими отражениями. Эргодические свойства рассеивающих бильярдов», УМН, 25:2(152), 1970, 141—192
↑ Погорелов А. В. Многомерная проблема Минковского. — М.: Наука, 1975. — С. 95.
↑ Черчиньяни, 1978, с. 461-480.
↑ Дмитрий Максимов. Коды, распознающие ошибку // Наука и жизнь. — 2018. — № 1. — С. 90-95.
↑ Решена задача о раскраске дорог

Литература

Йех Т. Теория множеств и метод форсинга. — М.: Мир, 1973. — 147 с.
Тихонов В. И. Выбросы случайных процессов. — М.: Наука, 1970. — 392 с.
ред. Акилов Г. П. Теория операторов в функциональных пространствах. — Новосибирск: Наука, 1977. — 392 с.
Ауман Р., Шепли Л. Значения для неатомических игр. — М.: Мир, 1977. — 357 с.
Гребеников Е. А. Метод усреднения в прикладных задачах. — М.: Наука, 1986. — 256 с.
Пригожин И. От существующего к возникающему. — М.: КомКнига, 2006. — 296 с.
Курош А. Г. Теория групп. — 3-е изд.. — М.: Наука, 1967. — 638 с.
Жарков В. Н. Внутреннее строение Земли и планет. — М.: Наука, 1978. — 192 с.
Ньюэлл А. Солитоны в математике и физике. — М.: Мир, 1989. — 326 с. — ISBN 5-03-001118-8.
Цыпкин Я. З. Адаптация и обучение в автоматических системах. — М.: Наука, 1968. — 400 с.
Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970. — 413 с.
Улам С. Нерешённые математические задачи. — М.: Наука, 1964. — 168 с.
Манин Ю. И. Введение в теорию схем и квантовые группы. — М.: МЦНМО, 2012. — 256 с.
Кантор И. Л., Солодовников А. С. Гиперкомплексные числа. — М.: Наука, 1973. — 143 с.
Емеличев В. А., Мельников О. И., Сарванов В. И., Тышкевич Р. И. Лекции по теории графов. — М.: Наука, 1990. — 384 с. — ISBN 5-02-013992-0.
Цикон Х., Фрёзе Р., Кирш В., Саймон Б. Операторы Шрёдингера с приложениями к квантовой механике и глобальной геометрии. — М.: Мир, 1990. — 408 с. — ISBN 5-03-001422-5.
Рид М., Саймон Б. Методы современной математической физики, в 4 т.. — М.: Мир, 1978. — 1000 с.
Татт У. Теория графов. — М.: Мир, 1988. — 424 с.

Кендалл М., Моран П. Геометрические вероятности. — М.: Наука, 1972. — 192 с.
Кон П. Свободные кольца и их связи. — М.: Мир, 1975. — 420 с.
Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука, 1987. — 336 с.
Иэн Стюарт^?!. Величайшие математические задачи. — М.: Альпина нон-фикшн, 2015. — 460 с. — ISBN 978-5-91671-318-3.
Займан Дж. Принципы теории твёрдого тела. — М.: Мир, 1974. — 472 с.
Хелстром К. Квантовая теория проверки гипотез и оценивания. — М.: Мир, 1979. — 344 с.
Новиков И.Д., Фролов В.П. Физика чёрных дыр. — М.: Наука, 1986. — 328 с.
Михлин С.Г. Курс математической физики. — М.: Наука, 1968. — 575 с.
Харрисон У. Псевдопотенциалы в теории металлов. — М.: Мир, 1968. — 366 с.
Беллман Р. Математические проблемы в биологии. — М.: Мир, 1966. — 277 с.
В.Г. Болтянский, И.Ц. Гохберг. Теоремы и задачи комбинаторной геометрии. — М.: Наука, 1965. — 107 с.
Трикоми Франческо. О линейных уравнениях смешанного типа. — М.: ОГИЗ ГИТТЛ, 1947. — 190 с.
Иванов Л.Д. Вариации множеств и функций. — М.: Наука, 1975. — 352 с.
Мостепаненко А.М., Мостепаненко М.В. Четырехмерность пространства и времени. — Л.: Наука, 1966. — 189 с.
Гуревич В., Волмэн Р. Теория размерности. — Л.: ИЛ, 1948. — 231 с.
Столл Р.Р. Множества. Логика. Аксиоматические теории. — М.: Просвещение, 1968. — 231 с.
Боголюбов Н. Н., Логунов А. А.,Тодоров И. Т. Основы аксиоматического подхода в квантовой теории поля. — М.: Наука, 1969. — 424 с.
Борсук К. Теория ретрактов. — М.: Мир, 1971. — 291 с.
Мандельбаум Р. Четырехмерная топология. — М.: Мир, 1981. — 286 с.
Спринджук В. Г. Проблема Малера в метрической теории чисел. — Минск: Наука и техника, 1967. — 184 с.
Гриффитс Ф., Кинг Дж. Теория Неванлинны и голоморфные отображения алгебраических многообразий. — М.: Мир, 1976. — 95 с.
Моисеев Н.Н. Элементы теории оптимальных систем. — М.: Наука, 1975. — 526 с.
Черчиньяни К. Теория и приложения уравнения Больцмана. — М.: Мир, 1978. — 495 с.
Шварц Л. Комплексные многообразия. Эллиптические уравнения. — М.: Мир, 1964. — 212 с.
Крайзель Г. Исследования по теории доказательств. — М.: Мир, 1981. — 289 с.
Разборов А. А. Алгебраическая сложность. — М.: МЦНМО, 2016. — 32 с. — ISBN 978-5-4439-1032-1.
Грюнбаум Б. Этюды по комбинаторной геометрии и теории выпуклых тел. — М.: Наука, 1971. — 93 с.
Брудно А. Л. Теория функций действительного переменного. — М.: Наука, 1971. — 119 с.
Малинецкий Г. Г., Потапов А. Б. Нелинейная динамика и хаос: основные понятия. — М.: Либроком, 2011. — 240 с. — ISBN 978-5-397-01583-7.
Лионс Ж. Л. Управление сингулярными распределенными системами. — М.: Наука, 1987. — 368 с.
ред. Скорняков Л. А. Общая алгебра Т. 1. — М.: Наука, 1990. — 592 с.
Эббинхауз Г.Д., Якобс К., Ман Ф.К., Хермес Г. Машины Тьюринга и рекурсивные функции. — М.: Мир, 1972. — 262 с.
Рыбников К.А. Введение в комбинаторный анализ. — МГУ, 1972.

Ссылки

Open Problem Garden (англ.)
Open Questions: Mathematics (англ.)
The Open Problems Project (недоступная ссылка) (англ.)
Открытые математические проблемы в Google Directory (англ.)
Видеоклипы о нерешённых математических проблемах
Unsolved problems in Number Theory, Logic, and Cryptography (англ.)

[_132b8ff038cdc3e2-1] Стюарт, 2015, с. 37.

[2] Weisstein, Eric W. Число ван дер Вардена (англ.) на сайте Wolfram MathWorld.

[_60b17030858f3b76-3] Стюарт, 2015, с. 406.

[4] Unsolved Problem 26: Given a simple closed curve in the plane, can we always find four points on this curve that are the vertices of a square? Unsolved Problem of the Week. MathPro Press.

[5] Weisstein, Eric W. Square Inscribing (англ.) на сайте Wolfram MathWorld.

[6] Unsolved Problem 33: Is there a constant, A, such that any set in the plane of area A must contain the vertices of a triangle with area 1? Unsolved Problem of the Week. MathPro Press.

[Ulam1964-7] ¹ ² Улам С. Глава III // Нерешённые математические задачи. — Наука, 1964.

[8] Unsolved Problem 22: Is there a triangle with integer sides, medians, and area? Unsolved Problem of the Week. MathPro Press.

[mw_rdp-9] ¹ ² Weisstein, Eric W. Rational Distance Problem (англ.) на сайте Wolfram MathWorld.

[10] Unsolved Problem 13: Is there a point in the plane that is at a rational distance from each of the four corners of a unit square? Unsolved Problem of the Week. MathPro Press.

[11] Weisstein, Eric W. Shephard's Conjecture (англ.) на сайте Wolfram MathWorld.

[12] Удивительные объёмы многогранников

[13] Weisstein, Eric W. Tetrahedron Circumscribing (англ.) на сайте Wolfram MathWorld.

[14] Задача Томсона

[15] Unsolved Problem 23: How should you locate 13 cities on a spherical planet so that the minimum distance between any two of them is as large as possible?Unsolved Problem of the Week. MathPro Press.

[16] Decomposing the 2-Sphere into Domains of Smallest Possible Diameter

[17] шаблон не поддерживает такой синтаксис, Discrete mathematics: methods and challenges

[18] Pixel Counting, Mu-Ency at MROB

[jeandel-19] Jeandel, Emmanuel; Rao, Michael (2015), "An aperiodic set of 11 Wang tiles", CoRR, arXiv:1506.06492. (Показан непериодический набор из 11 плиток с 4 цветами.)}

[20] Weisstein, Eric W. Illumination Problem (англ.) на сайте Wolfram MathWorld.

[21] Integer distances

[22] Tobias Kreisel, Sascha Kurz, There are integral heptagons, no three points on a line, no four on a circle

[23] Erich Friedman, Unsolved Problems in Planar Geometry

[24] Bonnesen T., Fenchel W. Theorie der konvexen Körper. — Berlin: Verlag von Julius Springer, 1934. — S. 127—139. — (Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 3, Heft 1). (нем.)

[25] Kawohl B. Convex Sets of Constant Width (англ.) // Oberwolfach Reports. — Zurich: European Mathematical Society Publishing House, 2009. — Vol. 6, no. 1. — P. 390—393.

[26] Anciaux H., Guilfoyle B. On the Three-Dimensional Blaschke-Lebesgue Problem (англ.) // Proceedings of the American Mathematical Society. — Providence: American Mathematical Society, 2011. — Vol. 139, no. 5. — P. 1831—1839. — ISSN 0002-9939. — doi:10.1090/S0002-9939-2010-10588-9. arXiv:0906.3217

[27] Packing Equal Circles on a Sphere

[autogenerated1-28] ¹ ² Weisstein, Eric W. Circle Packing (англ.) на сайте Wolfram MathWorld.

[29] Контактное число

[30] Weisstein, Eric W. Контактное число (англ.) на сайте Wolfram MathWorld.

[31] Weisstein, Eric W. Гипотеза Кеплера (англ.) на сайте Wolfram MathWorld.

[32] Weisstein, Eric W. Keller's Conjecture (англ.) на сайте Wolfram MathWorld.

[33] Integer distances

[34] R. Grigorchuk, I. Pak Groups of Intermediate Growth: an Introduction for Beginners на arXiv

[35] Sharipov, R.A. (2009). "Transfinite normal and composition series of groups". arXiv:0908.2257 [math.GR].

[36] Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. — М.: Наука, 1972. — С. 30.

[37] Л.С. Понтрягин. Непрерывные группы. — Наука, 1972. — 349 с.

[Malzev-38] ¹ ² А.И. Мальцев. Алгебраические системы. — Наука, 1970. — 299 с.

[_eb759d9167af8c38-39] Курош, Теория групп, 1967, с. 424.

[_eb759d9167af8c3a-40] Курош, Теория групп, 1967, с. 426.

[_eb759d9167af8c35-41] Курош, Теория групп, 1967, с. 429.

[_1b92e757b307a2d9-42] Гиперкомплексные числа, 1973, с. 4.

[_f9ffdc6aec6fbc4f-43] Свободные кольца и их связи, 1975.

[_ea4145cbe902aa9b-44] Ершов, 1987, с. 110.

[45] Коуровская тетрадь (нерешённые вопросы теории групп) / Ред. М. И. Каргаполов, Ю. И. Мерзляков, В. Н. Ремесленников. — 4-е изд. — Новосибирск: Институт математики Сибирского отделения АН СССР, 1973.

[46] Нерешённые вопросы теории групп. Коуровская тетрадь / Сост. В. Д. Мазуров, Е. И. Хухро. — 18 изд. доп. — Новосибирск: Институт математики Сибирского отделения РАН, 2014. — 253 с.

[47] Днестровская тетрадь. Нерешённые проблемы теории колец и модулей / Сост. В. Т. Филиппов, В. К. Харченко, И. П. Шестаков. — 4-е изд. — Новосибирск: Институт математики СО РАН, 1993. — 73 с.

[48] Свердловская тетрадь: Сб. нерешённых задач по теории полугрупп.. — Свердловск: Уральский государственный университет, 1979. — 41 с.

[_60c5f23085a0c105-49] Стюарт, 2015, с. 225.

[50] Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. — Springer, 2015-09-15. — С. 5. — 427 с.

[51] Weisstein, Eric W. Натуральный логарифм 2 (англ.) на сайте Wolfram MathWorld.

[52] Weisstein, Eric W. Flint Hills Series (англ.) на сайте Wolfram MathWorld.

[53] Weisstein, Eric W. Иррациональное число (англ.) на сайте Wolfram MathWorld.

[54] Weisstein, Eric W. Pi (англ.) на сайте Wolfram MathWorld.

[55] Weisstein, Eric W. e (англ.) на сайте Wolfram MathWorld.

[56] :Irrational number#Open questions

[57] Some unsolved problems in number theory

[58] Weisstein, Eric W. Трансцендентное число (англ.) на сайте Wolfram MathWorld.

[59] An introduction to irrationality and transcendence methods

[60] Marshall, Ash J., and Tan, Yiren, «A rational number of the form a^a with a irrational» // Mathematical Gazette 96, March 2012, pp. 106—109.

[61] Weisstein, Eric W. Measure.html Мера иррациональности (англ.) на сайте Wolfram MathWorld.

[62] Le Lionnais, F. Les nombres remarquables (ISBN 2-7056-1407-9). Paris: Hermann, p. 46, 1979. via Wolfram Mathworld, Transcendental Number

[Chudnovsky-63] ¹ ² Chudnovsky, G. V. Contributions to the Theory of Transcendental Numbers. — Providence, RI : American Mathematical Society, 1984. — ISBN 0-8218-1500-8. via Wolfram Mathworld, Transcendental Number

[64] Weisstein, Eric W. Постоянная Пелля (англ.) на сайте Wolfram MathWorld.

[65] Спринджук В. Г. Доказательство гипотезы Малера о мере множества S-чисел // Изв. АН СССР, сер. мат. — 1965. — Т. 29, № 2. — С. 379—436.— URL: http://mi.mathnet.ru/izv2913

[_957065d36c167366-66] Спринджук, 1967, с. 8.

[_086f13b556851878-67] Спринджук, 1967, с. 150—154.

[68] Минк Х. Перманенты. — М.: Мир, 1982. — 211 с.

[_4c7d9f7a31341a6f-69] Рыбников, 1972, с. 96.

[_2dab54a19b9f8b70-70] Рыбников, 1972, с. 110.

[_fb51d1a365be8c4c-71] Болтянский, 1965, с. 47.

[_fb51cda365be859c-72] Болтянский, 1965, с. 83.

[_fbdf6798c251c98e-73] Грюнбаум, 1971, с. 6.

[74] Caccetta-Häggkvist Conjecture (1978)

[_933e77a83bf35df8-75] Лекции по теории графов, 1990, с. 264.

[_a1da0108098dcb47-76] ¹ ² Лекции по теории графов, 1990, с. 18.

[_933e7da83bf367c8-77] Лекции по теории графов, 1990, с. 286.

[_92e194cb4e7c0ed8-78] Теория графов, 1988, с. 154.

[_60b17030858f3b77-79] Стюарт, 2015, с. 407.

[80] Adams, Colin (2004), The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots, American Mathematical Society, ISBN 0-8218-3678-1

[81] Yuri Matiyasevich, Hilbert’s Tenth Problem: What was done and what is to be done

[ReferenceA-82] Матиясевич Ю. В. Десятая проблема Гильберта. — Наука, 1993.

[Uspensky-83] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ Успенский В. А., Семёнов А. Л. Теория алгоритмов: основные открытия и приложения. — Наука, 1987.

[84] When is a pair of matrices mortal?

[_37d01e95ec89fbbd-85] Разборов, 2016, с. 24.

[86] Weisstein, Eric W. Изоморфизм графов (англ.) на сайте Wolfram MathWorld.

[87] «Even if someone manages to prove one of the conjectures—thereby demonstrating that ω = 2—the wreath product approach is unlikely to be applicable to the large matrix problems that arise in practice. (…) the input matrices must be astronomically large for the difference in time to be apparent.»Le Gall, François (2014), "Powers of tensors and fast matrix multiplication", Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), arXiv:1401.7714

[_f554dfce525897d8-88] ¹ ² Разборов, 2016, с. 9.

[89] И. В. Абрамов. Теория автоматов, языков и вычислений. — М., 2003.

[90] последовательность A028444 в OEIS

[_39de58242854d34c-91] Эббинхауз, 1972, с. 245-247.

[92] Transfinite Ordinals and Their Notations

[93] Site Maintenance

[94] Skolem + Tetration Is Well-Ordered

[95] The Ordinal of Skolem + Tetration Is τ0

[96] Вацлав Серпинский. Cardinal And Ordinal Numbers. — Варшава: Polish Scientific Publishers, 1965. (англ.)

[_62086054690cb82a-97] Теория множеств и метод форсинга, 1973, с. 17.

[_62085954690cac0e-98] Теория множеств и метод форсинга, 1973, с. 66.

[_62085754690ca8e3-99] Теория множеств и метод форсинга, 1973, с. 81.

[_27bc940ecc50fb26-100] Теория множеств, 1970, с. 324.

[Manin-101] ¹ ² Ю. И. Манин, Проблема континуума // Итоги науки и техн. Сер. Соврем. пробл. мат., 5, ВИНИТИ, М., 1975, 5—72

[_7c57afdb6bf373e9-102] Столл, 1968, с. 156.

[_7c57afdb6bf373e8-103] Столл, 1968, с. 157.

[_959d02b91827e4ca-104] Общая алгебра, 1990, с. 35.

[105] WolframScience Conference NKS2006

[_d6248c110fc66ffd-106] Крайзель, 1981, с. 54, 59, 60, 82.

[107] Табор М. Хаос и интегрируемость в нелинейной динамике. — пер. с англ. — М.: «Эдиториал УРСС», 2001. — 320 с. — тир. 1000 экз. — ISBN 5-8360-0192-8. — гл. 1 «Динамика дифференциальных уравнений», 1.4 «Линейный анализ устойчивости», 1.4г «Предельные циклы». — с. 29

[_4e5e975127809957-108] Метод усреднения в прикладных задачах, 1986, с. 68.

[_4e5e96512780978d-109] Метод усреднения в прикладных задачах, 1986, с. 71.

[_4e5e965127809788-110] Метод усреднения в прикладных задачах, 1986, с. 74.

[_23ba027eb39568bb-111] Солитоны в математике и физике, 1989, с. 181.

[_23b36f7eb3900323-112] Солитоны в математике и физике, 1989, с. 310.

[_a3af1a44631d0f45-113] Трикоми, 1947, с. 11.

[114] Линник Ю. В., Островский И. В. Разложения случайных величин и векторов. — М.: Наука, 1972. — 479 стр. — гл. X. Нерешённые проблемы

[_5dcd77e13e7449b8-115] Геометрические вероятности, 1972, с. 66.

[116] Кострикин А.И., Манин Ю.И. Линейная алгебра и геометрия. — Санкт-Петербург: Лань, 2008. — С. 304. — ISBN 978-5-8114-0612-8.

[Dyson-117] ¹ ² ³ Ф. Дж. Дайсон, «Упущенные возможности», УМН, 35:1(211) (1980), 171—191

[118] Боголюбов Н. Н., Ширков Д. В. Введение в теорию квантованных полей. — М.: Наука, 1973. — С. 322.

[119] Г. Бете. Квантовая механика. — М.: Мир, 1965. — стр. 12.

[120] Пригожин И., Стенгерс И. Время, хаос, квант. К решению парадокса времени. — М.: Едиториал УРСС, 2003. — стр. 114, — ISBN 5-354-00268-0.

[_60c97a3085a3de27-121] Стюарт, 2015, с. 308.

[_60c9793085a3dc59-122] Стюарт, 2015, с. 315.

[123] Бетяев С. К.Гидродинамика: проблемы и парадоксы // УФН, т. 165, 1995, № 3, с. 299—330

[_1ea999a47a7ae9b9-124] Внутреннее строение Земли и планет, 1978, с. 80.

[_7a3b18e1e77b32e2-125] Методы современной математической физики, 1978, с. т. 2, с. 370.

[_2bcbd38b0e9c6260-126] Операторы Шрёдингера с приложениями к квантовой механике и глобальной геометрии, 1990, с. 9.

[_60c9763085a3d76b-127] Стюарт, 2015, с. 348.

[_47d1ef9e1785559d-128] Займан, 1974, с. 55.

[_8f1347a1f7938ae2-129] Займан, 1974, с. 403.

[_8f1d36a1f79bc241-130] Займан, 1974, с. 152.

[_1d61c276a5dac16a-131] Новиков, 1986, с. 99.

[_c7f9e59bd2cd830b-132] Новиков, 1986, с. 151.

[_c7fd629bd2d08d4f-133] Новиков, 1986, с. 267.

[_c7f9df9bd2cd793a-134] Новиков, 1986, с. 132.

[_007ff6be504d96b6-135] Михлин, 1968, с. 553.

[_1e1c9d7517aec76f-136] Харрисон, 1968, с. 20.

[_d96a66f73dffcba6-137] Харрисон, 1968, с. 144.

[_d96a67f73dffcd75-138] Харрисон, 1968, с. 150.

[_d96a65f73dffc9e8-139] Харрисон, 1968, с. 177.

[_2a96fcced41064fb-140] Мостепаненко, 1966, с. 86.

[_c761e51faa71af4d-141] Боголюбов, 1969, с. 176,213.

[_b9f6d65da3ae0f6f-142] Боголюбов, 1969, с. 190.

[_897b0bbbb9598b50-143] Черчиньяни, 1978, с. 40.

[_f5b4ccfbf33951a0-144] Черчиньяни, 1978, с. 291.

[TheorIgr-145] ¹ ² ³ Мак-Кинси Дж. Введение в теорию игр. — М.: Физматлит, 1960. — С. 224

[_f235215ed15d4b74-146] Значения для неатомических игр, 1977, с. 19, 62, 141, 153, 182, 271, 272, 274.

[_a7460769aa77a3b3-147] Адаптация и обучение в автоматических системах, 1968, с. 318.

[148] Кириллов А. А. Элементы теории представлений. — М.: Наука, 1978. — С. 227

[149] Келли Дж. Л. Общая топология. — М.: Наука, 1968. — С. 232.

[150] Малыхин В. И. Топология и форсинг // УМН. — 1983. — Т. 38. — № 1(229). — С. 69—118.

[151] Александров П. С. Введение в теорию множеств и общую топологию. — М.: Наука, 1977. — С. 219.

[_8ee90e4340507799-152] Гуревич, 1948, с. 14.

[153] Кузьминов В. И. Гомологическая теория размерности // УМН. — 1968. — Т. 23, № 5. — С. 5. — URL: http://mi.mathnet.ru/umn5668

[_33e3a024a247df80-154] Борсук, 1971, с. 257-277.

[_0e8430b446ea49da-155] Мандельбаум, 1981, с. 82,178,202,255,263,266.

[_baae54c754bcde5c-156] Выбросы случайных процессов, 1970, с. 243.

[_baae58c754bce50b-157] Выбросы случайных процессов, 1970, с. 280.

[_f882699b575e3ff1-158] Теория операторов, 1977, с. 272.

[_77d047507aaf5bf4-159] Шварц, 1964, с. 177.

[_89965515563fbf29-160] От существующего к возникающему, 2006, с. 57.

[_424afbdc16ac7a96-161] ¹ ² Нелинейная динамика и хаос, 2011, с. 151.

[162] Громол Д., Клингенберг В., Мейер В. Риманова геометрия в целом. — М.: Мир, 1971. — С. 282.

[163] ред. Моисеев Н. Н. Современное состояние теории исследования операций. — М.: Наука, 1979. — С. 289.

[_7b3db1fcb63d851f-164] Адаптация и обучение в автоматических системах, 1968, с. 55.

[_7b3da5fcb63d70f6-165] ¹ ² Адаптация и обучение в автоматических системах, 1968, с. 90.

[_a74d1169aa7dd302-166] Адаптация и обучение в автоматических системах, 1968, с. 135.

[_a74d0c69aa7dca8d-167] Адаптация и обучение в автоматических системах, 1968, с. 165.

[_a74d0b69aa7dc93d-168] ¹ ² ³ Адаптация и обучение в автоматических системах, 1968, с. 198.

[_a7498f69aa7ac04d-169] Адаптация и обучение в автоматических системах, 1968, с. 257.

[_a7498d69aa7abd2c-170] Адаптация и обучение в автоматических системах, 1968, с. 278.

[_59f79c8d01915630-171] Хелстром, 1979, с. 325.

[_59f79c8d01915633-172] ¹ ² Хелстром, 1979, с. 326.

[173] Цыпкин Я. З. Адаптация, обучение и самообучение в автоматических системах // Автоматика и телемеханика. — 1966. — № 1. — С. 23—61. — ISSN 0005-2310. — URL: http://mi.mathnet.ru/at10991

[_aeda5a1df3545060-174] Введение в теорию схем и квантовые группы, 2012, с. 246.

[_60c9783085a3da89-175] Стюарт, 2015, с. 360.

[_60c9783085a3da8e-176] Стюарт, 2015, с. 367.

[_f0d6d1d920f376e9-177] ¹ ² Беллман, 1966, с. 56.

[_f0d6d1d920f376e8-178] ¹ ² Беллман, 1966, с. 57.

[_5f5dacb002d31dbc-179] Иванов, 1975, с. 59, 112, 190, 245, 270.

[_872a3b48ab1bf860-180] Гриффитс, 1976, с. 8, 10, 42, 54, 66, 79, 80, 85, 88.

[_3872eb6b348767e1-181] Моисеев, 1975, с. 89, 115, 147, 192, 208, 268, 278, 303, 304, 365, 398, 446.

[_95837a861ad0b5a5-182] Лионс, 1987, с. 152, 257, 334, 357.

[183] Я. Г. Синай, «Динамические системы с упругими отражениями. Эргодические свойства рассеивающих бильярдов», УМН, 25:2(152), 1970, 141—192

[184] Погорелов А. В. Многомерная проблема Минковского. — М.: Наука, 1975. — С. 95.

[_7b7e62a235f4d2a0-185] Черчиньяни, 1978, с. 461-480.

[NKJ201801-186] Дмитрий Максимов. Коды, распознающие ошибку // Наука и жизнь. — 2018. — № 1. — С. 90-95.

[187] Решена задача о раскраске дорог

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

[64]

[65]

[66]

[67]

[68]

[69]

[70]

[71]

[72]

[73]

[74]

[75]

[76]

[77]

[78]

[79]

[80]

[81]

[82]

[83]

[84]

[85]

[86]

[87]

[88]

[89]

[90]

[91]

[92]

[93]

[94]

[95]

[96]

[97]

[98]

[99]

[100]

@@ Строка 19: / Строка 19: @@
 * {{Не переведено|:en:Van der Waerden number|Числа ван дер Вардена}}. При каком наименьшем <math>N</math> при любом [[Разбиение множества|разбиении множества]] <math>\{1,\;2,\;\ldots,\;N\}</math> на два [[Подмножество|подмножества]] хотя бы одно из них будет содержать арифметическую прогрессию длиной 7?<ref>{{MathWorld|vanderWaerdenNumber|Число ван дер Вардена}}</ref>
 * Существует ли параллелепипед Эйлера (параллелепипед со всеми целочисленными рёбрами и лицевыми диагоналями), [[целочисленный кубоид|главная диагональ которого также имеет целую длину]]?{{sfn|Стюарт|2015|с=406}}
+* Каково наибольшее количество последовательных натуральных чисел, у каждого из которых число делителей равно степени простого числа с натуральным показателем?
 == [[Геометрия]] ==