Ю.В. Матиясевич, "Десятая проблема Гильберта. Решение и приложения в информатике" (курс CS клуба ПОМИ) Предположительное начало: 14 февраля в 13:00, уточнения - на сайте CS клуба ПОМИ См. расписание CS клуба В десятой проблеме, поставленной в 1900 году, Гильберт просил найти алгоритм, который позволял бы по произвольному диофантову уравнению узнавать имеет ли оно решения. Семьдесят лет спустя было показано что такого алгоритма не существует. В спецкурсе будет приведено подробное доказательство этого результата и его приложения к установлению алгоритмической неразрешимости многих других проблем. Никаких специальных знаний ни по теории чисел не по теории алгоритмов не требуется. | 
