313
правок
Изменения
Нет описания правки
|proof= По [[Теорема о рекурсии | теореме о рекурсии]], программа может знать свой исходный код. Значит, в неё можно написать функцию <tex> \mathrm{getSrc()} </tex>, которая вернёт строку {{---}} исходный код программы. Предположим, что функция [[Busy beaver]] вычислима. Тогда напишем такую программу
<code>
<tex>p(){:}</tex>
'''for''' i = 1..BB(<tex>|\mathrm{getSrc()}|</tex>) + 1
'''do ''' smth
</code>
