Ю.В. Матиясевич,
"Десятая проблема Гильберта. Решение и приложения в информатике" (курс CS клуба ПОМИ)

Предположительное начало: 14 февраля в 15:35, уточнения - на сайте CS клуба ПОМИ

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