Изменения

Перейти к: навигация, поиск
Теорема Успенского-Райса
'''else'''
'''while''' ''true''
Исключение пустого множества нам нужно чтобы различать <tex> X</tex> и пустое (при построении <tex>L(g_{i, x}))</tex>.
Нетрудно понять, что в разумной модели вычислений номер этой программы можно вычислить по данным <tex>i</tex> и <tex>x</tex>. Значит, можно рассмотреть такую программу:
<tex>US(\langle i, x \rangle )</tex>
Анонимный участник

Навигация