693
правки
Изменения
→Пример использования теоремы о рекурсии в доказательстве неразрешимости языка
'''while''' ''true''
Пусть <tex>p(\epsilonvarepsilon)=\perp</tex>. Тогда условие <tex>r(p)</tex> выполняется и <tex>p(\epsilonvarepsilon)=1</tex>. Противоречие. Если <tex>p(\epsilonvarepsilon) \ne \perp</tex>, то <tex>r(p)</tex> не выполняется и <tex>p(\epsilonvarepsilon)=\perp</tex>. Противоречие.
}}
