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