Сеня рядом и Белла пришел. Былое
Ученые подтвердили неразрешимость одной из ключевых проблем математики
Для расширенных числовых систем не существует алгоритма, определяющего решения диофантовых уравнений. Мир математики полон труднодоступных уголков, в которых обитают неразрешимые задачи. И вот теперь стала известна еще одна из таких проблем. В 1900 году выдающийся математик Давид Гильберт озвучил список из 23 ключевых задач, призванных направить развитие математических исследований на предстоящее столетие. Эти задачи не только служили «дорожной картой» для всей дисциплины, но и отражали более глобальное...