Ладно: {{tick}} во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские): {{tick}} дать ссылки на английские источники и термины: {{tick}} у меня такое ощущение, по сути претензий вроде нетчто эта версия программы, но вот оформлениеиспользующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать...ПожалуйстаНадо либо показать, где мы экранируем, либо написать версию, расставь знаки препинания в концах предложений которая была на паре (ты с завидной регулярностью теряешь там точкисимволом $), запятые и замени минусы на тире. Русский язык местами оставляет желать лучшегоДа, но вот первое предложение доказательства второй формулировки меня убило."Так как <tex>U</tex> - универсальнаянадо написать версию с $, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>чтобы показать, что <tex>n=U_getOtherSrc можно написать в любом месте программы, а не только в конце.: {{numtick}} следующая теорема о рекурсии (nкоторая на самом деле называется теоремой о неподвижной точке)}</tex>"во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить. Сам--то понял, что сказал? [[Участник:BerezhkovskayaDgerasimov|Алёна БережковскаяДмитрий Герасимов]]11:59, 5 декабря 2012 (GST) Добавить примеры простых доказательств с использованием теоремы о рекурсии:: {{tick}} Теоремы Успенского-Райса: {{tick}} Невычислимости Колмогоровской сложности: {{tick}} Невычислимости Busy beaver: {{tick}} аналога I теоремы Геделя о неполноте: {{tick}} аналога II теоремы Геделя о неполноте: {{tick}} теоремы о неподвижной точке (простое док-во, есть в Sipser'e или из последней лекции Станкевича)
