3622
правки
Изменения
теорема о неподвижной точке
== Аналог II теоремы Гёделя о неполноте ==
== Теорема о неподвижной точке ==
Зафиксируемглавную нумерацию <tex> W </tex>. Обозначим за <tex> W_n </tex> множество слов, допускаемых программой с номером <tex> n </tex>.{{Утверждение|id=идентификатор (необязательно), пример: proposalF. |statement = <tex> \exists n : W_n = \{n\} </tex>|proof=Напишем такую программу:<code> p(q): '''if''' p == q // сравниваем как строки; так можно сделать, потому что программа знает свой код по теореме о рекурсии print number(p) '''else''' '''while''' ''true''</code>Программа <tex> p </tex> знает свой код, что то же самое, что и знает свой номер. Как видно из её кода, она допускает только одно число {{---}} свой номер.}}
