748
правок
Изменения
→Примеры неразрешимых задач
<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]</li>
<li> [[Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик|Пустота пересечения КС-грамматик]] </li>
<li> [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] </li>
<li> [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] </li>
<li> [[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]] (10) </li>
# дописать, чтобы было классно
<li> [[Неразрешимость задачи вывода типов в языке с зависимыми типами]] (3)</li>
# <tex>\beta</tex>-эквивалентны в интервики
# добавить пару примеров вывода типа в данной системе
<li> [[Игра «Жизнь»]] </li>
<li> [[Неразрешимость игры Braid]] </li>
<li> [[Теорема Райса-Шапиро]] </li>
</ol>
