497
правок
Изменения
→Теорема о неподвижной точке
|about=о неподвижной точке / ''Rogers' fixed-point theorem''
|statement= Пусть <tex>U</tex> {{---}} [[Диагональный_метод|универсальная функция]], <tex>h</tex> {{---}} всюду определённая [[Вычислимые_функции|вычислимая функция]]. Тогда найдется такое <tex>n</tex>, что <tex>U_n=U_{h(n)}</tex>.
Другими словами: нельзя найти алгоритма, преобразующего про-граммыпрограммы, который бы по каждой программе давал другую (не эквива-лентную эквивалентную ей).
|proof=
Начнём с доказательства леммы.
