3622
правки
Изменения
м
→Примеры неразрешимых задач
<li> '''!!!''' [[Неразрешимость проблемы существования решения диофантова уравления в целых числах]] (1) </li>
# написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.
<li> '''!!!взяли''' [[Теорема Райса-Шапиро]] (8) </li>
# Англоязычные термины
# Отформатировать псевдокоды
