Неотделимые множества — различия между версиями
(Новая страница: «{{Лемма |statement= Существует вычислимая функция, не имеющая всюду определенного вычислимого …») |
|||
| Строка 3: | Строка 3: | ||
Существует вычислимая функция, не имеющая всюду определенного вычислимого продолжения. | Существует вычислимая функция, не имеющая всюду определенного вычислимого продолжения. | ||
|proof= | |proof= | ||
| − | Рассмотрим функцию <tex>f(n) = U(n, n) + 1</tex>. | + | Рассмотрим функцию <tex>f(n) = U(n, n) + 1</tex>, где <tex>U(n, n)</tex> - универсальная функция. |
}} | }} | ||
Версия 20:12, 30 ноября 2010
| Лемма: |
Существует вычислимая функция, не имеющая всюду определенного вычислимого продолжения. |
| Доказательство: |
| Рассмотрим функцию , где - универсальная функция. |
