271
правка
Изменения
Нет описания правки
|proof=
Приведём программу, разрешающую язык чётных чисел:
<tex>p(i):</tex>:
'''if''' <tex> (i \ mod \ 2 == 0) </tex>
'''return''' <tex> 1 </tex>
Составим следующую программу:
<tex>r(x):</tex>:
'''if''' (<tex> u(\langle x, x \rangle) == 1) </tex>
'''while''' <tex> true </tex>
