История
4 сентября 2022
1 сентября 2022
9 июня 2020
16 января 2017
Нет описания правки
-26
Нет описания правки
м+10
Нет описания правки
м+215
→Источники информации
м+209
Нет описания правки
+296
21 января 2014
20 января 2013
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
