Изменения

*[[Разрешимость перечислимого и коперечислимого языка]]

*[[Вычислимые функции]]

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

*[[Характеристика перечислимых множеств через вычислимые функции]]