Изменения

Перейти к: навигация, поиск

Теорема Райса-Шапиро

13 байт убрано, 19:30, 17 января 2012
м
Внесён намёк на конечность исходника функции
Приведём программу, выдающую 1, если <tex>p \in A_{\Gamma}</tex>:
<tex>q(p):</tex>
for <tex>k = 1..\ldots +\infty</tex> for <tex>\gamma \in \Gamma[1..\ldots k]</tex>
if <tex>(p \in A_{\gamma})|_{TL(k)}</tex>
return 1
return <tex>y_1</tex>
<tex>\cdots</tex>
if <tex>x = x_ix_n</tex> return <tex>y_i</tex> <tex>\cdotsy_n</tex>
<tex>\perp</tex>
141
правка

Навигация