3622
правки
Изменения
м
→Примеры неразрешимых задач
*[[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]
*[[Неразрешимость исчисления предикатов первого порядка]]
*[[Неразрешимость проблемы существования решения диофантова уравления уравнения в целых числах]]
*[[Теорема Райса-Шапиро]]
