313
правок
Изменения
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
Рассмотрим следущую программу:
<code>
<tex>p(x):</tex>
'''if''' <tex>r(p)</tex>
'''return ''' 1
'''while''' true
</code>
