История
17 января 2012
→Теорема Райса-Шапиро: Описание разрешающей программы для K во вспомогательной лемме 1
+643
Поправки \ldots и всякие (..), (...)
м+2
Внесён намёк на конечность исходника функции
м-13
→Теорема Райса-Шапиро: Доказательство самой теоремы
+737
→Теорема Райса-Шапиро: Ещё кусок доказательства леммы 2 внутри т. Р.-Ш.
+432
→Теорема Райса-Шапиро: Начало доказательства леммы 2 внутри теоремы Райса-Шапиро
+535
Мелкая добавка к определению образца
м+72
→Теорема Райса-Шапиро: Теперь сам понял доказательство первой леммы и поясняю его
+179
Перенос строки для красоты
м+1
→Лемма о перечислимости свойства образца: Расписал, почему очевидно
+405
