примеры различных множеств (математическая логика)

[gepa]

нужна помощь в виде примеров

1.разрешимого множества
2.перечислимого, но неразрешимого множества
3.неперечислимого множества

в кач-ве разрешимого мн-ва можно взять мн-во M={1,4,9,16,25,36...}, т.е. возведение в квадрат, а вот примеры для 2 и 3 пункта чень нужны

[Xaositect]

Стандартные диагональные конструкции. Читайте Роджерса.

[gepa]

Xaositect писал(а):

Стандартные диагональные конструкции. Читайте Роджерса.

а что за книга?

[Dandan]

каких-то простых конкретных примеров для 2 и 3 нет. Примеры строятся "используя" все перечислимые/разрешимые множества. Построение должно быть описано в любой достаточно полной книге по логике.

[Xaositect]

gepa писал(а):

Xaositect писал(а):

Стандартные диагональные конструкции. Читайте Роджерса.

а что за книга?

Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость

[gepa]

спасибо