Изменения
→Теорема Успенского-Райса
'''return''' <tex>p_X(y)</tex>
'''else'''
'''while '''''true'''
Нетрудно понять, что в разумной модели вычислений номер этой программы можно вычислить по данным <tex>i</tex> и <tex>x</tex>. Значит, можно рассмотреть такую программу:
