271
правка
Изменения
Нет описания правки
Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило.
"Так как <tex>U</tex> - универсальная, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>, что <tex>n=U_{num(n)}</tex>". Сам-то понял, что сказал? [[Участник:Berezhkovskaya|Алёна Бережковская]]
Просто война. [[Участник:Vincent|Владислав Кононов]]