Является ли множество рекурсивно перечислимым множеством?

[davidgale]

Является ли множество B, которое образуется удалив все чётные числа из $A = \{ x | \Phi_{x}(x): defined \}$, рекурсивно перечислимым множеством?
Мне уже подсказали что ответ: Да. Также подсказали что А не является рукурсивным множеством. Вот только сам немогу понять почему.

[Toucan]

Тема перемещена в Карантин.

Приведите собственные соображения по решения задачи и укажите конкретные затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.