Вычислимая функция, не имеющая всюду определенного вычислимого продолжения:
Всякая функция, вычислимая программой с конечным числом переменных:
Если d - вычислимая функция, E(d)={0,1} и не имеет всюду определенного вычислимого продолжения, то:
Если d - вычислимая функция, E(d)={0,1} и не имеет всюду определенного вычислимого продолжения, то:
Любая функция, вычислимая на машине Тьюринга не более чем за примитивно рекурсивное время:
Вычислимая функция двух аргументов, являющаяся универсальной функцией для класса вычислимых функций одного аргумента:
Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
Вычислимая функция трех аргументов, универсальная для класса вычислимых функций двух аргументов:
Вычислимая функция со значением {0,1} и не имеющая всюду определенного вычислимого продолжения:
Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда:
