Изменения

Теория формальных языков

125 байт убрано, 22:11, 17 января 2017

→‎Примеры неразрешимых задач

*[[Неразрешимость исчисления предикатов первого порядка]]

*[[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]]

*[[Неразрешимость задачи о замощении плоскости набором плиток Вана]]

*[[Неразрешимость задачи вывода типов в языке с зависимыми типами]]

*[[Игра «Жизнь»]]<tex>^\star</tex>

*[[Неразрешимость игры Braid]]<tex>^\star</tex>

*[[Теорема Райса-Шапиро]]

Анонимный участник