3622
правки
Изменения
м
→Теорема о неподвижной точке
}}
== Теорема о неподвижной точке ==
Зафиксируем [[Главные нумерации | главную нумерацию ]] <tex> W </tex>. Обозначим за <tex> W_n </tex> множество слов, допускаемых программой с номером <tex> n </tex>.
{{Утверждение
|id=идентификатор (необязательно), пример: proposalF.
<code>
p(q):
'''if''' p .getSrc() == q // сравниваем как строки; так можно сделать, потому что программа знает свой код по теореме о рекурсии.getSrc() print number(p)'''return''' 1
'''else'''
'''while''' ''true''
