Изменения
Новая страница: «Множество А называется имунным, если А - бесконечное, для любого бесконечного перечислимо…»
Множество А называется имунным, если А - бесконечное, для любого бесконечного перечислимого B, <tex>B \not \subset A</tex>
Рассмотрим все перечислимые языки в лексикографическом порядке их перечислителей p_1,p_2,...,p_n
Для каждого
for (TL = 1 .. \inf)
for (i = 1 .. TL)
run pi with TL
print first x \ge 2 * i
Множество которое перечисляет эта программа имунно
Рассмотрим все перечислимые языки в лексикографическом порядке их перечислителей p_1,p_2,...,p_n
Для каждого
for (TL = 1 .. \inf)
for (i = 1 .. TL)
run pi with TL
print first x \ge 2 * i
Множество которое перечисляет эта программа имунно
