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

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

Просто война. Владислав Кононов

Народ, финальная версия p(y) просто бред какой-то. Постараюсь потом написать как надо. Там getOtherSource() должна делать return "весь код кроме того, что внутри своего return, а на этом месте спецсимвол @". А getSrc() должен получить other source и заменить в нём спецсимвол на него же. Иоанн Волков