Очень интересно наблюдать, как перекликаются разный области математики: теория разрешимости с машиной Тьюринга и диофантовы уравнения!

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