Теорема Адяна-Рабина

Утверждение, впоследствии получившее название теоремы Адяна-Рабина, впервые появилось в кандидатской диссертации С.И.Адяна в 1955 г.; оно совершенно удивительно по степени своей общности и простоты формулировки. В докладе я расскажу про саму теорему, включая её историю и приложения и, возможно, упомяну несколько близких по духу задач в других областях. В оставшееся время мы обсудим основные идеи доказательства.