Изменения

Перейти к: навигация, поиск

Теорема о рекурсии

20 байт убрано, 04:35, 26 апреля 2019

м

→‎Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка

<code>

<tex>p(x){:}</tex>

'''if''' ~~<tex>~~r(~~\mathrm{~~getSrc()})~~</tex>~~

'''return''' 1

'''while''' ''true''

54

правки

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/71121»