Изменения

Неотделимые множества

71 байт добавлено, 20:12, 30 ноября 2010

Нет описания правки

Существует вычислимая функция, не имеющая всюду определенного вычислимого продолжения.

|proof=

Рассмотрим функцию <tex>f(n) = U(n, n) + 1</tex>, где <tex>U(n, n)</tex> - универсальная функция.

}}

142

правки