Изменения
Нет описания правки
for (i = 1 .. TL)
запустить i-ую программу на TL шагов (U - универсальная программа)
напечатать первый <tex>x</tex>, такой что <tex>x \ge geqslant 2 * i</tex>, который вывела эта программа
Множество E(q), которое перечисляет эта программа:
* перечислимо;
* бесконечно (Существует бесконечное количество бесконечных множеств. В каждом из них есть элемент <tex>x \ge geqslant 2 * i</tex>, где i - номер программы перечисляющей это множество.)
Дополнение этого множества <tex>\overline{E(q)}</tex>:* бесконечно: для . Для первых k слов, множеству E(q) принадлежат не более <tex>\frac{k}{2}</tex>.* Для для любого перечислимого множества B, существует его элемент принадлежащий <tex>E(q)</tex>, и следовательно не принадлежащий <tex>\overline{E(q)}</tex>, <tex>\overline{E(q)} \not \subset A</tex>
Таким образом <tex>\overline{E(q)}</tex> --- имунно, а <tex>E(q)</tex> --- простое.
}}
