Изменения

*[[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]]*[[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]]*[[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]]*[[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]*[[Неразрешимость исчисления предикатов первого порядка]]