История
14 января 2013
расписал доказательство подробней
+825
interwiki
+40
bugfixes
м+379
завершение доказательства теоремы
+802
доказательство леммы 2
+1728
Нет описания правки
-1046
доказательство леммы 1
+3138
доказательство в одну сторону + философия
+1068
снёс прошлый вариант статьи, переписываю заново
-7876
24 января 2012
Исправление бредовой формулировки
м+81
Словесные пояснения для псевдокода в леммах
+923
Список источников
+603
→Теорема Райса-Шапиро
→Теорема Райса-Шапиро
+1
Всякие поправщики-Кононовы не очень аккуратны; задумываюсь, а не портят ли они статью...
м+2
→Теорема Райса-Шапиро
→Теорема Райса-Шапиро
+70
→Теорема Райса-Шапиро
+52
→Теорема Райса-Шапиро
-12
→Теорема Райса-Шапиро
+9
→Теорема Райса-Шапиро
→Теорема Райса-Шапиро
→Лемма о перечислимости свойства перечислимого множества образцов
+10
Enter
м+1
→Теорема Райса-Шапиро
+8
→Лемма о перечислимости свойства образца
-7
Ещё куча дефисов заменена на тире
м+36
Слово "полуразрешитель" внедрено во вторую лемму
-23
mediawiki упорно удаляет этот перенос строки
м+1
Тире добито
м+1
Идиотская ошибка устранена
м+4
Исправление кривых фраз
-90
Тире
м+10
23 января 2012
18 января 2012
17 января 2012
→Теорема Райса-Шапиро: Осознал и дописал доказательство леммы 2 внутри теоремы Р-Ш. Многократное спасибо Филиппу за помощь в понимании
+1158
→Теорема Райса-Шапиро: Мешающие читать ненужные в контексте аргументы функций
м-12
→Теорема Райса-Шапиро: Описание разрешающей программы для K во вспомогательной лемме 1
+643
Поправки \ldots и всякие (..), (...)
м+2
Внесён намёк на конечность исходника функции
м-13
→Теорема Райса-Шапиро: Доказательство самой теоремы
+737
→Теорема Райса-Шапиро: Ещё кусок доказательства леммы 2 внутри т. Р.-Ш.
+432
→Теорема Райса-Шапиро: Начало доказательства леммы 2 внутри теоремы Райса-Шапиро
+535
Мелкая добавка к определению образца
м+72
→Теорема Райса-Шапиро: Теперь сам понял доказательство первой леммы и поясняю его
+179
Перенос строки для красоты
м+1
→Лемма о перечислимости свойства образца: Расписал, почему очевидно
+405
