271
правка
Изменения
→Теорема Райса-Шапиро
где условие <tex>(0)</tex> следующее: через <tex>x</tex> шагов перечисления <tex>K</tex> число <tex>n</tex> не появилось.<br>
Назовем (1) проверку на принадлежность <tex> n </tex> множеству <tex> K </tex>(просто перечисляя это множества), а (2) проверку на принадлежность <tex> V(n, x) </tex> множеству <tex> A </tex>.
Тогда программа, которая параллельно запускает проверки (1) и (2), является разрешающей программой для множества <tex>K</tex>, так как:
