313
правок
Изменения
→Альтернативное доказательство с использованием теоремы о рекурсии
Допустим, что он разрешим. Тогда напишем такую программу:
<code>
<tex>p(x){:}</tex>
'''if''' <tex>u(\mathrm{getSrc()}, x)</tex>
'''while''' ''true''
