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