271
правка
Изменения
→Теорема Райса-Шапиро
|proof =
Докажем от противного.
Пусть <tex>\not\exists h</tex>, удоволетворяющая которое удовлетворяет условию леммы.
Рассмотрим перечислимое и неразрешимое множество <tex>K</tex> и следующую программу:
