271
правка
Изменения
→Теорема Успенского-Райса
return <tex>\bot</tex>
Нетрудно понять, что в разумной модели вычислений номер этой программы можно вычислить по данным <tex>i,</tex> и <tex>x</tex>. Значит, можно рассмотреть такую программу:
<tex>US(\langle i, x \rangle )</tex>
return <tex>p_A ( g_{i,x} ) </tex>
