В теореме Роджерса утверждается, что трансляторы, сводящие главные нумерации друг к другу выбираемы:

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

• # Функция перечислима тогда и только тогда, когда
• # Лента машины Тьюринга может быть:
• # Для любых можно найти такие числа a и b, что:
• # Последовательность вычислима, если существует:
• # Если , то: