Изменения

Перейти к: навигация, поиск
Теорема Успенского-Райса
Рассмотрим вспомогательную программу:
<tex> U(i, x) </tex> {{---}} универсальная функция, также зафиксируем некоторую программу <tex>i</tex> и слово<tex> x </tex>.
<tex>g_{i,x}(y):</tex>
'''if''' <tex>U(i, x)</tex> == 1 <font color=green> // если i (где i - это программа), на входе x выдает 1. </font>
'''return''' <tex>p_X(y)</tex>
'''else'''
Анонимный участник

Навигация