Обсуждение:Теорема о рекурсии

Ладно, по сути претензий вроде нет, но вот оформление... Пожалуйста, расставь знаки препинания в концах предложений (ты с завидной регулярностью теряешь там точки), запятые и замени минусы на тире. Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило. "Так как [math]U[/math] - универсальная, то найдется для любой вычислимой всюду определенной [math]n[/math] найдется такая вычислимая всюду определенная [math]num[/math], что [math]n=U_{num(n)}[/math]". Сам-то понял, что сказал? Алёна Бережковская