Вычислимая функция со значением {0,1} и не имеющая всюду определенного вычислимого продолжения:

Правильный ответ:

• # Перечислимо всякое множество, если оно:
• # Для любых можно найти такие числа a и b, что:
• # Верны утверждения:
• # Если Y - класс вычислимых одноместных функций, а , то множество :
• # Если B(x,y) - некоторое разрешимое свойство, то свойства вида определяют свойства: