Изменения
Нет описания правки
<tex>g_{i,x}(y):</tex>
if U(i, x) == 1
'''return ''' <tex>p_X(y)</tex>
else
'''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>
Заметим, что
