Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если U - главная универсальная функция, а X - множество натуральных чисел n, где Un - нигде не определена, то Un:
Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:
Если
X=[-2;5],
Y=[0;2], то
будет:
Если
X=[0;3],
Y=[3;0], то
будет:
Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:
Множество X - эффективно бесконечное, если алгоритм конструирования по любому n различных элементов из X:
Инструкция "находясь в состоянии s и читая символ x, перейти в состояние p, напечатать символ y и сдвинуться вправо" порождает правило:
Если функция f дает по номеру m функции другой номер s этой функции, то:
