Ладно: {{tick}} во-первых, по сути претензий вроде неттеоремы именные, но вот оформление...Пожалуйста, расставь знаки препинания в концах предложений соответственно надо эти имена вписать (ты с завидной регулярностью теряешь там точкирусские и английские), запятые : {{tick}} дать ссылки на английские источники и замени минусы на тире. терминыРусский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки : {{tick}} у меня убило."Так как <tex>U</tex> - универсальнаятакое ощущение, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что <tex>n=U_{num(n)}</tex>"-нибудь экранировать. Сам-то понялНадо либо показать, где мы экранируем, что сказал? [[Участник:Berezhkovskaya|Алёна Бережковская]] Просто война. [[Участник:Vincent|Владислав Кононов]] Народлибо написать версию, финальная версия pкоторая была на паре (yс символом $) просто бред какой-то. Постараюсь потом Да, надо написать как надо. Там getOtherSource() должна делать return "весь код кроме тоговерсию с $, чтобы показать, что внутри своего returngetOtherSrc можно написать в любом месте программы, а на этом месте спецсимвол @"не только в конце.: {{tick}} следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. А getSrc() должен получить other source Соответственно, пофиксить и заменить + у нее есть простое доказательство в нём спецсимвол на него жеSipser'е, надо его добавить. : {{tick}} пока все, может еще что обнаружится--[[Участник:TsarDgerasimov|Иоанн ВолковДмитрий Герасимов]]11:58, 5 декабря 2012 (GST)
