Теорема Чёрча

Лекция Ильи Мещерина "Теорема Чёрча". О том, что для формул с кванторами невозможно алгоритмически проверить их общезначимость.