Изменения

Перейти к: навигация, поиск
Теорема Успенского-Райса: Fix html code issues
\end{cases} </tex>
<code>
'''function''' <tex>V_n</tex>(x):
'''if''' <tex>p_X</tex>(n) == 1
'''return''' <tex>p_S</tex>(x)
'''while''' ''true''
</code>
Получили, что если <tex>n \in X</tex>, то <tex>V_n \in L(\overline A)</tex>, а если <tex>n \notin X</tex>, то <tex>V_n \in L(A)</tex>. Таким образом, <tex>n \in X \iff V_n \in L(\overline A)</tex>.
Теперь допустим, что язык <tex> L_A </tex> разрешим. Тогда напишем такую программу:
<code>
<tex>propA(code){:}</tex>
// программа, разрешающее свойство языка <tex> A </tex>
'''else'''
'''return''' <tex>f(x)</tex>
</code>
Если <tex> p </tex> не удовлетворяет свойству <tex> A </tex>, тогда будет выполняться всегда вторая ветка, и <tex> L(p) = L(f) </tex>. Но язык программы <tex> f </tex> принадлежит <tex> A </tex>. Получили противоречие.
Анонимный участник

Навигация