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