Разрешимое множество

Разреши́мое множество (также рекурси́вное, вычислимое) — множество натуральных чисел, для которого существует алгоритм, получающий на вход любое натуральное число и через конечное число шагов завершающийся определением, принадлежит ли оно данному множеству. Другими словами, множество является разрешимым, если его характеристическая функция вычислима. Множество, не являющееся разрешимым, называется неразреши́мым. Также можно говорить о разрешимом множестве, состоящем из любых , кодируемых натуральными числами. Любое разрешимое множество является перечислимым и арифметическим. Разрешимые множества соответствуют уровню . В общем случае, подмножество множества конструктивных элементов называется разрешимым относительно , если существует алгоритм, применимый к объектам из и в случае применения к некоторому объекту дающий ответ на вопрос, принадлежит ли этот объект . Существуют перечислимые множества, не являющиеся разрешимыми. Более того, перечислимое множество является разрешимым тогда и только тогда, когда его дополнение также перечислимо. Проекция разрешимого множества является перечислимой, но может не быть разрешимой. Подмножество разрешимого множества может не быть разрешимым (и даже может не быть арифметическим). Совокупность всех разрешимых подмножеств является счётным множеством, а совокупность всех неразрешимых подмножеств — несчётным, так как множество всех подмножеств положительных целых чисел несчётно. Существует взаимно однозначное соответствие между вычислимыми подмножествами и вычислимыми вещественными числами .