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