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