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