3622
правки
Изменения
→Примеры неразрешимых задач
# Переменные и константы взять в Tex
<li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>
<li> ''fixed'' [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] (0.5) </li># Источники информации# Добавить см. также# Англ. термины
<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]</li>
<li> '''!!!''' [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] (6) </li>
# Добавить категории
# Добавить см. также
<li> '''взяли''' [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] (5) </li># Англоязычные термины оформить правильно# Заменить дефисы на тире# Заменить прим. на более адекватный аналог# Заменить источники на источники информации# Добавить информацию по последнему замечанию из обсуждений# Добавить см. также<li> ''fixed'' [[Неразрешимость исчисления предикатов первого порядка]] (0.5) </li># Добавить см. также# Интервики на конспекты по математической логигике# Заменить ссылки на источники информации<li> '''!!!''' [[Неразрешимость проблемы существования решения диофантова уравления в целых числах]] (110) </li>
# написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.
<li> [[Игра «Жизнь»]] </li>
<li> [[Неразрешимость игры Braid]] </li>
<li> '''!!!''' [[Теорема Райса-Шапиро]] (8) </li>
# Англоязычные термины
