313
правок
Изменения
→Альтернативное доказательство с использованием теоремы о рекурсии
===Альтернативное доказательство с использованием теоремы о рекурсии===
По [[Теорема о рекурсии | теореме о рекурсии]], программа может знать свой исходный код. Значит, в неё можно написать функцию <tex> \mathrm{getSrc()} </tex>, которая вернёт строку {{---}} исходный код программы.
Допустим, что он язык разрешим. Тогда напишем такую программу:
<code>
<tex>p(x){:}</tex>
