Изменения

Перейти к: навигация, поиск
Теорема Успенского-Райса
Поскольку <tex>A</tex> непусто, то найдётся перечислимый язык <tex>X \in A</tex>. Пусть <tex>p_X</tex> {{---}} полуразрешитель <tex>X</tex>.
 
U(i,x)
'''return''' i(x)
Рассмотрим вспомогательную программу:
Анонимный участник

Навигация