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