*[[Разрешимость перечислимого и коперечислимого языка]]
*[[Вычислимые функции]]
*[[Диагональный метод.]]
*[[Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций]]
*[[Характеристика перечислимых множеств через вычислимые функции]]