Проблема Гольдбаха и самый большой кардинал: 10 сложнейших задач, которые ученые до сих пор не могут решить

Проблема была сформулирована Кристианом Гольдбахом в его переписке с другим величайшим светилом математики Леонардом Эйлером в 1742 году. Сам Кристиан ставил вопрос несколько проще: «каждое нечетное число, больше 5, можно представить в виде суммы трех простых чисел». В 2013 году перуанский математик Харальд Хельфготт нашел окончательное решение этого варианта. Однако предложенное Эйлером следствие этого утверждения, которое и назвали «бинарной проблемой Гольдбаха», до сих пор не поддается никому. Это одна из самых древних нерешенных математических задач человечества.

Как и всегда в математике, если проблема не решается «в лоб», к ней подходят с другого конца. Например, в 2013 году было доказано, что количество простых чисел, отличающихся на 70 миллионов, бесконечно. Тогда же, с разницей менее чем в месяц, значение разницы было улучшено до 59 470 640, а затем и вовсе на порядок — до 4 982 086. На данный момент существуют теоретические обоснования бесконечности пар простых чисел с разницей в 12 и 6, однако доказанной является лишь разность в 246. Как и прочие проблемы такого рода, гипотеза о числах-близнецах особенно важна для криптографии. Однако, до сих пор она остается нерешенной математической проблемой, над которой бьются лучшие умы.

Одна из «проблем тысячелетия», за решение которой назначен приз в миллион долларов, а также вхождение в пантеон «богов» современной математики. На деле, доказательство этой гипотезы настолько сильно толкнет вперед теорию чисел, что это событие по праву будет называться историческим. Многие вычисления и утверждения в математике строятся на предположении о том, что «гипотеза Римана» верна, и до сих пор никого не подводили. Немецкий математик сформулировал знаменитую задачу 160 лет назад, и с тех пор к ее решению подступались неисчислимое количество раз, однако до сих пор она остается, пожалуй, самой неприступной нерешенной задачей современной математики.

Эллиптическими кривыми называются такие линии на графике, которые описываются, на первый взгляд, безобидными уравнениями вида y²=x³+ax+b. Некоторые их свойства чрезвычайно важны для алгебры и теории чисел, а решение данной задачи может серьезно продвинуть науку вперед. Наибольший прогресс в нахождении ответа на эту нерешенную математическую задачу был достигнут в 1977 году коллективом математиков из Англии и США, которые смогли найти доказательство гипотезы Берча и Суиннертон-Дайера для одного из частных случаев.

Под размерностью или измерением понимается количество линий, вдоль которых размещаются шары. В реальной жизни больше третьей размерности не встречается, однако математика оперирует и гипотетическими значениями. Решение этой задачи может серьезно продвинуть не только теорию чисел и геометрию вперед, но также поможет в химии, информатике и физике. Пожалуй, это одна из немногих нерешенных математических задач, которая имеет четкое практическое применение.

Первые шаги на пути решения этой задачи были сделаны в 2011 году американским математиком Грегом Купербергом. В его работе развязывание узла из 139 вершин было сокращено со 108 часов до 10 минут. Результат впечатляющий, но это лишь частный случай. На данный момент существует несколько десятков алгоритмов разной степени эффективности, однако ни один из них не является универсальным. Среди применений этой области математики — биология, в частности, процессы сворачивания белков.

Мощность множества характеризуется его кардинальным числом или просто кардиналом. Существует целая онлайн-энциклопедия бесконечностей и примечательных «конечностей», названная в честь Георга Кантора. Этот немецкий математик первым обнаружил, что неисчислимые множества могут быть больше или меньше друг друга. Более того, он смог доказать разницу в мощностях различных бесконечностей. Проблема тут заключается в доказательстве того, что существует кардинал (или, возможно, кардиналы) с некоторым заданным большим кардинальным свойством. До сих пор эта задача остается нерешенной.

Если от предыдущего абзаца у читателя не заболела голова, то вот продолжение загадки — а что с πe, π/e и π-e? Также неизвестно, а знать это наверняка довольно важно для теории чисел. Трансцедентность числа доказал в конце XIX века Фердинанд фон Линдеман вместе с невозможностью решения задачи квадратуры круга. С тех пор значимых подвижек в решении вопроса не было.

Значение γ было вычислено до нескольких тысяч знаков после запятой, первые четыре из которых — 0,5772. Она достаточно широко используется в математике, в том числе вместе с другим числом Эйлера — e. Согласно теории цепных дробей, если постоянная Эйлера-Маскерони является рациональной дробью, то ее знаменатель должен быть больше 10 в 242 080 степени. Но пока доказать ее рациональность не удалось — для этого нам и нашим компьютерам нужно больше времени. До этих пор рациональность постоянной γ остается нерешенной математической проблемой.