1679
правок
Изменения
Нет описания правки
: {{tick}} дать ссылки на английские источники и термины
: {{tick}} у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце.
: {{tick}} следующая теорема о рекурсии (которая на самом деле называется теоремой о неподвижной точке) во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить.: {{tick}} пока все, может еще что обнаружится--[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:5859, 5 декабря 2012 (GST) Добавить примеры простых доказательств с использованием теоремы о рекурсии:: {{tick}} Теоремы Успенского-Райса: {{tick}} Невычислимости Колмогоровской сложности: {{tick}} Невычислимости Busy beaver: {{tick}} аналога I теоремы Геделя о неполноте: {{tick}} аналога II теоремы Геделя о неполноте: {{tick}} теоремы о неподвижной точке (простое док-во, есть в Sipser'e или из последней лекции Станкевича)
