3622
правки
Изменения
→Примеры неразрешимых задач: добавлен конспект про Игру Жизнь
*[[Неразрешимость исчисления предикатов первого порядка]]
*[[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]]
*[[Игра «Жизнь»]]<tex>^\star</tex>
*[[Теорема Райса-Шапиро]]
