Чёрч Алонзо / Все видео

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

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

Книги Чёрч Алонзо (1 книга)
Чёрч Алонзо отзывы
Яндекс.Метрика
Автор сайта: Никонов Владимир