Десятая проблема Гильберта. Решение и применения в информатике
Курс Хит![](https://www.lektorium.tv/sites/lektorium.tv/files/courses/1283290630_22770_bscap0006.jpg)
В десятой проблеме, поставленной в 1900 году, Гильберт просил найти алгоритм, который позволял бы по произвольному диофантову уравнению узнавать, имет ли оно решения. Семьдесят лет спустя было показано, что такого алгортма не существует. В спецкурсе будет приведено подробное доказательство этого результата и его приложения к установлению алгоритмической неразрешимости многих других проблем.
Никаких специальных знаний ни по теории чисел, ни по теории алгоритмов для слушания курса не требуется.
Лекции курса
16